Change layout to fix missing scrollbar highlighting (chromium)

rust-lang · Mar 14, 2020 · 3ababaf · 3ababaf
1 parent e30c54b
commit 3ababaf
Showing 1 changed file with 13 additions and 9 deletions.
diff --git a/templates/style.scss b/templates/style.scss
@@ -84,15 +84,6 @@ 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 {
@@ -811,3 +802,16 @@ 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;
+}