10 text-decoration: none;
17 dl.legend-options dt {background: #333}
19 .pm {background: #040} /* motion */
20 .po {background: #340} /* window */
21 .ci {background: #044} /* info */
22 .co {background: #440} /* command */
23 .mi {background: #530} /* ins */
24 .mo {background: #500} /* state */
25 .mv {background: #503} /* visual */
26 .me {background: #205} /* mode */
27 .no {background: #222} /* unassigned */
34 color: #000; /* on default (light) background hover */