Scrolling issue

[rodrigogiraoserrao]

Hey there, I have a scrolling issue that pops up in the chapter about the key operator. I'm not sure it's "your" fault, and I don't even know if you can do anything about it...

I have two vertical scrolling bars on the right; one right next to the content (but to the left of where the "contents" index usually is), and one at the right edge of the browser, as per usual. The outer bar scrolls just fine, but the interior one, not so much. Cf. the screenshot:

I start by scrolling down and that bar works normally, then it gets stuck in that position; if I scroll down enough, it suddenly gets unstuck and proceeds to scrolling through the remainder of the page.

This happens both in Firefox and Chrome, for me, on Windows 10.

I hypothesised it could have to do with the fact that there are no subsections in that chapter, but the chapters about ⊤⊥ and ⍥ also have no subsections and do not have this issue.

[xpqz]

Hmm, yes -- I get that, too -- can't see what's causing it right now :/