run make after merge

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 825d6b51e7f0813ffdfe69fbd32704ed1685dd49..0160bf1f63b51510d6d8460ca773b4f45f5d5a07 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3189,7 +3189,8 @@ button.close {
           border-radius: 5px;
 }
 
-.btn-large [class^="icon-"] {
+.btn-large [class^="icon-"],
+.btn-large [class*=" icon-"] {
   margin-top: 2px;
 }
 
@@ -3201,7 +3202,8 @@ button.close {
           border-radius: 3px;
 }
 
-.btn-small [class^="icon-"] {
+.btn-small [class^="icon-"],
+.btn-small [class*=" icon-"] {
   margin-top: 0;
 }