Local ToC renders incorrectly on certain screen sizes when a global ToC isn't present

[johnridesabike]

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:

odoc/src/html_support_files/odoc.css

Line 319 in 4219073

body.odoc:not(:has(> .odoc-tocs .odoc-global-toc)) {

odoc/src/html_support_files/odoc.css

Line 1290 in 4219073

body.odoc .odoc-tocs {

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

body.odoc {

$ odoc --version
3.0.0

Here's an example of what it looks like:

[jonludlam]

Thanks for reporting this, yes, this clearly needs fixing.