Adjust CSS for site redesign

nhr · nhr · commit f66a3de84836 · 2018-05-04T11:48:55.000-04:00
diff --git a/_stylesheets/docs.css b/_stylesheets/docs.css
@@ -1,3 +1,7 @@
+nav#main {
+  margin-bottom: 15px;
+}
+
 .navbar.navbar-default.navbar-openshift.navbar-origin {
   background:
     linear-gradient(
