add terminal themes; minor tweaks