1 files changed, 20 insertions, 1 deletions
diff --git a/doc/sample_html/style.css b/doc/sample_html/style.css
index d9d324c..34ab10e 100644
--- a/doc/sample_html/style.css
+++ b/doc/sample_html/style.css
@@ -54,6 +54,11 @@ a.nav:hover {
     }
 
 #footer {
+    margin: 1em 3em;
+    }
+
+#footer .content {
+    padding: 0;
     font-size: 85%;
     font-family: verdana, sans-serif;
     color: #666666;
@@ -65,7 +70,7 @@ a.nav:hover {
     }
 
 /* Header styles */
-.content {
+#header .content {
     padding: 1em 3em;
     }
 
@@ -124,6 +129,20 @@ td.text {
     background: inherit;
     }
 
+/* Syntax coloring */
+.text .com {
+	color: green;
+	font-style: italic;
+	line-height: 1px;
+	}
+.text .key {
+	font-weight: bold;
+	line-height: 1px;
+	}
+.text .str {
+	color: #000080;
+	}
+
 /* index styles */
 #index td, #index th {
     text-align: right;