function showbox(id) {
var d = document.getElementById(id);
	for (var i = 1; i<=300; i++) 
	{
	if (document.getElementById('smenu'+i)) {document.getElementById('smenu'+i).style.display='none';}
	}
if (d) {d.style.display='block';}
}

function showboxi(id) {
var d = document.getElementById(id);
for (var i = 1; i<=300; i++) {if (document.getElementById('imenu'+i)) {document.getElementById('imenu'+i).style.display='none';}}
if (d) {d.style.display='block';}
}

function showboxii(id) {
var d = document.getElementById(id);
for (var i = 1; i<=300; i++) {if (document.getElementById('iimenu'+i)) {document.getElementById('iimenu'+i).style.display='none';}}
if (d) {d.style.display='block';}
}

function getlink(url)
    {
    var w = window.open(url, "","toolbar=yes,location=yes,directories=no,status=no,menubar=yes,scrollbars=yes,resizable=yes,width=800,height=600");
    if (window.focus){w.focus();}
    }

function expandcollapse (postid) 
   {
   whichpost = document.getElementById(postid); 
   if (whichpost.className=="postshown") 
      { 
      whichpost.className="posthidden"; 
      } 
      else {whichpost.className="postshown";} 
   }
   
function MM_jumpMenu(targ,selObj,restore)
	{ //v3.0
  	eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  	if (restore) selObj.selectedIndex=0;
	}

function fontexpand (id) 
   {
   whichpost = document.getElementById(id); 
   if (whichpost.className=="big") 
      { 
      whichpost.className="small"; 
      } 
      else {whichpost.className="big";} 
   }
 
 
var min=8;
var max=18;
function increaseFontSize() {
   var p = document.getElementsByTagName('div');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=max) {
         s += 1;
      }
      p[i].style.fontSize = s+"px"
   }
}
function decreaseFontSize() {
   var p = document.getElementsByTagName('div');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p[i].style.fontSize = s+"px"
   }   
}