Rename settings section labels and reduce theme selector padding#735

Merged

ngoiyaeric merged 7 commits into

mainfrom

jules-16371461960223442218-00c8db21

Jul 15, 2026

Commits on Jul 12, 2026

chore: rename settings section labels and reduce theme selector padding

google-labs-jules[bot]
and
ngoiyaeric
committed
chore: shorten reset and save button text in settings

google-labs-jules[bot]
and
ngoiyaeric
committed
chore: rename settings section labels, reduce theme selector padding, and shorten buttons

google-labs-jules[bot]
and
ngoiyaeric
committed