prevent page widening on the web site.

[monkeysphere.git] / website / local.css

diff --git a/website/local.css b/website/local.css
index 69defae6fdee597e91ea47d9e4d6cee6d2dd57d2..76dc4ccb644cbc70d902f9c644cd4eedd39ed453 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -43,6 +43,7 @@ pre {
   border: 1px solid #aaa;
   padding: 3px 3px 3px 3px;
   margin-left: 2em;
+  overflow: scroll;
 }
 
 table.sitenav { 
@@ -61,12 +62,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 {