html: doctype snippet