1function getCookie(Name) { 2var re=new RegExp(Name+"=[^;]+", "i"); 3if (document.cookie.match(re)) 4return document.cookie.match(re)[0].split("=")[1] 5return null 6} 7function setCookie(name, value, days) { 8var expireDate = new Date() 9var expstring=(typeof days!="undefined")? expireDate.setDate(expireDate.getDate()+parseInt(days)) : expireDate.setDate(expireDate.getDate()-5) 10document.cookie = name+"="+value+"; expires="+expireDate.toGMTString()+"; path=/"; 11} 12function deleteCookie(name){ 13setCookie(name, "moot") 14} 15function setStylesheet(title) { 16var i, cacheobj 17for(i=0; (cacheobj=document.getElementsByTagName("link")[i]); i++) { 18if(cacheobj.getAttribute("rel").indexOf("style") != -1 && cacheobj.getAttribute("title")) { 19cacheobj.disabled = true 20if(cacheobj.getAttribute("title") == title) 21cacheobj.disabled = false 22} 23} 24} 25function chooseStyle(styletitle, days){ 26if (document.getElementById){ 27setStylesheet(styletitle) 28setCookie("mysheet", styletitle, days) 29} 30} 31function indicateSelected(element){ 32var i 33if (selectedtitle!=null && (element.type==undefined || element.type=="select-one")){ 34var element=(element.type=="select-one") ? element.options : element 35for (i=0; i<element.length; i++){ 36if (element[i].value==selectedtitle){ 37if (element[i].tagName=="OPTION") 38element[i].selected=true 39else 40element[i].checked=true 41break 42} 43} 44} 45} 46var selectedtitle=getCookie("mysheet") 47if (document.getElementById && selectedtitle!=null) //load user chosen style sheet if there is one stored 48setStylesheet(selectedtitle)
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.