change link style; change design of top-bar; fix "jumping" of page when...

change link style; change design of top-bar; fix "jumping" of page when changing between different pages

content/common/kwant.css

 @import url(html4css1.css);
 
+/* keeping a scrollbar always there to make centering work properly */
+html {
+    overflow-y: scroll;
+}
+
 body {
     min-width: 20em;
     max-width: 55em;
@@ -14,15 +19,32 @@ body {
     hyphens: auto;
 }
 
+/* link color is an average of the kwant logo */
+a {
+    color: #045e94;
+    text-decoration: none;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
 ul.navigation{
     display: block;
     text-align: center;
-    padding: 0;
+    padding: 0.4em;
+    border-radius: 5px;
+    background-color: #eeeeee;
+    -webkit-hyphens: none;
+    -moz-hyphens: none;
+    -ms-hyphens: none;
+    -o-hyphens: none;
+    hyphens: none;
 }
 
 ul.navigation li{
     display: inline;
-    margin: 0 0.5em;
+    margin: 0 1em;
 }
 
 .hidden_structure h1, h2, h3, h4, h5, h6 {
@@ -31,10 +53,9 @@ ul.navigation li{
 
 #header { margin-top: 0.5em; }
 #footer { margin: 2em 0; }
-#header, #header a:link, #header a:visited, #footer {
-    color: gray;
+#header, #header a, #footer {
+    color: black;
 }
-#header a:hover { color: black }
 
 h1, h2, h3, h4, h5, h6 {
     font-family: "Bitstream Vera Sans",  Verdana, sans-serif;