Closed
Description
Explain the issue
When looking at https://dotty.epfl.ch/docs/reference/index.html on mobile you'll also see that there is a big chunk of wasted space in the body on top that doesn't need to be there.
When looking at https://dotty.epfl.ch/docs/reference/index.html on mobile you'll also see that there is a big chunk of wasted space in the body on top that doesn't need to be there.