add comment

EmileTrotignon · EmileTrotignon · commit 9ac5b54442e8 · 2023-12-05T16:37:07.000+01:00
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -783,6 +783,9 @@ td.def-doc *:first-child {
   line-height: 1.2;
 }
 
+/* When a search bar is present, we need the sticky sidebar to be a bit lower,
+   so `top` is higher  */
+
 .odoc-search + * + .odoc-toc {
   --toc-top: calc(var(--search-bar-height) + var(--search-padding-top) + 20px);
   max-height: calc(100vh - 2 * var(--toc-top));

Original file line number	Diff line number	Diff line change
`@@ -783,6 +783,9 @@ td.def-doc *:first-child {`
`783`	`783`	`line-height: 1.2;`
`784`	`784`	`}`
`785`	`785`
	`786`	`+/* When a search bar is present, we need the sticky sidebar to be a bit lower,`
	`787`	+ so `top` is higher */
	`788`	`+`
`786`	`789`	`.odoc-search + * + .odoc-toc {`
`787`	`790`	`--toc-top: calc(var(--search-bar-height) + var(--search-padding-top) + 20px);`
`788`	`791`	`max-height: calc(100vh - 2 * var(--toc-top));`