Small css tweaks for website. (Smaller sans-serif font,
larger monospace for balance.)
git-svn-id: https://pandoc.googlecode.com/svn/trunk@675 788f1e2b-df1e-0410-8736-df70ead52e1b
commitb7f32fdaf196e8fa93514a4dca8db6a341065712
authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
dateWed 11 Jul 2007, 07:42 (19 years ago)
parent7bbb381
web/main.css+5−1
@@ -4,7 +4,7 @@ body {
44 background-color: white;
55 color: black;
66 font-family: Verdana, sans-serif;
7− font-size: medium;
7+ font-size: 0.9em;
88 line-height: 1.3em;
99 color: #333;
1010}
@@ -14,6 +14,10 @@ pre {
1414 color: #1111111;
1515 padding: 0.5em;
1616}
17+code {
18+ font-family: monospace;
19+ font-size: 1.25em;
20+}
1721h1, h2, h3, h4, h5 { font-family: verdana;
1822 font-weight: bold;
1923 color: #7a5ada; }