including most of recommended local.css changes from Dan Scott (retained prior "pre...

diff --git a/website/local.css b/website/local.css
index 61adaba42d8583ae3dcfbf3947ff02154747e782..d2b3916520a144f33bf03e80925c8a79f71a966e 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -1,29 +1,42 @@
+h2 {
+-moz-border-radius-topleft:4px;
+-moz-border-radius-topright:4px;
+background-color:#B67B4E;
+color:black;
+display:block;
+font-weight:bold;
+padding:0 0 0 10px;
+}
+
 body {
-       font-family: "Liberation Sans",sans-serif;
-       font-size:1em;
-       margin-left: 5%;
-       margin-right:20%;
+color:#3F403F;
+font-family:"Liberation Sans",sans-serif;
+font-size:0.95em;
 }
 
-h1 {
-       font-size: 1.5em;
+*|*:visited 
+color:#f6a464;
 }
 
-h2 {
-       font-size: 1.2em;
+*|*:-moz-any-link {
+text-decoration:none;
+}
+
+:-moz-any-link {
+cursor:pointer;
 }
 
-h3 {
-       font-size: 1em;
+a:link { 
+  color: #CC6600;
+  text-deoration: none;
 }
 
-h4 {
-       font-size: 1em;
+a:visited { 
+  color: #c2772b;
 }
 
-.header span {
-       font-size: 1.5em;
-       color: #aaaaaa;
+a:hover { 
+  text-decoration: underline;
 }
 
 pre {