A port of the spacegray base16-ocean-dark theme to atom.io