Changed to base16-eighties-theme.