diff --git a/docs/_static/extra.css b/docs/_static/extra.css index b4848bff..edf97bb8 100644 --- a/docs/_static/extra.css +++ b/docs/_static/extra.css @@ -35,10 +35,10 @@ nav { display: block !important; } body { - padding-top: 50px; + padding-top: 100px; } .wy-nav-side { - top: 50px; + top: 100px; } .container { @@ -253,3 +253,26 @@ nav { .navbar-header .navbar-brand { color: #e0e0e0; } + +/* Misc */ + +.top-banner { + display: block; + padding: 10px 20px; + font-weight: bold; + font-size: 14px; + color: #fff; + text-align: center; + background-color: #0275d8; +} + +.top-banner:hover { + color: #fff; + text-decoration: none; + background-color: #025ebb; +} + +.top-banner:visited { + color: #fff; + text-decoration: none; +} diff --git a/docs/_templates/footer.html b/docs/_templates/footer.html index 65446636..777a80be 100644 --- a/docs/_templates/footer.html +++ b/docs/_templates/footer.html @@ -1,8 +1,9 @@ {% extends "!footer.html" %} {% block extrafooter %} - +