Better mobile support on docs site

diff --git a/docs/static/static/css/styles.css b/docs/static/static/css/styles.css
index 74a641ba70ed3d89251e4bfd6501aa9af21de936..17a3509b89feed6095b466b84c5fd49ff3a5204c 100755 (executable)
--- a/docs/static/static/css/styles.css
+++ b/docs/static/static/css/styles.css
@@ -1,29 +1,5 @@
 body { padding-top: 70px; }\r
 \r
-#ribbon {\r
-    background-color: #a00;\r
-    overflow: hidden;\r
-    position: absolute;\r
-    right: -3em;\r
-    /*top: 2.5em;*/\r
-    top: 85px; \r
-    -moz-transform: rotate(45deg);\r
-    -webkit-transform: rotate(45deg);\r
-    -moz-box-shadow: 0 0 1em #888;\r
-    -webkit-box-shadow: 0 0 1em #888;\r
-}\r
-#ribbon a {\r
-    border: 1px solid #faa;\r
-    color: #fff;\r
-    display: block;\r
-    font: bold 81.25% "Helvetiva Neue",Helvetica,Arial,sans-serif;\r
-    margin: 0.05em 0 0.075em 0;\r
-    padding: 0.5em 3.5em;\r
-    text-align: center;\r
-    text-decoration: none;\r
-    text-shadow: 0 0 0.5em #444;\r
-}\r
-\r
 body {\r
     background-color: rgb(253, 253, 251);\r
 }\r
@@ -89,3 +65,16 @@ nav.navbar {
 .navbar-inverse .navbar-toggle {\r
     border-color: white;\r
 }\r
+\r
+@media (max-width: 767px) {\r
+    .navbar-inverse .navbar-nav .open .dropdown-menu>li>a {\r
+        color: white !important;\r
+    }\r
+    .navbar-inverse .navbar-nav .open .dropdown-menu>.active>a, .navbar-inverse .navbar-nav .open .dropdown-menu>.active>a:hover, .navbar-inverse .navbar-nav .open .dropdown-menu>.active>a:focus {\r
+        background-color: rgb(15, 166, 188);\r
+    }\r
+    nav.navbar {\r
+        opacity: 0.98;\r
+    }\r
+}\r
+\r