Tweak display-time mode-line format.