// defines the variables used as parameters for the menu


var ie4=document.all
var ns6=document.getElementById&&!document.all



//var menuwidth=180//default menu width
//var menu_row_height=30  // pixel heigth per table row to calculate the division container height
var menu_limit_x=900 // menu will be adjusted so it will not exceed this

var menu_scroll_speed=2 // pixels per 1 milisecond interval

var main_menu_offset_height=1

var sub_menu_offset_width=75  // offset  

var menu_border="1px solid"
var menu_border_color="#000000"

// attached is menu_style.css which defines a 
// menu class