1 files changed, 11 insertions, 0 deletions
diff --git a/docs/css/main.css b/docs/css/main.css
index 13fe0b8195..83fc7c8ec9 100755
--- a/docs/css/main.css
+++ b/docs/css/main.css
@@ -20,6 +20,17 @@
   font-size: 15px;
 }
 
+.navbar .divider-vertical {
+  border-right-color: lightgray;
+}
+
+.navbar-text .version-text {
+  border: solid thin lightgray;
+  border-radius: 6px;
+  padding: 5px;
+  margin-left: 10px;
+}
+
 body #content {
   line-height: 1.6; /* Inspired by Github's wiki style */
 }