function showAbstract (text) {
  var width  = 400;
  var height = 400;
  var left   = (screen.width  - width ) / 2;
  var top    = (screen.height - height) / 2;
  var win    = window.open('',
                           'Abstract',
                           'width='  + width  + ', ' + 
                           'height=' + height + ', ' +
                           'left='   + left   + ', ' +
                           'top='    + top    + ', ' +
                           'toolbar=no, '     +
                           'location=no, '    +
                           'directories=no, ' +
                           'status=no, '      +
                           'menubar=no, '     +
                           'copyhistory=no, ' +
                           'scrollbars=yes, ' +
                           'resizable=yes')
  win.document.write(text);
  win.document.close();
}

function selectStyle (title) {
  var index, links;
  for (index = 0,
       links = document.getElementsByTagName("link");
       index < links.length;
       index++ ) {
    if ((links[index].rel.indexOf("stylesheet") != -1)&&
        (links[index].title                          )  ) {
      links[index].disabled = true;
      if (links[index].title == title) {
        links[index].disabled = false;
      }
    }
  }
}

function browserSwitch () {
  if (navigator.appName == "Microsoft Internet Explorer") {
    selectStyle("ie");
  } else {
    selectStyle("mozilla");
  }
}

function toggleHeading (link) {
  var display, div, element;
  div = link.getElementsByTagName("DIV")[0];
  if (-1 != div.innerHTML.indexOf("+")) {
    div.innerHTML = "&minus;";
    display       = "";
  } else {
    div.innerHTML = "+";
    display       = "none";
  }
  element = link.parentNode;
  if ("H1" == element.nodeName) {
    for (element  = element.nextSibling;
         null    != element          &&
         "H1"    != element.nodeName;
         element  = element.nextSibling) {
      if (undefined != element.style) {
        element.style.display = display;
      }
    }
  } else if ("H2" == element.nodeName) {
    for (element  = element.nextSibling;
         null    != element          &&
         "H1"    != element.nodeName &&
         "H2"    != element.nodeName;
         element  = element.nextSibling) {
      if (undefined != element.style) {
        element.style.display = display;
      }
    }
  } else if ("H3" == element.nodeName) {
    for (element  = element.nextSibling;
         null    != element          &&
         "H1"    != element.nodeName &&
         "H2"    != element.nodeName &&
         "H3"    != element.nodeName;
         element  = element.nextSibling) {
      if (undefined != element.style) {
        element.style.display = display;
      }
    }
  }
}

function initHeadings () {
  var elements, index;
  for (index    = 0,
       elements = document.getElementsByTagName("h1");
       index    < elements.length;
       index++ ) {
    elements[index].innerHTML = "<a href=\"javascript:\" style=\"display:block\" class=\"toggle\" onclick=\"toggleHeading(this)\">" +
                                "<div style=\"float:left\" class=\"toggle\">&minus;</div>" +
                                elements[index].innerHTML +
                                "</a>";
  }
  for (index    = 0,
       elements = document.getElementsByTagName("h2");
       index    < elements.length;
       index++ ) {
    elements[index].innerHTML = "<a href=\"javascript:\" style=\"display:block\" class=\"toggle\" onclick=\"toggleHeading(this)\">" +
                                "<div style=\"float:left\" class=\"toggle\">&minus;</div>" +
                                elements[index].innerHTML +
                                "</a>";
  }
  for (index    = 0,
       elements = document.getElementsByTagName("h3");
       index    < elements.length;
       index++ ) {
    elements[index].innerHTML = "<a href=\"javascript:\" style=\"display:block\" class=\"toggle\" onclick=\"toggleHeading(this)\">" +
                                "<div style=\"float:left\" class=\"toggle\">&minus;</div>" +
                                elements[index].innerHTML +
                                "</a>";
  }
}

function onLoad () {
  browserSwitch();
//  initHeadings();
}

onLoad();