Skip to content

Add <hr> styling to CSS - #117

Merged
dstelzer merged 2 commits into
mainfrom
hr-color
Oct 8, 2026
Merged

dstelzer merged 2 commits into
mainfrom
hr-color

Conversation

@dstelzer

Copy link
Copy Markdown
Contributor

Fixes #115 .

@dstelzer
dstelzer marked this pull request as ready for review September 29, 2026 01:25
@dstelzer
dstelzer merged commit e65eb28 into main Oct 8, 2026
6 checks passed
@dstelzer
dstelzer deleted the hr-color branch October 8, 2026 18:29
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.

HRs in the options menu should use --theme-medium color

1 participant