Small css change on website.
git-svn-id: https://pandoc.googlecode.com/svn/trunk@463 788f1e2b-df1e-0410-8736-df70ead52e1b
commit9af97d16d2a373a8351322ec71ad45c147fadc97
authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
dateTue 9 Jan 2007, 00:12 (20 years ago)
parent3ae8476
web/main.css+2−2
@@ -9,8 +9,8 @@ body {
99 color: #333;
1010}
1111pre {
12− border: 1px dotted;
13− background-color: #DDDDDD;
12+ border: 1px dotted gray;
13+ background-color: #ececec;
1414 color: #1111111;
1515 padding: 0.5em;
1616}