running make on previous merge

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 2535de55e43dfa476d92e4ca61c98b9a046e8d55..15f56dcb0cdbe61e0bbe68fb8b85c5d1ce945024 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -2881,7 +2881,6 @@ table .span24 {
   position: relative;
   height: 0;
   overflow: hidden;
-  overflow: visible \9;
   -webkit-transition: height 0.35s ease;
      -moz-transition: height 0.35s ease;
        -o-transition: height 0.35s ease;