Switch back to old theme
Disable ghci-color