run make on previous merge

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 68b40ca7c0ba50a0b6b7378eccab9a9c7c8729bd..de5494c571f8c7ddd804aeae8851f9286ff96c00 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -5043,6 +5043,7 @@ a.list-group-item.active > .badge,
   left: 50%;
   z-index: 15;
   width: 100px;
+  padding-left: 0;
   margin: 0 0 0 -50px;
   text-align: center;
   list-style: none;