function pomniejsz()
{
var e = document.getElementsByTagName("div");
	for(i=0;i<e.length;i++)
{
e[i].style.fontSize = "0.8em";
}
}

function powieksz()
{
var e = document.getElementsByTagName("div");
	for(i=0;i<e.length;i++)
{
e[i].style.fontSize = "1.4em";
}
}

function zero()
{
var e = document.getElementsByTagName("div");
	for(i=0;i<e.length;i++)
{
e[i].style.fontSize = "0.9em";
}
}