1 files changed, 20 insertions, 4 deletions
diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css
index 4b1ad76a..59528bb3 100644
--- a/doc-src/02-docstyle.css
+++ b/doc-src/02-docstyle.css
@@ -1,11 +1,27 @@
-body {
-    padding-top: 60px;
-    padding-bottom: 40px;
+
+
+/* Sidebar navigation */
+.nav-sidebar {
+  margin-right: -21px; /* 20px padding + 1px border */
+  margin-bottom: 20px;
+  margin-left: -20px;
+}
+.nav-sidebar > li > a {
+  padding-right: 20px;
+  padding-left: 20px;
+}
+.nav-sidebar > .active > a,
+.nav-sidebar > .active > a:hover,
+.nav-sidebar > .active > a:focus {
+  color: #fff;
+  background-color: #428bca;
 }
 
+
+
 .tablenum {
     font-weight: bold;
-} 
+}
 
 .nowrap {
      white-space: nowrap;