Cleanups, tweaks, fixes.
Cleanups, tweaks, fixes.

 - much less bloat and noise in the rc file
 - fixed menu separator padding
 - fixed option menu padding
 - fixed GVIM tabs
 - fixed insensitive arrows
 - fixed padding in tooltips
 - fixed alignment in the rc

DoctorJellyface/gnome-themes-standard,DoctorJellyface/gnome-themes-standard