Skip to content

A smaller header#264

Merged
m-mohr merged 1 commit into
mainfrom
smaller-header
Apr 22, 2026
Merged

A smaller header#264
m-mohr merged 1 commit into
mainfrom
smaller-header

Conversation

@m-mohr
Copy link
Copy Markdown
Collaborator

@m-mohr m-mohr commented Apr 22, 2026

Just an experiment to save some space and get better titles up.
grafik

@m-mohr m-mohr added this to the 1.1 - Global Data milestone Apr 22, 2026
@m-mohr m-mohr requested a review from haithcoatj April 22, 2026 13:30
@calebrob6
Copy link
Copy Markdown
Contributor

I like this!

@m-mohr m-mohr merged commit f7ef47f into main Apr 22, 2026
1 check passed
@m-mohr m-mohr deleted the smaller-header branch April 22, 2026 15:27
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