fix usage of table of contents plugin.

[monkeysphere.git] / website / local.css

diff --git a/website/local.css b/website/local.css
index d2b3916520a144f33bf03e80925c8a79f71a966e..1e9f2df54e31537b2f1fcff9d701281d5c54b383 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -45,3 +45,41 @@ pre {
        padding: 3px 3px 3px 3px;
        margin-left: 2em;
 }
+
+table.sitenav { 
+ border-bottom: 2px solid black;
+ padding: 0px;
+ width: 100%;
+ font-size: larger;
+}
+
+table.sitenav img.logo { 
+ margin: 0px; 
+ padding: 0px; 
+ vertical-align: bottom;
+}
+
+table.sitenav a { 
+  font-weight: bold;
+  text-decoration: none;
+  margin-right: 1em;
+}
+
+table.sitenav span.selflink { 
+  font-weight: bold;
+  text-decoration: underline;
+  margin-right: 1em;
+}
+
+table.sitenav a:hover { 
+  font-weight: bold;
+  text-decoration: underline;
+}
+
+div.header { 
+ text-align: right;
+}
+
+div.actions { 
+ text-align: right;
+}