Skip to content

Excessive margins on mobile #1220

@fredrik-bakke

Description

@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

Screenshot_20241107_151354_com brave browser

Dark mode

Screenshot_20241107_151954_com brave browser

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions