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:

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 --version
3.0.0

Here's an example of what it looks like: