small theme changes #3

Merged
marco merged 4 commits from development into main 2026-01-21 15:05:11 +01:00
Owner
No description provided.
marco added 4 commits 2026-01-21 15:05:04 +01:00
marco merged commit dca8c64555 into main 2026-01-21 15:05:11 +01:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: marco/maps_bookmarks#3