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 .cp {background: #530} /* command */
24 .mi {background: #520} /* ins */
25 .mo {background: #500} /* state */
26 .mv {background: #503} /* visual */
27 .me {background: #205} /* mode */
28 .no {background: #222} /* unassigned */
36 color: #000; /* on default (light) background hover */