rename vertical-divider to divider-vertical, add more space around the divider

3 files changed, 3 insertions, 3 deletions

diff --git a/docs/assets/bootstrap.zip b/docs/assets/bootstrap.zip
index 255d08950..7a2cddc35 100644
--- a/docs/assets/bootstrap.zip
+++ b/docs/assets/bootstrap.zip
diff --git a/docs/assets/css/bootstrap-responsive.css b/docs/assets/css/bootstrap-responsive.css
index da6440bd2..8d2743709 100644
--- a/docs/assets/css/bootstrap-responsive.css
+++ b/docs/assets/css/bootstrap-responsive.css
@@ -308,7 +308,7 @@
   .navbar .nav > li > a {
     margin-bottom: 2px;
   }
-  .navbar .nav > .vertical-divider {
+  .navbar .nav > .divider-vertical {
     display: none;
   }
   .navbar .nav > li > a, .navbar .dropdown-menu a {
diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index b6766f0aa..5a9068829 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -2509,10 +2509,10 @@ button.btn.small, input[type="submit"].btn.small {
   background-color: #222222;
   background-color: rgba(0, 0, 0, 0.5);
 }
-.navbar .vertical-divider {
+.navbar .divider-vertical {
   height: 40px;
   width: 1px;
-  margin: 0 5px;
+  margin: 0 9px;
   overflow: hidden;
   background-color: #222222;
   border-right: 1px solid #333333;