color-theme-darkmine.rcp: untabify