HTML declaration.