Tweak txxx.zsh-theme further