var defSize,mysize;s=new String();mysize=16;defSize=19;var myDiv;tdS=new Array();function enlarger(){if(mysize<36){mysize++;defSize+=2;s=mysize+"px";stringer_defSize=defSize+"px";if(document.getElementById("manipulable2")){myDiv=document.getElementById("manipulable2")}else{myDiv=document.getElementById("manipulable")}for(i=0;i<myDiv.getElementsByTagName("td").length;i++){tdS=myDiv.getElementsByTagName("td").item(i);tdS.style.fontSize=s}myDiv.style.fontSize=s;if(document.getElementById("theorem1")){document.getElementById("theorem1").style.fontSize=stringer_defSize}if(document.getElementById("theorem2")){document.getElementById("theorem2").style.fontSize=stringer_defSize}if(document.getElementById("theorem3")){document.getElementById("theorem3").style.fontSize=stringer_defSize}if(document.getElementById("theorem4")){document.getElementById("theorem4").style.fontSize=stringer_defSize}if(document.getElementById("theorem5")){document.getElementById("theorem5").style.fontSize=stringer_defSize}}return s}function decreaser(){if(mysize>9){defSize--;mysize--;s=mysize+"px";stringer_defSize=defSize+"px";if(document.getElementById("manipulable2")){myDiv=document.getElementById("manipulable2")}else{myDiv=document.getElementById("manipulable")}if(myDiv){myDiv.style.fontSize=s}for(i=0;i<myDiv.getElementsByTagName("td").length;i++){tdS=myDiv.getElementsByTagName("td").item(i);tdS.style.fontSize=s}if(document.getElementById("theorem1")){document.getElementById("theorem1").style.fontSize=stringer_defSize}if(document.getElementById("theorem2")){document.getElementById("theorem2").style.fontSize=stringer_defSize}if(document.getElementById("theorem3")){document.getElementById("theorem3").style.fontSize=stringer_defSize}if(document.getElementById("theorem4")){document.getElementById("theorem4").style.fontSize=stringer_defSize}if(document.getElementById("theorem5")){document.getElementById("theorem5").style.fontSize=stringer_defSize}}return s}function bolder(){if(document.getElementById("manipulable2")){myDiv=document.getElementById("manipulable2")}else{myDiv=document.getElementById("manipulable")}if(myDiv.style.fontWeight!="bold"){if(myDiv){myDiv.style.fontWeight="bold"}if(document.getElementById("theorem1")){document.getElementById("theorem1").style.fontWeight="bold";document.getElementById("bolder").firstChild.nodeValue="Unbold"}}else{myDiv.style.fontWeight="normal";document.getElementById("theorem1").style.fontWeight="bolder";document.getElementById("bolder").firstChild.nodeValue="Bold"}}function allBlack(){if(myDiv){myDiv.style.color="black";for(i=0;i<myDiv.getElementsByTagName("td").length;i++){tdS=myDiv.getElementsByTagName("td").item(i);tdS.style.style.color="black"}}if(document.getElementById("subhead1")){document.getElementById("subhead1").className="contrastSubhead";if(document.getElementById("subhead2")){document.getElementById("subhead2").className="contrastSubhead"}if(document.getElementById("subhead3")){document.getElementById("subhead3").className="contrastSubhead"}if(document.getElementById("subhead4")){document.getElementById("subhead4").className="contrastSubhead"}if(document.getElementById("subhead5")){document.getElementById("subhead5").className="contrastSubhead"}if(document.getElementById("subhead6")){document.getElementById("subhead6").className="contrastSubhead"}if(document.getElementById("subhead7")){document.getElementById("subhead7").className="contrastSubhead"}}};