var fontSize = 13;
function zoomIn() {
	fontSize += 1;
	document.body.style.fontSize = fontSize + "px";
}
function zoomOut() {
	fontSize -= 1;
	document.body.style.fontSize = fontSize + "px";
}

if (top.location != location) {
	top.location.href = document.location.href;
}