Add HTML doctype