run make again

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 70835bcc989377e18c96dbbb80568365e90bfff6..085ad140010854b5d5e9b41aefa3151f2d9c4576 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3132,7 +3132,6 @@ button.close {
   *margin-left: .3em;
   font-size: 14px;
   line-height: 20px;
-  *line-height: 20px;
   color: #333333;
   text-align: center;
   text-shadow: 0 1px 1px rgba(255, 255, 255, 0.75);