More terminal theme stuff