Writes HTML header information to the given file.
The file to write to
The content of the HTML "title" element
The directory depth of the file. This is used for ensuring that the "base" element is correct so that links resolve properly.
See Implementation
Writes HTML header information to the given file.