function add_class (el, class_name)
{
  el.className = el.className + ' ' + class_name;
}

function remove_class (el, class_name)
{
  el.className = el.className.replace (' ' + class_name, '');
}
