// replace "(Javascript Required)" with appropriate text...
var fontArray = [["small ", "7pt"], ["medium ", "7.5pt"], ["large", "8.5pt"]];

var fontSelection = document.getElementById("font_selection");
fontSelection.firstChild.nodeValue = "Font size: ";

for( var i = 0; i < fontArray.length; i++ )
	{
	fontLink = document.createElement("a");
	fontLink.setAttribute("href", "#");
	fontLink.setAttribute("id", fontArray[i][1]);
	fontLink.onclick = function() { fontOnClickHander(this.id); return false; };
	fontLink.appendChild(document.createTextNode(fontArray[i][0]));
	
	fontSelection.appendChild(fontLink);
	}
	
function fontOnClickHander(size)
	{
	changeFontSize(size);
	}