7 border-bottom: solid 1px #ccc;
13 font-family: monospace;
16 background-color: #ddd;
23 font-family: monospace;
27 font-family: monospace;
34 border-bottom: solid 1px #ddd;
44 text-decoration: underline;
49 background-color: #333;
51 border-left: solid 3px #c33;