run make with nav img fix

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 225f8739ddda9fd6aaebbab53231fc4d012d5d1e..e6003ee14769cebf403030e7b0b72ada2cd7673b 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3877,6 +3877,10 @@ input[type="submit"].btn.btn-mini {
   background-color: #eeeeee;
 }
 
+.nav > li > a > img {
+  max-width: none;
+}
+
 .nav > .pull-right {
   float: right;
 }