window.onload = function () {
	getPreferredFontSize();
}


function $ (id) {
	return document.getElementById(id);
}


function clearInput (node) {
	if (node.defaultValue == undefined) {
		node.defaultValue = node.value;
	}
	node.value = "";
}


function setInput (node) {
	if (node.value == "") {
		node.value = node.defaultValue;
	}
}


function printPage () {
	window.print();
}