More banner fixes (#332)

* More banner fixes

- Restore original banner (search box etc)
- Make version banner dismissable
- Better CSS styling

* Disable debug

_includes/overrides/home.html

@@ -1,4 +1,4 @@
-{% extends "base.html" %}
+{% extends "main.html" %}
 
 {% block tabs %}
 {{ super() }}

_includes/overrides/main.html

@@ -0,0 +1,6 @@
+{% extends "base.html" %}
+
+{% block header %}
+{% include "partials/version_banner.html" %}
+{% include "partials/header.html" %}
+{% endblock %}

_includes/overrides/partials/header.html

@@ -1,3 +0,0 @@
-{% include "banner.html" %}
-
-{{ super }}

_includes/overrides/partials/version_banner.html

@@ -1,5 +1,5 @@
 {% if config.version_banner %}
-<div class='md-banner md-banner--warning'>
+<div class='alert alert-warning alert-dismissable alert-version' role='alert'>
     <div class='md-grid md-typeset'>
         <small>
         {% if config.readthedocs.version == 'latest' %}
@@ -9,6 +9,7 @@
         {% endif %}
         For <em>stable</em> release documentation, use the version selector located in the bottom right corner of this page.
         </small>
+        <button type="button" class="close" data-dismiss="alert" aria-label="Close"><span aria-hidden="true">&times;</span></button>
     </div>
 </div>
-{% endif %}
+{% endif %}

docs/stylesheets/extra.css

@@ -128,4 +128,10 @@ div:nth-of-type(1) p {
 	background-color: #337ab7;
 	border-color: #2e6da4;
 	color: #fff;
+}
+
+.alert-version {
+	padding: 5px;
+	margin: 5px;
+	margin-bottom: 0px;
 }

mkdocs.yml

@@ -34,12 +34,12 @@ theme:
     - toc.autohide
 edit_uri: "" # Disable "Edit" button
 extra_css:
-  - stylesheets/extra.css
   - stylesheets/brands.css
   - stylesheets/regular.css
   - stylesheets/solid.css
   - stylesheets/bootstrap.css
   - stylesheets/splide.min.css
+  - stylesheets/extra.css
 extra_javascript:
   - javascripts/extra.js
   - javascripts/fontawesome.js