Reverting theme change since it seems to have broken terminal size detection.