// JavaScript Document

var sFontSize = 12;
function getElement(elem) {
	return (document.getElementById) ? document.getElementById(elem) : document.all(elem);
}
function textup() {
	sFontSize += 1;
	if (sFontSize > 13) sFontSize = 13;
	var textObject = getElement('text_glavni1');
	textObject.style.fontSize = sFontSize + 'px';
}
function textdown() {
	sFontSize -= 1;
	if (sFontSize < 11) sFontSize = 11;
	var textObject = getElement('text_glavni1');
	textObject.style.fontSize = sFontSize + 'px';
}