Improvements
- rework media queries (#5329) (4039ed8b2)
Completely reworks the width breakpoints to improve the ease of creating a responsive UI which looks good on all screen sizes. This change also removes the "page width" setting as its no longer needed.
Nerd stuff
These changes will not be visible to users, but are included for completeness and to credit contributors.
- style: lowercase about buttons for styling consistency (c8e61d594)