use docs_menu as the default menu style for the whole website

[web.git] / css / lede.css

diff --git a/css/lede.css b/css/lede.css
index 81223db7243f917b96123159de2881b0844b0251..f8c818220fe6ed03a0abfd35efeb277d6f919a61 100644 (file)
--- a/css/lede.css
+++ b/css/lede.css
@@ -28,41 +28,61 @@ h1 {
        color: #444;
 }
 
-.menu ol,
+#header {
+       background: url("/logo/logo_small.png") no-repeat scroll left top;
+       height: 60px;
+       line-height: 60px;
+       padding-left: 50px;
+}
+
+#header h1 {
+       border: none;
+       display: inline;
+       font-size: 1.4em;
+       margin: 0;
+}
+
+#preamble {
+       margin: 0;
+}
+
+.menu ol {
+       padding: 0;
+       margin: 0 -10px;
+       border: 2px solid #527bbd;
+       border-width: 2px 0;
+}
+
 .menu ol li,
 .menu ol li p {
        padding: 0;
-       margin: 0;
+       margin: 1px 1px 1px 1px;
 }
 
-.menu ol::after {
-       content: " ";
-       display: table;
+.menu ol:after {
+       content: "";
+       display: block;
+       clear: both;
 }
 
 .menu ol li {
-       border: 2px solid #527bbd;
-       border-right: none;
        list-style: none;
        float: left;
 }
 
-.menu ol li:last-child {
-       border-right: 2px solid #527bbd;
-}
-
 .menu ol li p a:link,
 .menu ol li p a:visited {
        color: #527bbd;
        font-size: 1.1em;
        text-decoration: none;
        display: block;
-       padding: 0 0.25em;
+       padding: 2px 4px;
+       border-radius: 3px 3px 3px 3px;
 }
 
 .menu ol li p a:hover,
-.menu ol li p a:active {
-       background: #527bbd;
+.menu ol li p a:active,
+.menu ol li p a.active {
+       background-color: #527bbd;
        color: #fff;
 }
-