run make on previous commit

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 3eb92c2b1516b9c6b34caac540b3fcfc6ef9797f..574ba16628ed68762a347721b44dd3a290321996 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -1491,6 +1491,7 @@ input[type="url"].input-large,
 input[type="search"].input-large,
 input[type="tel"].input-large,
 input[type="color"].input-large {
+  min-height: 56px;
   padding: 14px 16px;
   font-size: 18px;
   border-radius: 6px;
@@ -1512,7 +1513,7 @@ input[type="url"].input-small,
 input[type="search"].input-small,
 input[type="tel"].input-small,
 input[type="color"].input-small {
-  min-height: 32px;
+  min-height: 30px;
   padding: 5px 10px;
   font-size: 12px;
   border-radius: 3px;