// JavaScript Document

function IncreaseFontsize() {
 getObj();
 var max = 20;
 var size = stObj.style.fontSize;
 if (size == "") {
   size = 14;
 } else {
   size = parseInt(size);
 }
 if (size != max) {
     size = size + 2;
	 document.getElementById("display_story").style.fontSize = size + "px";
 } else {
      alert("You are already at the maximum size!");
 }
}

function DecreaseFontsize() {
 getObj();
 var min = 10;
 var size = stObj.style.fontSize;
 if (size == "") {
   size = 14;
 } else {
   size = parseInt(size);
 }
 if (size != min) {
     size = size - 2;
	 document.getElementById("display_story").style.fontSize = size + "px";
 } else {
     alert("You are already at the minimum size!");
 }
}

function getObj() {
	stObj = (document.getElementById) ? document.getElementById('display_story') : document.all('display_story');
}

function boldtext() {
 getObj(); 
 var weight = stObj.style.fontWeight;
 if (weight != 'bold') {
  stObj.style.fontWeight = 'bold';
 } else {
  stObj.style.fontWeight = 'normal'; 
 }
}