This mode is called by html.page to output the contents of the header
element above the main content. Importing stylesheets may implement this mode
for any element that will be passed to html.page. If they do not, the
header element will be empty by default.