Doc.: Scala 3 Reference pages hide scrollbars

[dsbos]

Compiler version

N/A

Minimized example

Browse to page at https://docs.scala-lang.org/scala3/reference/syntax.html

Output

Page displays with no vertical scrollbar.

Expectation

Since, obviously, the page is longer (vertically) than a browser display pane, I expected the page to show up with a vertical scrollbar.

However, no vertical scrollbar appears, meaning that the user:

• can't see how far down in the page he or she is (i.e., there is no scrollbar slider indicating the position), and
• doesn't have a place to click to scroll down (or up) by one page (browser display pane height)

(Yes, users with pointing devices that scroll directly can move the page, but they can't easily jump down one screen-full (well, pane-full), and they can't see how far down in the page they are. (And any user with a non-scrollwheel mouse or a limited trackpad/etc. wouldn't be able to scroll at all without the keyboard.))

Apparently, your HTML/CSS for Scala 3 Reference pages suppresses scrollbars (well, at least in Chrome and Firefox; things still work in SeaMonkey).

Scala 3 Reference authors: Don't force your scrollbar preferences on all readers. (If you don't want to see vertical scrollbars, configure your browser(s), window manager, and/or operating system to suppress scrollbars; don't suppress them in the HTML/CSS for all readers.)

[szymon-rd]

Thank you for reporting!

[Dedelweiss]

I tried a first correction. I haven't done a PR yet as I'm not sure of the outcome but would that be what you're asking?

[szymon-rd]

Hi! Thanks for your work, but in the end, we thought that for the article's body, the ToC is the de facto replacement of the scrollbar. There possibly could be some small and non-invasive scrollbar in the navigation.

[Dedelweiss]

Okay sure ! So I keep the body scroll bar but more discreet as below? Or only for the sidebar on the left?

[szymon-rd]

I think it'd be better to keep only the one on the left for navigation and rely on ToC for the right pane. Great work on the styling! Could you check if it works ok after going to a different page, opening a page from a link (if it's in the correct position afterwards, not on the top when the content is already scrolled), etc.?