Merge branch 'menu-spacing' into 'master'

Menu spacing and design

See merge request !4

adapt.css

@@ -205,14 +205,17 @@ appears on the left side of the page.
 #menu a {
   color: #222;
   border: none;
-  padding: 0.6em 0 0.3em 0.4em;
-  border-left: 5px solid transparent;
+  padding: 6px 0 4px 6px;
+  border-left: 7px solid transparent;
   font-size:85%;
 }
+#menu li a {
+  border-left-color: #CCDCEB;
+  padding: 4px 0 4px 6px;
+}
 #menu a.selflink {
   background-color: #e1e1e1;
-  border-top: 1px solid #b7bac3;
-  border-left: 5px solid #3a6daf;
+  border-left-color: #3a6daf;
   font-weight: bold;
 }
 #menu a:hover,
@@ -223,7 +226,6 @@ appears on the left side of the page.
 #menu .sidehead a {}
 #menu .pure-menu ul {
 	margin-left: 0.7em;
-	border-left: 8px solid #CCDCEB;
 }
 /* Remove all background/borders, since we are applying them to #menu.*/
 #menu .pure-menu {