Use Tomorrow-Night-Eighties color scheme