turn docs navbar into left navbar

1 files changed, 20 insertions, 0 deletions

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 50d207001..ac0ea34e5 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3255,6 +3255,7 @@ button.close {
 }
 
 .navbar-fixed-top,
+.navbar-fixed-left,
 .navbar-fixed-bottom {
   position: fixed;
   right: 0;
@@ -3271,6 +3272,16 @@ button.close {
   bottom: 0;
 }
 
+.navbar-fixed-left {
+  top: 0;
+  right: auto;
+  bottom: 0;
+}
+
+.navbar-fixed-left .container {
+  max-width: none;
+}
+
 .navbar-brand {
   display: block;
   max-width: 200px;
@@ -3496,6 +3507,15 @@ button.close {
   .navbar-inverse .nav > .divider {
     border-right-color: #2f2f2f;
   }
+  .navbar-fixed-left {
+    padding-right: 0;
+    padding-left: 0;
+  }
+  .navbar-fixed-left .navbar-brand,
+  .navbar-fixed-left .nav,
+  .navbar-fixed-left .nav > li {
+    float: none;
+  }
   .navbar-toggle {
     position: relative;
     top: auto;