Use custom version of gruvbox (to change NoScript colors)