Make highlighting in the mode line configurable

Sorry for the whitespace changes, though I think things like this should be fixed someday anyhow.