HTML header to be included in other templates.