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 bb7a924dcc12162d908435d20ef20470516c4c4f..f8c818220fe6ed03a0abfd35efeb277d6f919a61 100644 (file)
--- a/css/lede.css
+++ b/css/lede.css
@@ -56,7 +56,7 @@ h1 {
 .menu ol li,
 .menu ol li p {
        padding: 0;
-       margin: 0;
+       margin: 1px 1px 1px 1px;
 }
 
 .menu ol:after {
@@ -70,63 +70,19 @@ h1 {
        float: left;
 }
 
-.menu ol li {
-       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,
 .menu ol li p a.active {
-       background: #527bbd;
-       color: #fff;
-}
-
-.docs_menu ol {
-       padding: 0;
-       margin: 0 -10px;
-       border: 2px solid #527bbd;
-       border-width: 2px 0;
-}
-
-.docs_menu ol li,
-.docs_menu ol li p {
-       padding: 0;
-       margin: 1px 1px 1px 1px;
-}
-
-.docs_menu ol:after {
-       content: "";
-       display: block;
-       clear: both;
-}
-
-.docs_menu ol li {
-       list-style: none;
-       float: left;
-}
-
-.docs_menu ol li p a:link,
-.docs_menu ol li p a:visited {
-       color: #527bbd;
-       font-size: 1.1em;
-       text-decoration: none;
-       display: block;
-       padding: 2px 4px;
-       border-radius: 3px 3px 3px 3px;
-}
-
-.docs_menu ol li p a:hover,
-.docs_menu ol li p a:active,
-.docs_menu ol li p a.active {
        background-color: #527bbd;
        color: #fff;
 }