function changeSize(size) {
	document.getElementById('content').style.fontSize = size;
}

function addButton(parent, id, action)
{
	var elt = document.createElement("a");
		elt.setAttribute("id", id);
		elt.setAttribute("href", "javascript:" + action);

	parent.appendChild(elt);
}