Everything you need to know about terminal themes in Prompt 3