var cssTools = new Object();

/* void */ cssTools.addClass = function (/* string */ className,/*DOM element*/ el) {
	var classes = el.className.split(" ");
	if (!classes.contains(className)) classes.push(className);
	el.className = classes.join(" ");
}

/* void */ cssTools.removeClass = function (/* string */ className,/*DOM element*/ el) {
	var classes = el.className.split(" ");
	if (classes.contains(className)) classes.pop(className);
	el.className = classes.join(" ");
}