The local table-of-contents doesn't display correctly on a screen size between about 800px and 1600px. The local odoc-tocs class is given grid-area: sidebar but sidebar does not exist in the grid template. This does not seem to happen when a global table-of-contents is present.
The issue, as far as I can tell, is that both of these rules are in effect:
|
body.odoc:not(:has(> .odoc-tocs .odoc-global-toc)) { |
I haven't looked into it extensively, but my first guess is that line 319's greater specificity is overriding 1283, which is supposed to be used instead:
Here's an example of what it looks like:
The local table-of-contents doesn't display correctly on a screen size between about 800px and 1600px. The local
odoc-tocsclass is givengrid-area: sidebarbutsidebardoes not exist in the grid template. This does not seem to happen when a global table-of-contents is present.The issue, as far as I can tell, is that both of these rules are in effect:
odoc/src/html_support_files/odoc.css
Line 319 in 4219073
odoc/src/html_support_files/odoc.css
Line 1290 in 4219073
I haven't looked into it extensively, but my first guess is that line 319's greater specificity is overriding 1283, which is supposed to be used instead:
odoc/src/html_support_files/odoc.css
Line 1283 in 4219073
Here's an example of what it looks like: