1/* Shrinks logo and header on scroll 2window.onscroll = function() {scrollFunction()}; 3 4function scrollFunction() { 5if(width > 500) { 6 7 if (document.body.scrollTop > 80 || document.documentElement.scrollTop > 80) { 8 document.getElementById("header").style.padding = "10px"; 9 document.getElementById("logo").style.position = "relative"; 10 document.getElementById("logo").style.width = "100px"; 11 document.getElementById("logo").style.padding = "10px"; 12 } else { 13 document.getElementById("header").style.padding = "50px"; 14 document.getElementById("logo").style.position = "absolute"; 15 document.getElementById("logo").style.width = "266px"; 16 document.getElementById("logo").style.padding = "0px"; 17 } 18} 19} 20 21*/ 22/* fixed side menu 23window.onscroll = function() {scrollFunction()}; 24 25function scrollFunction() { 26 if(width > 500) { 27 28 if (document.body.scrollTop > 300 || document.documentElement.scrollTop > 300) { 29 30 31 document.getElementById("services_col").style.position = "fixed"; 32 document.getElementById("services_col").style.top = "0"; 33 34 } else { 35 document.getElementById("services_col").style.position = "relative"; 36 37 } 38 } 39} 40*/ 41/* Makes dropdown clickable. Give each dropdown a different script 42var width = document.documentElement.clientWidth; 43 44jQuery('.services .dropdown-toggle').click(function() { 45 if(width > 500) { 46 var location = "services"; 47 window.location.href = location; 48 return false; 49 } 50}); 51*/
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.