tweaking stylesheet

[monkeysphere.git] / website / local.css

diff --git a/website/local.css b/website/local.css
index 3d00d715abc34f92a68b0b62f14045d4ff26c4a6..ca9fe55c2f22004d09d17a72667a84c2f0f3188e 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 { 
@@ -96,3 +99,8 @@ div.actions {
   padding: 0;
 }
 
+/* align main paragraphs to the right side of the monkey's finger */
+div#content > p { 
+  margin-left: 18px;
+  margin-right: 5em;
+}