color: #000; /* on default (light) background hover */
} /* mode link */
+/* code syntax */
+.sy-comment { color: #888 }
+.sy-constant { color: #8AC }
+.sy-type,
+.sy-identifier { color: #C9B }
+.sy-special { color: #A9C }
+.sy-error { font-weight: bold; background-color: #800; color: #EEE }
+.sy-todo { background-color: #880 }
+
/* character properties */
.glyphs th, .glyphs td {