Merge pull request #636 from cynecx/revert-635-fix-chrome-search-highlight

GuillaumeGomez · web-flow · commit 32ee9e68ad7f · 2020-03-14T18:27:31.000+01:00
Revert "Change layout to fix missing scrollbar highlighting (chromium text search)"
diff --git 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,8 +811,3 @@ i.dependencies.normal {
   visibility: hidden;
   display: none;
 }
-
-// Fix position of theme-picker
-.theme-picker {
-	margin-top: $top-navbar-height;
-}

Original file line number	Diff line number	Diff line change
`@@ -84,6 +84,15 @@ div.rustdoc {`
`84`	`84`	`}`
`85`	`85`	`}`
`86`	`86`	`}`
	`87`	`+`
	`88`	`+ // this is actual fix for docs.rs navigation and rustdoc sidebar`
	`89`	`+ position: fixed;`
	`90`	`+ top: $top-navbar-height;`
	`91`	`+ bottom: 0;`
	`92`	`+ left: 0;`
	`93`	`+ right: 0;`
	`94`	`+ display: block;`
	`95`	`+ overflow-y: auto;`
`87`	`96`	`}`
`88`	`97`
`89`	`98`	`body {`
`@@ -802,8 +811,3 @@ i.dependencies.normal {`
`802`	`811`	`visibility: hidden;`
`803`	`812`	`display: none;`
`804`	`813`	`}`
`805`		`-`
`806`		`-// Fix position of theme-picker`
`807`		`-.theme-picker {`
`808`		`- margin-top: $top-navbar-height;`
`809`		`-}`