Change theme to base16-default dark.