Idea: Add padding to the menu on mobile

[j-f1]

Improvement Idea:

When the bottom bar in Safari is not visible, the handbook menu collides with the home indicator on iPhone. By adding padding using env(safe-area-inset-bottom), this can be remedied without adding excess padding in cases where the viewport is rectangular. See this WebKit blog post for more detail.

Why:

Alternative ideas:

Another option would be to move the menu to the top of the screen, since there is always some sort of top bar when using Safari.

[orta]

Interesting, I did take that into account #130 (comment) but something might have changed - do you know if it's always like this?

[j-f1]

I only just noticed the issue — I didn’t try any debugging steps.

[typescript-bot]

Hello! As per #2804, we are automatically closing all open issues. Please see #2804 for a description of what issues and PRs can be accepted going forward.