/* no terminal theme */