// JavaScript Document

//    Pull-down menu navigation.  Used with category menu.
//    Note: This isn't used by default.  It's only needed if
//    you use the 'pull-down version of the category menu,
//   rather than the 'text link' version 

// <!-- 
//    function gotoCategory(index) {
//        document.categories.submit();
//    }
// -->
//