diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css index 30de241fec..123b2ac33f 100644 --- a/docs/assets/css/bootstrap.css +++ b/docs/assets/css/bootstrap.css @@ -5408,11 +5408,11 @@ a.badge:hover { } .hide { - display: none; + display: none !important; } .show { - display: block; + display: block !important; } .invisible { diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css index 0a713d626c..2c73a78c2e 100644 --- a/docs/assets/css/docs.css +++ b/docs/assets/css/docs.css @@ -57,6 +57,10 @@ body > .navbar-fixed-top .brand:hover { section { padding-top: 60px; } +section > .page-header, +section > .lead { + color: #5a5a5a; +} /* Separators (hr) */ .bs-docs-separator { diff --git a/docs/extend.html b/docs/extend.html index 8e9b79b6b0..df30b679ab 100644 --- a/docs/extend.html +++ b/docs/extend.html @@ -60,7 +60,7 @@