Added HTML Standard defs