/* This function changes the font size of the content div */
function textSizer(arg) {
  if (!document.getElementsByTagName) return false;
  var divs = document.getElementsByTagName("div");
  var content = divs[6]; // This is just hard-coded in since I don't know how to fix IE bug.
  // This loop works in all other browsers... I hate IE!
  for (var i = 0; i < divs.length; i++) {
    if (divs[i].getAttribute("class") == "content") {
      content = divs[i];
    }
  }
  switch (arg) {
    case -1: 
      content.style.fontSize = "85%";
      break;
    case 1:
      content.style.fontSize = "115%";
      break;
    default:
      content.style.fontSize = "100%";
  }
}