-
Notifications
You must be signed in to change notification settings - Fork 82
Open
Labels
Description
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.