@@ -4,7 +4,7 @@ body {
4 background-color: white;
4 background-color: white;
5 color: black;
5 color: black;
6 font-family: Verdana, sans-serif;
6 font-family: Verdana, sans-serif;
7− font-size: medium;
7+ font-size: 0.9em;
8 line-height: 1.3em;
8 line-height: 1.3em;
9 color: #333;
9 color: #333;
@@ -14,6 +14,10 @@ pre {
14 color: #1111111;
14 color: #1111111;
15 padding: 0.5em;
15 padding: 0.5em;
18+ font-family: monospace;
17h1, h2, h3, h4, h5 { font-family: verdana;
21h1, h2, h3, h4, h5 { font-family: verdana;
18 font-weight: bold;
22 font-weight: bold;
19 color: #7a5ada; }
23 color: #7a5ada; }