2 font-family: luxi sans,sans-serif;
\r
5 .programlisting, .screen {
\r
6 font-family: monospace;
\r
10 border: 1px solid #bbb;
\r
11 background-color: #eee;
\r
14 border-radius: 2.5px;
\r
15 -moz-border-radius: 2.5px;
\r
21 border: 1px solid #00f;
\r
25 border: 1px solid #f00;
\r
29 border: 1px solid #0f0;
\r
32 /* Author listing seems stupidly large so downsize it a bit */
\r
33 /* <div class="authorgroup"><div class="author"><h3 */
\r
34 div.authorgroup div.author h3 {
\r