Post #2135632

@spartanatreyu Yeah, gruvbox is a great theme. I've been using it a lot as well. You are probably right when it comes to the differences in colors. I was looking for something with less color variety, so it doesn't bother me, but I do take the point.