Function switchStylestyle

data/codebrowser.js:30–38

(styleName)

var setStyle = "";
document.write("<link rel='alternate stylesheet' title='Solarized' href='" + data_path + "/solarized.css' />");
function switchStylestyle(styleName) {
    setStyle = styleName;
    $('link[rel*=style][title]').each(function(i) {
        this.disabled = true;
        if (this.getAttribute('title').toLowerCase() == styleName.toLowerCase()) {
            this.disabled = false;
        }
    });
}
function switchStylestyleAndSetCookie(styleName)
{
    switchStylestyle(styleName);