These are images for icons for jQuery UI.