if (typeof(gll) == "undefined") {
  gll = { };
}

gll.setCssClass = function(id, css_class) {
  document.getElementById(id).className = css_class;
}

gll.setCssClassList = function(ids, css_class) {
  for (var i = 0; i < ids.length; i++) {
	gll.setCssClass(ids[i], css_class);
  }
}

gll.hasCssClass = function(id, css_class) {
  classes = document.getElementById(id).className.split(" ");
  return gll.in_array(css_class, classes);
}