Switch to Solarized Dark; Tweak line nums