run make on last commit

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index dc62bef97fd79b1928ffc618ec87766b62aa7ac9..040ee62baf1f40bfcefdbdd4bc7b77171721fb27 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -1873,6 +1873,9 @@ fieldset[disabled] .btn {
   border-color: #2e2f2f;
 }
 
+.btn-default.disabled,
+.btn-default[disabled],
+fieldset[disabled] .btn-default,
 .btn-default.disabled:hover,
 .btn-default[disabled]:hover,
 fieldset[disabled] .btn-default:hover,
@@ -1903,6 +1906,9 @@ fieldset[disabled] .btn-default.active {
   border-color: #3071a9;
 }
 
+.btn-primary.disabled,
+.btn-primary[disabled],
+fieldset[disabled] .btn-primary,
 .btn-primary.disabled:hover,
 .btn-primary[disabled]:hover,
 fieldset[disabled] .btn-primary:hover,
@@ -1933,6 +1939,9 @@ fieldset[disabled] .btn-primary.active {
   border-color: #ec971f;
 }
 
+.btn-warning.disabled,
+.btn-warning[disabled],
+fieldset[disabled] .btn-warning,
 .btn-warning.disabled:hover,
 .btn-warning[disabled]:hover,
 fieldset[disabled] .btn-warning:hover,
@@ -1963,6 +1972,9 @@ fieldset[disabled] .btn-warning.active {
   border-color: #c9302c;
 }
 
+.btn-danger.disabled,
+.btn-danger[disabled],
+fieldset[disabled] .btn-danger,
 .btn-danger.disabled:hover,
 .btn-danger[disabled]:hover,
 fieldset[disabled] .btn-danger:hover,
@@ -1993,6 +2005,9 @@ fieldset[disabled] .btn-danger.active {
   border-color: #449d44;
 }
 
+.btn-success.disabled,
+.btn-success[disabled],
+fieldset[disabled] .btn-success,
 .btn-success.disabled:hover,
 .btn-success[disabled]:hover,
 fieldset[disabled] .btn-success:hover,
@@ -2023,6 +2038,9 @@ fieldset[disabled] .btn-success.active {
   border-color: #31b0d5;
 }
 
+.btn-info.disabled,
+.btn-info[disabled],
+fieldset[disabled] .btn-info,
 .btn-info.disabled:hover,
 .btn-info[disabled]:hover,
 fieldset[disabled] .btn-info:hover,