run make on previous commit's merge

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 27b4f6e6c812cc0a02d080fa89562be7a103ce5d..f1c4afbbbd582c9535e97683a22c063bd175975b 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -2049,7 +2049,8 @@ table .span24 {
 .nav > .active > a > [class^="icon-"],
 .nav > .active > a > [class*=" icon-"],
 .dropdown-menu > li > a:hover > [class^="icon-"],
-.dropdown-menu > li > a:hover > [class*=" icon-"].dropdown-menu > .active > a > [class^="icon-"],
+.dropdown-menu > li > a:hover > [class*=" icon-"],
+.dropdown-menu > .active > a > [class^="icon-"],
 .dropdown-menu > .active > a > [class*=" icon-"] {
   background-image: url("../img/glyphicons-halflings-white.png");
 }