Gruvbox Dark Minimal per Jeremy

A minimal theme matching the Gruvbox theme. No tab border, so it works nicely with the old tab style.