Generate HTML5 page header for source.