<!--
/* Notice that only absolute sizes are supported properly. If size is
   defined relatively, functions will rewrite size with absolute value. */

function fontsize_increase(element) {
  switch(element.style.fontSize) {
    case "xx-small":
      element.style.fontSize = "x-small";
      break;
    case "x-small":
      element.style.fontSize = "small";
      break;
    case "small":
      element.style.fontSize = "medium";
      break;
    case "medium":
      element.style.fontSize = "large";
      break;
    case "large":
      element.style.fontSize = "x-large";
      break;
    case "x-large":
      element.style.fontSize = "xx-large";
      break;
    case "xx-large":
      break;
    default:
      element.style.fontSize = "large";
      break;
  }	   
  resize_blocks();
}

function fontsize_decrease(element) {
  switch(element.style.fontSize) {
    case "xx-small":
      break;
    case "x-small":
      element.style.fontSize = "xx-small";
      break;
    case "small":
      element.style.fontSize = "x-small";
      break;
    case "medium":
      element.style.fontSize = "small";
      break;
    case "large":
      element.style.fontSize = "medium";
      break;
    case "x-large":
      element.style.fontSize = "large";
      break;
    case "xx-large":
      element.style.fontSize = "x-large";
      break;
    default:
      element.style.fontSize = "small";
      break;
  }	   
  resize_blocks();
}
-->