Use base16-ocean theme