function goto(url) {
  document.location = url;
  return true;
}

function adorn(element, name) {
  var styleList = element.className.split(' ');
  for (var index in styleList) {
    if (name == styleList[index]) {
      return;
    }
  }
  styleList.push(name);
  element.className = styleList.join(' ');
}

function unadorn(element, name) {
  var styleList = element.className.split(' ');
  for (var index in styleList) {
    if (name == styleList[index]) {
      styleList.splice(index, 1);
      break;
    }
  }
  element.className = styleList.join(' ');
}