// Change "no-js" class from <body> element to "js":
document.getElementsByTagName("body")[0].className = document.getElementsByTagName("body")[0].className.replace(/\bno-js\b/,'js');
