document.documentElement.className="js_browser";

function collapsenav() {
  var i;
  var divs = document.getElementsByTagName('div');

  for (i in divs) {
    if (divs[i].className == "navshow") {
      divs[i].className = "navhide";
    }
  }
}

function togglenav(nav_id) {
  var nav_el = document.getElementById(nav_id);

  if (nav_el.className == "navshow") {
    nav_el.className = "navhide";
  } else {
    nav_el.className = "navshow";
  }
}