var fontSize = 7.5;

function setFaceSize() {
	obj = document.getElementById("div_text");
	obj.style.fontSize = fontSize + "pt";
	obj1 = document.getElementById("div_text1");
	obj1.style.fontSize = fontSize + "pt";
}
	
function FontLarger() {
	if (fontSize < 13.5) {
	fontSize = fontSize + 2;
	setFaceSize();
	}
}
		
function FontSmaler() {
	if (fontSize > 7.5) {
	fontSize = fontSize - 2;
	setFaceSize();
	}
}