Small fix to gruvbox.css