Slight changes in website target:

+ history.html -> changelog.html
+ demo.html -> examples.html
+ Added title to changelog.html
+ Removed header div on html pages
+ Changed widths in css


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

1 files changed, 2 insertions, 2 deletions

diff --git a/web/main.css b/web/main.css
index b545811ec..b41ad6483 100644
--- a/web/main.css
+++ b/web/main.css
@@ -117,7 +117,7 @@ dt {
     color:#336666;
     padding-left:2em;
     margin-bottom:0;
-    width: 6em;
+    width: 7em;
 }
 #sidebar li {
     font-family: verdana;
@@ -146,7 +146,7 @@ dt {
     border-left: 1px solid gray;
 }
 #main.withleftmenu {
-    margin-left: 8em;
+    margin-left: 9em;
 }
 
 div.clear { clear: both;