From 08fddf0e1cfc7d8a1b9be279b284b9c34d75315f Mon Sep 17 00:00:00 2001 From: cynecx Date: Tue, 17 Mar 2020 14:16:07 +0100 Subject: [PATCH] Revert "Change layout to fix missing scrollbar highlighting (chromium)" See #640. This reverts commit 3ababaf1a9a57ec145854433188db98613e00fa5. --- templates/style.scss | 22 +++++++++------------- 1 file changed, 9 insertions(+), 13 deletions(-) diff --git a/templates/style.scss b/templates/style.scss index eda3cde08..8501628d4 100644 --- a/templates/style.scss +++ b/templates/style.scss @@ -84,6 +84,15 @@ div.rustdoc { } } } + + // this is actual fix for docs.rs navigation and rustdoc sidebar + position: fixed; + top: $top-navbar-height; + bottom: 0; + left: 0; + right: 0; + display: block; + overflow-y: auto; } body { @@ -802,16 +811,3 @@ i.dependencies.normal { visibility: hidden; display: none; } - -// Fix position of theme-picker -.theme-picker { - margin-top: $top-navbar-height; -} - -// Fix for anchors, so that they are well positioned right below the sticky header -.section-header::before { - display: block; - content: ""; - height: 3rem; - margin-top: -3rem; -}