Merge commit 'dkg/master'

[monkeysphere.git] / website / local.css

diff --git a/website/local.css b/website/local.css
index 3d00d715abc34f92a68b0b62f14045d4ff26c4a6..29939b89cac8e3e0d5762e0be6d46c23ff3ab2a9 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -52,6 +52,7 @@ pre {
   border: 1px solid #aaa;
   padding: 3px 3px 3px 3px;
   margin-left: 2em;
+  overflow: auto;
 }
 
 table.sitenav { 
@@ -70,12 +71,14 @@ table.sitenav img.logo {
 table.sitenav a { 
   font-weight: bold;
   margin-right: 1em;
+  font-variant: small-caps;
 }
 
 table.sitenav span.selflink { 
   font-weight: bold;
   text-decoration: underline;
   margin-right: 1em;
+  font-variant: small-caps;
 }
 
 div.header {