From bb3e603a8289a0ce160768084b9a18f823707db6 Mon Sep 17 00:00:00 2001
From: Michael Wimmer <wimmer@lorentz.leidenuniv.nl>
Date: Mon, 9 Sep 2013 16:01:30 +0200
Subject: [PATCH] change link style; change design of top-bar; fix "jumping" of
 page when changing between different pages

---
 content/common/kwant.css | 31 ++++++++++++++++++++++++++-----
 1 file changed, 26 insertions(+), 5 deletions(-)

diff --git a/content/common/kwant.css b/content/common/kwant.css
index 50fd801..ad292c9 100644
--- a/content/common/kwant.css
+++ b/content/common/kwant.css
@@ -1,5 +1,10 @@
 @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;
-- 
GitLab