// changes css styles for menu tabs //
function toggleClassName(element, className) {
var classPattern = new RegExp('(^|\\s)' + className + '(\\s|$)');

if ((typeof element == 'string') && document.getElementById)
element = document.getElementById(element);

if (element)
if (classPattern.test(element.className))
element.className = element.className.replace(classPattern, ' ');
else element.className += ' ' + className;
}

function toggleClassName2(element, className) {
if ((typeof element == 'string') && document.getElementById)
element = document.getElementById(element);
if (element)
element.className = className;
}