var 
showNumbers = false, 
backColor = "#002244", 
//336699 - 254467
normalColor = "#FFFFff", 
lastVisitColor = "#FF8000", 
currentColor = "#00C000", 
titleColor = "#FFFFcc", 
mLevel = 1, 
textSizes = new Array(1, 0.7, 0.6, 0.7, 0.6), 
fontTitle = "sans-serif", 	
fontLines = "sans-serif", 	
tocScroll=true, 
tocBehaviour = new Array(1,1), 
tocLinks = new Array(0,0);