tweak header-line again
Fix stupid GUI having different colors than terminal