Some header-line configurations don't interact nicely with the
'highlight' face, particularly when they use the :box attribute.