function Small()
{
   document.getElementsByTagName('body')[0].className = "small";
}

function Medium()
{
   document.getElementsByTagName('body')[0].className = "medium";
}

function Big()
{
   document.getElementsByTagName('body')[0].className = "big";
}