CSS changes for website.

git-svn-id: https://pandoc.googlecode.com/svn/trunk@403 788f1e2b-df1e-0410-8736-df70ead52e1b

1 files changed, 10 insertions, 3 deletions

diff --git a/web/main.css b/web/main.css
index b41ad6483..13162414a 100644
--- a/web/main.css
+++ b/web/main.css
@@ -8,6 +8,12 @@ body {
     line-height: 1.3em;
     color: #333; 
 }
+pre {
+    border: 1px dotted;
+    background-color: #DDDDDD;
+    color: #1111111;
+    padding: 0.5em;
+}
 h1, h2, h3, h4, h5 { font-family: verdana;
                      font-weight: bold;
                      color: #7a5ada; }
@@ -140,10 +146,11 @@ dt {
     color: #7a5ada;
 }
 #main {
-    padding-right: 5em;
-    padding-left: 0.8em;
+    margin-top: 1em;
+    padding-right: 1em;
+    padding-left: 1em;
     max-width: 42em; 
-    border-left: 1px solid gray;
+    border: 1px solid gray;
 }
 #main.withleftmenu {
     margin-left: 9em;