Further tweaks to website css.
git-svn-id: https://pandoc.googlecode.com/svn/trunk@676 788f1e2b-df1e-0410-8736-df70ead52e1b
commit6acc727c53795bb7013dd015cc8519b912f45030
authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
dateWed 11 Jul 2007, 21:38 (19 years ago)
parentb7f32fd
web/main.css+4−3
@@ -4,8 +4,8 @@ body {
44 background-color: white;
55 color: black;
66 font-family: Verdana, sans-serif;
7− font-size: 0.9em;
8− line-height: 1.3em;
7+ font-size: 100%;
8+ line-height: 130%;
99 color: #333;
1010}
1111pre {
@@ -16,7 +16,7 @@ pre {
1616}
1717code {
1818 font-family: monospace;
19− font-size: 1.25em;
19+ font-size: 110%;
2020}
2121h1, h2, h3, h4, h5 { font-family: verdana;
2222 font-weight: bold;
@@ -151,6 +151,7 @@ dt {
151151}
152152#main {
153153 margin-top: 1em;
154+ margin-bottom: 1em;
154155 padding-right: 1em;
155156 padding-left: 1em;
156157 max-width: 42em;