// JavaScript Document
function mydefaultsize(myvalue)
// this function is called by the user clicking on a text size choice
{
// find the div to apply the text resizing to
var div = document.getElementById("mymain");
// apply the text size change
div.style.fontSize = myvalue + "px";
// store the text size choice into a cookie
//document.cookie="mysize=" + myvalue;
}

function changemysize(myvalue)

// this function is called by the user clicking on a text size choice
{
// find the div to apply the text resizing to
var div = document.getElementById("mymain");

// apply the text size change
div.style.fontSize = myvalue + "px";
// store the text size choice into a cookie
document.cookie="mysize=" + myvalue;
}