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 I was testing, I noticed the top bar with the agda-unimath logo and stuff is not visible except in excessively restricted scenarios, essentially only very briefly after one begins scrolling upwards. It seems to me like 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