//preload the images
topnav_links_over = new Image();
topnav_links_over.src = "images/topnav_links-over.gif";

topnav_articles_over = new Image();
topnav_articles_over.src = "images/topnav_articles-over.gif";

topnav_submit_over = new Image();
topnav_articles_over.src = "images/topnav_submit-over.gif";

topnav_about_over = new Image();
topnav_about_over.src = "images/topnav_about-over.gif";

topnav_home_over = new Image();
topnav_home_over.src = "images/topnav_home-over.gif";