function setStyleSheet(title) {
                if (title != "mainFrame" && title != "ljindex_main") title = "default";
	for(var i = 0; i < document.getElementsByTagName("link").length; i++) {
                    var a = document.getElementsByTagName("link")[i];
                    var b = a.getAttribute("title");
                    if (b != "") {
                        if (a.getAttribute("rel") == "stylesheet") {
                            if (b == title) {
                                a.disabled = false;
                            }
                            else {
                                a.disabled = true;
                            }
                        }
                    }
                }
}