var menuwidth='18%' //default menu width
var menubgcolor='#99CC99' //menu bgcolor green color
var disappeardelay=10 //menu disappear speed onMouseout (in miliseconds) init: 250
var hidemenu_onclick="yes" //hide menu when user clicks within menu?
//Contents for menu 1: District 1
var menu1=new Array()
menu1[0]='Juno Beach'
menu1[1]='Jupiter'
menu1[2]='Jupiter Inlet Beach Colony'
menu1[3]='Lake Park'
menu1[4]='North Palm Beach'
menu1[5]='Palm Beach'
menu1[6]='Palm Beach Gardens'
menu1[7]='Riviera Beach'
menu1[8]='Tequesta'
//Contents for menu 2: District 1
var menu2=new Array()
menu2[0]='Boards & Committees'
menu2[1]='Agenda & Minutes'
menu2[2]='Channel 20 Live'
menu2[3]='Citizen Services'
menu2[4]='City Watch'
menu2[5]='District Map'
menu2[6]='District 2 News'
menu2[7]='Legislative Links'
menu2[8]='Video Archive'
menu2[9]='Zoning'