Switch to base16-ocean