Pick themes on settings page, not every page#92629

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

jsha:theme-picker-local-only-2jsha/rust:theme-picker-local-only-2Copy head branch name to clipboard