switch to base16-eighties color theme