4 ms·

Thanks! By the way, for those who read this, to change the theme is menu > customize > theme.. These things are not easy to find!