1 /* XXX A good framework would be handy */
2 /* XXX Also colours. Lots of colours. */
9 border-bottom: solid 1px #ccc;
21 font-family: monospace;
24 background-color: #ddd;
31 font-family: monospace;
35 font-family: monospace;
42 border-bottom: solid 1px #ddd;
52 text-decoration: underline;
57 background-color: #333;
59 border-left: solid 3px #c33;