Update Banner wordmark: joined lines, bold, leaning mascot, and a banner_style setting - #7

Merged

yoelrosenthal merged 5 commits into

fix-banner-wordmark-bold

Sep 17, 2026

Commits on Sep 17, 2026

Fix Draw the banner wordmark in bold again

yoelrosenthal
and
claude
committed
6936cd5
Fix Restore the banner's rightward lean

yoelrosenthal
and
claude
committed
97ffbfc
Update Draw the banner wordmark with joined line characters

yoelrosenthal
and
claude
committed
ac10c04
Add A banner_style setting to pick the wordmark

yoelrosenthal
and
claude
committed
b777942
Fix Put a toggled setting back when saving it fails

yoelrosenthal
and
claude
committed
767c8d9