Dotty: Invite users to scroll down on dotty.epfl.ch

[dwijnand]

Maybe I'm just a monkey but I only just realised (seeing someone else do it) that there's lots of lovely, useful information if you scroll down in https://dotty.epfl.ch/. Perhaps there could be some visual cue.

[smarter]

IMHO we should change the design so that all the useful information is present above the fold and no scrolling is necessary (kind of like https://golang.org/)

[Blaisorblade]

We indeed used to have a visual cue (a down-arrow), but dropped them in #4020 because the implementation was too clever and fragile (#3952), and LAMP doesn't have dedicated frontend engineers. Until the design is changed, I expect something lower-tech could be welcome?

[dwijnand]

🎉