var stav_pisma=false;
function velikost_pisma() {
	el=document.getElementById('velikost');
	if (stav_pisma) {el.className='inv'; stav_pisma=false;}
		else {el.className=''; stav_pisma=true;}
}