Skip to content

Mobile-friendly UI improvements#1350

Merged
dhess merged 4 commits intomainfrom
georgefst/mobile-styles
May 21, 2025
Merged

Mobile-friendly UI improvements#1350
dhess merged 4 commits intomainfrom
georgefst/mobile-styles

Conversation

@georgefst
Copy link
Copy Markdown
Contributor

These are not necessarily only useful for mobile devices, but it's what originally inspired each of these changes.

(Come to think of it, the first commit doesn't have anything much to do with the rest of this... At some point I must have added another field somewhere around here as part of this work, and since removed it. Anyway, it's a trivial improvement and it had to go somewhere.)

georgefst added 4 commits May 21, 2025 19:17
…claration

Signed-off-by: George Thomas <georgefsthomas@gmail.com>
Signed-off-by: George Thomas <georgefsthomas@gmail.com>
This is generally recommended practice, and prevents part of the page from being hidden on mobile browsers.

Signed-off-by: George Thomas <georgefsthomas@gmail.com>
Signed-off-by: George Thomas <georgefsthomas@gmail.com>
@dhess dhess added this pull request to the merge queue May 21, 2025
Merged via the queue into main with commit 0da626c May 21, 2025
53 checks passed
@dhess dhess deleted the georgefst/mobile-styles branch May 21, 2025 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants