From a6ac5ad19bb08ef4e118a814bce82a15266fa601 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Sat, 23 Apr 2016 15:48:57 +0300 Subject: [PATCH] Add GitHub corner --- docs/_static/extra.css | 13 +++++++++++++ docs/_templates/footer.html | 7 +++++++ 2 files changed, 20 insertions(+) diff --git a/docs/_static/extra.css b/docs/_static/extra.css index d5db5063..f9a40ace 100644 --- a/docs/_static/extra.css +++ b/docs/_static/extra.css @@ -270,6 +270,19 @@ nav { font-weight: 500; } +.navbar .github-corner { + position: absolute; + top: -1px; + left: 0; + display: none; +} + +@media screen and (min-width: 992px) { + .navbar .github-corner { + display: block; + } +} + .top-banner { display: block; padding: 10px 20px; diff --git a/docs/_templates/footer.html b/docs/_templates/footer.html index aef6fc18..327ce066 100644 --- a/docs/_templates/footer.html +++ b/docs/_templates/footer.html @@ -3,6 +3,13 @@ {% block extrafooter %}