Excessive margins on mobile

[fredrik-bakke]

The readability of formalizations on our web page suffers on mobile devices in part due to excessive margins. Could we do something to reduce these margins?

Side note. While testing, I noticed the top bar with the agda-unimath logo and stuff is not visible except in exceedingly rare scenarios, essentially only very briefly after one begins scrolling upwards. We may want the top bar to be visible at all times, or at least as long as the user is scrolling upwards.

Images

Light mode

Dark mode