Tweak side nav styles

diff --git a/assets/css/docs.css b/assets/css/docs.css
index 4d099a78f613173a4b7e70585c698eca200e2683..91245973ca9dbc907c105f0443f1f6c4a7a05db2 100644 (file)
--- a/assets/css/docs.css
+++ b/assets/css/docs.css
@@ -230,8 +230,8 @@ body {
 .bs-sidenav {
   margin-top: 30px;
   margin-bottom: 30px;
-  padding-top: 15px;
-  padding-bottom: 15px;
+  padding-top:    5px;
+  padding-bottom: 5px;
   text-shadow: 0 1px 0 #fff;
   background-color: #f5f5f5;
   border-radius: 5px;
@@ -241,7 +241,7 @@ body {
 .bs-sidebar .nav > li > a {
   display: block;
   color: #666;
-  padding: 4px 20px;
+  padding: 5px 20px;
 }
 .bs-sidebar .nav > li > a:hover,
 .bs-sidebar .nav > li > a:focus {
@@ -251,7 +251,7 @@ body {
 .bs-sidebar .nav > .active > a,
 .bs-sidebar .nav > .active:hover > a,
 .bs-sidebar .nav > .active:focus > a {
-  font-weight: 500;
+  font-weight: bold;
   color: #563d7c;
   background-color: transparent;
   border-right: 1px solid #563d7c;
@@ -260,14 +260,14 @@ body {
 /* Nav: second level (shown on .active) */
 .bs-sidebar .nav .nav {
   display: none;
-  margin-bottom: 5px;
+  margin-bottom: 8px;
 }
 .bs-sidebar .nav > .active > ul {
   display: block;
 }
 .bs-sidebar .nav .nav > li > a {
-  padding-top: 2px;
-  padding-bottom: 2px;
+  padding-top:    3px;
+  padding-bottom: 3px;
   padding-left: 30px;
   font-size: 90%;
 }