.ok  { color: #2e7d32; }
.off { color: #9e9e9e; }
.ko  { color: #d32f2f; }
[data-md-color-scheme="slate"] .ok { color: #66bb6a; }
[data-md-color-scheme="slate"] .ko { color: #ef5350; }