From 757d9764709fb6fb88fae65534e8a87ef86d4a2d Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 15 Aug 2018 18:55:45 +0300 Subject: [PATCH] Auto-dropdown navigation; move "Docs" to the right side --- _static/css/extra.css | 3 +++ _templates/footer.html | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/_static/css/extra.css b/_static/css/extra.css index 62efc1c18f..3c038279d1 100644 --- a/_static/css/extra.css +++ b/_static/css/extra.css @@ -570,6 +570,9 @@ fieldset[disabled] .navbar-inverse .btn-link:focus { .navbar .github-corner { display: block; } + ul.nav li.dropdown:hover > ul.dropdown-menu { + display: block; + } } .nav .dropdown .caret { diff --git a/_templates/footer.html b/_templates/footer.html index 43dfe7d629..2068ed8cc1 100644 --- a/_templates/footer.html +++ b/_templates/footer.html @@ -74,10 +74,10 @@
  • Boards
  • \ \ \ -
  • Docs
  • \ \