Default value of `header-line-format' for buffers that don't override it. This is the same as (default-value 'header-line-format).