Fix css

When sidebars are large, overspace should be given to the row containing the content. Signed-off-by: Paul-Elliot <[email protected]>
ocaml · Jul 9, 2024 · 60be8f1 · 60be8f1
1 parent f6186e7
commit 60be8f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -304,6 +304,7 @@ body.odoc {
     "toc-local preamble toc-global"
     "toc-local content  toc-global";
   column-gap: 4ex;
+  grid-template-rows: auto auto 1fr;
 }
 
 body.odoc-src {