Default definitions for HTML elements