// JavaScript Document // Pre-cache highlighted menu items var pic=new Array(11); pic[1] = new Image(); pic[2] = new Image(); pic[3] = new Image(); pic[4] = new Image(); pic[5] = new Image(); pic[6] = new Image(); pic[7] = new Image(); pic[8] = new Image(); pic[9] = new Image(); pic[10] = new Image(); pic[1].src = "images/menu_news_on.png"; pic[2].src = "images/menu_forums_on.png"; pic[3].src = "images/menu_downloads_on.png"; pic[4].src = "images/menu_team_on.png"; pic[5].src = "images/menu_images_on.png"; pic[6].src = "images/menu_faq_on.png"; pic[7].src = "images/menu_mission_authors_on.png"; pic[8].src = "images/menu_mission_archive_on.png"; pic[9].src = "images/menu_missions_on.png"; pic[10].src = "images/menu_source_code_on.png"; function getContainedImage(node) { var images = node.getElementsByTagName("img"); if (images.length == 0) return null; return images[0]; } function frob(item) { var img = getContainedImage(item); if (img == null) return; img.src = img.src.replace(/_off\./, "_on."); } function unfrob(item) { var img = getContainedImage(item); if (img == null) return; img.src = img.src.replace(/_on\./, "_off."); }