CSS changes for website.
git-svn-id: https://pandoc.googlecode.com/svn/trunk@403 788f1e2b-df1e-0410-8736-df70ead52e1b
commit17be8bc2574ad262b817e7f1d0a220e8c4980118
authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
dateTue 2 Jan 2007, 06:43 (20 years ago)
parentbcc608f
web/main.css+10−3
@@ -8,6 +8,12 @@ body {
88 line-height: 1.3em;
99 color: #333;
1010}
11+pre {
12+ border: 1px dotted;
13+ background-color: #DDDDDD;
14+ color: #1111111;
15+ padding: 0.5em;
16+}
1117h1, h2, h3, h4, h5 { font-family: verdana;
1218 font-weight: bold;
1319 color: #7a5ada; }
@@ -140,10 +146,11 @@ dt {
140146 color: #7a5ada;
141147}
142148#main {
143− padding-right: 5em;
144− padding-left: 0.8em;
149+ margin-top: 1em;
150+ padding-right: 1em;
151+ padding-left: 1em;
145152 max-width: 42em;
146− border-left: 1px solid gray;
153+ border: 1px solid gray;
147154}
148155#main.withleftmenu {
149156 margin-left: 9em;