The favicon (short for "favorites icon") introduced by Internet Explorer is now also supported and extended in other browsers. It allows web pages to specify a 16-by-16 pixel image for use in bookmarks. In IE, support was, and still is, provided only for the native Windows ICO format; in other browsers it has now been extended to other types of images such as PNG and GIF.