// --------
// Enabling of Javascript Stylesheets
// --------

function enableJavascriptStylesheets() {
    var links = document.getElementsByTagName("link");
    var link, i=0;
    while (link = links[i++]) {
        var title = link.getAttribute("title");
        if (title == "javascript") {
            link.disabled = true; // Disabling first makes it fire correctly in some browsers
            link.disabled = false;
        }
    }
}

enableJavascriptStylesheets();