Changed theme to base16-ocean