Css fix

CHANGES.md

@@ -17,6 +17,8 @@
 
 ### Fixed
 - Fix bug in parsing META files when there are no dependencies (@jonludlam, #1352)
+- Fix #1335 - incorrect rendering when on medium screen size with no global
+  sidebar (@lukemaurer, #1361)
 
 # 3.0.0
 

src/html_support_files/odoc.css

@@ -864,11 +864,11 @@ td.def-doc *:first-child {
   line-height: 1.2;
 }
 
-.odoc-toc.odoc-local-toc:before {
+.odoc-toc.odoc-local-toc:has(~ .odoc-global-toc):before {
   content: "Local content";
 
 }
-.odoc-toc.odoc-global-toc:before {
+.odoc-toc.odoc-global-toc:has(~ .odoc-local-toc):before {
   content: "Global content";
 }
 
@@ -1304,6 +1304,13 @@ body.odoc:has( .odoc-search) .odoc-toc {
       "sidebar    preamble"
       "sidebar    content";
   }
+  body.odoc:not(:has(> .odoc-tocs .odoc-global-toc)) {
+    grid-template-areas:
+    "search-bar nav"
+    "sidebar    preamble"
+    "sidebar    content";
+    grid-template-columns: min-content 1fr;
+  }
 }
 
 @media only screen and (max-width: 110ex) {
@@ -1331,6 +1338,16 @@ body.odoc:has( .odoc-search) .odoc-toc {
       "toc-global";
     grid-template-columns: 1fr;
   }
+  body.odoc:not(:has(> .odoc-tocs .odoc-global-toc)) {
+    grid-template-areas:
+      "search-bar"
+      "nav"
+      "preamble"
+      "toc-local"
+      "content"
+      "toc-global";
+    grid-template-columns: 1fr;
+  }
   body.odoc .odoc-search {
     position: relative;
     height: calc(var(--search-bar-height) + 2 * var(--search-padding-top));