// ----------------------------------------------------------------------------------------------------
// tools.js - JavaScript Tools
// ----------------------------------------------------------------------------------------------------
var TOOLS = {
	addClass : function(element,className) {
		element.className += ' ' + className
	},
	delClass : function(element,className) {
		TOOLS.replaceClass(element,className,'');
	},
	replaceClass : function(element,search,replace) {
		element.className = element.className.replace(search,'');
	}
};
// ----------------------------------------------------------------------------------------------------
// end of tools.js
// ----------------------------------------------------------------------------------------------------