Skip to content

PR-SETTINGS-INPUT-POLISH-0: bigger inputs / softer borders (round 6/15) - #150

Merged
jackwener merged 1 commit into
mainfrom
pr/settings-input-polish
Jun 23, 2026
Merged

PR-SETTINGS-INPUT-POLISH-0: bigger inputs / softer borders (round 6/15)#150
jackwener merged 1 commit into
mainfrom
pr/settings-input-polish

Conversation

@jackwener

Copy link
Copy Markdown
Member

Round 6/15. Inputs were too thin against the new row typography. Bumped font 12→14, min-height 26→34, padding 0/8→6/10, radius 6→7. Border tone softened from hard var(--border) to 12% foreground tint.

Inputs inside settings rows were 12px font / 26px min-height with
tight 0/8 padding — visibly thin against the bigger row typography
(15px label / 13px hint / 26×46 switch from rounds 1–3).

Bumped:
- font 12 → 14, line-height 1.4
- min-height 26 → 34
- padding 0/8 → 6/10
- radius 6 → 7
- border: hard `var(--border)` → 12% foreground tint (softer)
- horizontal-orient input max-width 280 → 320 (rows are roomier)
- textarea padding 6/8 → 8/10, font 12 → 14, lh 1.45 → 1.5

1466 / 1466 tests pass.
@jackwener
jackwener merged commit fc7302e into main Jun 23, 2026
@Astro-Han
Astro-Han deleted the pr/settings-input-polish branch July 14, 2026 05:05
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.

1 participant