Doctype defined