The contents of the header file will be inserted in the head element of the
generated HTML files.
The header file should be specified using an absolute path and must contain valid XML. If
you need to insert more than one element into the HTML page head, wrap the content in a
div element. The division wrapper in the header file will be discarded when
generating HTML files, and the contents will be inserted into each page head.