/* javascript stuff - Nick Blundell 2006 */

/* Preload some images. */
function preloadImages(themePath) {
  image1 = new Image(); image1.src=themePath + "/images/tab-a-l.png";
  image2 = new Image(); image2.src=themePath + "/images/tab-a-r.png";
  image3 = new Image(); image3.src=themePath + "/images/switch-graphical-a.png";
  image4 = new Image(); image4.src=themePath + "/images/switch-textsize-a.png";
  image5 = new Image(); image5.src=themePath + "/images/switch-colourscheme-a.png";
}