style tweaks

Adjust the colors and the width to make the pages more readable.

Change-Id: If8b396aa7a55d5248e4e7e3125b44c22e3a2ea49

diff --git a/local.css b/local.css
index 981de77..d040014 100644 (file)
--- a/local.css
+++ b/local.css
@@ -14,10 +14,11 @@
  * 0% is opaque, 100% is transparent
  *  */
 .pageheader {
-  padding: 2em 2em 3em 2em;
+  padding: 2em 3em 3em 2em;
+  padding-left: 3em;
   position: relative;
   overflow: hidden;
-  background: #f2f7ed;
+  background: #edf2f7;
   border-color: #cccccc;
   border-style: none none solid none;
   border-width: 1px; }
@@ -85,7 +86,7 @@ input#searchbox {
   padding: 0.2em;
   font-size: 1.01em;
   background: #e6e6e6;
-  color: #136c13;
+  color: #13136c;
   border-style: solid;
   border-width: 1px;
   border-color: #cccccc;
@@ -111,10 +112,12 @@ body {
 
 a {
   text-decoration: none;
-  color: #136c13; }
+  color #19198d;
+ }
 
 a:hover {
-  color: #1fad1f; }
+  text-decoration: underline;
+  color: #1f1fad; }
 
 hr {
   border-style: none;
@@ -139,7 +142,7 @@ pre {
   box-shadow: 0px 0px 2px #1a1a1a; }
 
 #content, #comments, #footer {
-  margin: 1em 2em; }
+  margin: 1em 3em; }
 
 #pageinfo {
   border-color: #cccccc; }