running make on prev merge

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 3c4ce62d1953e43461c10cedc5a01eef54db40f5..7d706b036e1ab3e7623971e5dfa246ffd3712b62 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -4030,7 +4030,7 @@ input[type="submit"].btn.btn-mini {
 .navbar .brand {
   display: block;
   float: left;
-  padding: 8px 20px 12px;
+  padding: 10px 20px 10px;
   margin-left: -20px;
   font-size: 20px;
   font-weight: 200;