var outColor = 	"rgb(234,242,255)";
var overColor = "#aaaaaa";
var downColor = "#ababcd";

onload=function() { 
	myButton1 = new textButton('button1','activeButton', outColor, overColor, downColor, "/index.php");
	myButton2 = new textButton('button2','activeButton', outColor, overColor, downColor, "/contact.php");
	myButton3 = new textButton('button3','activeButton', outColor, overColor, downColor, "/carverjnr/index.php");
	myButton4 = new textButton('button4','activeButton', outColor, overColor, downColor, "/vansant/index.php");
}