1 2function createCookie(name,value,days) { 3 if (days) { 4 var date = new Date(); 5 date.setTime(date.getTime()+(days*24*60*60*1000)); 6 var expires = "; expires="+date.toGMTString(); 7 } 8 else var expires = ""; 9 document.cookie = name+"="+value+expires+"; path=/"; 10} 11 12function readCookie(name) { 13 var nameEQ = name + "="; 14 var ca = document.cookie.split(';'); 15 for(var i=0;i < ca.length;i++) { 16 var c = ca[i]; 17 while (c.charAt(0)==' ') c = c.substring(1,c.length); 18 if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length); 19 } 20 return null; 21} 22 23function eraseCookie(name) { 24 createCookie(name,"",-1); 25} 26 27function setTheDivStyle() { 28if(!readCookie('msgPrg')) { 29// if no cookie is found, display the layer and write a cookie 30document.getElementById("top_msg").style.display="block"; 31createCookie('msgPrg', 'msgPrg', 2); // set the lifetime of the cookie in days. 1 = 24 hours. is shown once per period. 32} 33else { 34//if cookie is found, hide the layer 35document.getElementById("top_msg").style.display="none"; 36} 37} 38 39function closetmess() { 40document.getElementById('top_msg').style.display="none"; 41} 42 43setTheDivStyle(); 44 45 46// + scroll hide top_mess 47var pct = document.querySelector(".page-content"); 48 pct.addEventListener('scroll', scrollhideTopmes); 49 50function scrollhideTopmes() 51{ 52 var tms = document.getElementById("top_msg"); 53 if (pct.scrollTop > 50) { 54 tms.classList.add("hidetm") 55 } else { 56 tms.classList.remove("hidetm"); 57 } 58} 59 60
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.