Added some content.

prestatic/aesthetics.js

@@ -38,7 +38,7 @@ set_min_height = function() {
     h = metadiv.offsetHeight + 15;
     metadiv.style.position = 'absolute';
     metadiv.style.bottom = '5px';
-    metadiv.style.width = (contentdiv.offsetWidth - 22) + 'px';
+    metadiv.style.width = (contentdiv.offsetWidth - 42) + 'px';
     contentdiv.style.paddingBottom = h + 'px';
 
     h = wh - h - menudiv.offsetHeight - 145;

prestatic/screen.css

@@ -11,7 +11,7 @@ page_bg = '#e8efef'
 body {
     /*@preval 'background-color: ' + page_bg + ';\n'@*/
     font-family: 'Dejavu Sans', 'Nimbus Sans', Helvetica, Arial, Verdana, sans-serif;
-    font-size: 12px;
+    font-size: 14px;
     color: #000;
 }
 
@@ -65,9 +65,9 @@ ul#menulinks {
 }
 
 #content {
-    width: 720px;
+    width: 700px;
     margin: 0 auto;
-    padding: 5px;
+    padding: 15px;
     background-color: #e9e9e9;
     border-color: #ddd;
     border-style: solid;
@@ -91,7 +91,7 @@ ul#menulinks {
 }
 
 #metadata {
-    margin-top: 10px;
+    margin: 10px 0;
     border-style: dashed;
     border-color: #ccc;
     border-width: 4px 0 0 0;
@@ -177,7 +177,7 @@ h1, h2, h3, h4, h5, h6 {
 
 h1 {
     margin: 16px 0 5px 0;
-    font-size: 26px;
+    font-size: 30px;
 }
 
 h1:first-child {
@@ -186,29 +186,29 @@ h1:first-child {
 
 h2 {
     margin: 14px 0 5px 0 ;
-    font-size: 22px;
+    font-size: 25px;
 }
 
 h3 {
     margin: 9px 0 3px 0;
-    font-size: 19px;
+    font-size: 21px;
 }
 
 h4 {
     margin: 7px 0 2px 0;
-    font-size: 16px;
+    font-size: 18px;
     font-weight: bold;
 }
 
 h5 {
     margin-top: 5px 0 1px 0;
-    font-size: 14px;
+    font-size: 16px;
     font-weight: bold;
 }
 
 h6 {
     margin: 3px 0 1px 0;
-    font-size: 12px;
+    font-size: 14px;
     font-weight: bold;
 }
 
@@ -217,21 +217,33 @@ h6 {
 
 p {
     text-align: justify;
-    margin-bottom: 5px;
+    margin-bottom: 10px;
 }
 
 div.caption {
     clear: both;
-    margin: 5px;
+    margin: 10px;
 }
 
 caption, div.caption > p {
     background-color: #ddd;
     padding: 3px;
-    border: 1px dotted #ccc;
+    text-align: center;
     font-style: italic;
 }
 
+div.caption.center-float img {
+    margin: 0 auto;
+}
+
+div.caption.center-float {
+    text-align: center;
+}
+
+div.caption.center-float p {
+    display: inline-block;
+}
+
 tt, code, samp, pre, var {
     font-family: Inconsolata, 'Dejavu Sans Mono', monospace;
 }
@@ -247,7 +259,7 @@ cite, quote {
 
 blockquote {
     margin: 0 0 5px 20px;
-    font-size: 14px;
+    font-size: 15px;
 }
 
 acronym, abbreviation {
@@ -423,6 +435,27 @@ td, th {
 }
 
 
+/* Code highlighting */
+
+.highlight {
+    padding: 2px 4px;
+}
+
+.highlighttable {
+    margin-bottom: 10px;
+}
+
+.highlighttable, .highlighttable .code  {
+    border-width: 0;
+}
+
+.linenos {
+    border-width: 0 1px 0 0;
+    border-style: solid;
+    border-size: black;
+}
+
+
 /* Misc. classes */
 
 .warning {
@@ -431,3 +464,4 @@ td, th {
     padding: 5px 5px 0 5px;
     border: 1px outset black;
 }
+