Fixed Solarized-ocean theme