list-style: none;
}
-#source pre {
+pre {
display: inline-block;
text-align: left;
}
.sy-todo { background-color: #FF0 }
/* boolean alternate */
-.glyphs i { font-variant: normal; color: #800 }
+.glyphs b { font-weight: normal; color: #800 }
/* hover effects */
.X:hover {cursor: help}