Lines Matching refs:elt

86         var elt = document.getElementById(id);
87         if (elt.style.display == "none")
88             elt.style.display = "block";
90             elt.style.display = "none";
93   var elt = document.getElementById(id+"-expanded");
94   if (elt) elt.style.display = "block";
95   var elt = document.getElementById(id+"-expanded-linenums");
96   if (elt) elt.style.display = "block";
97   var elt = document.getElementById(id+"-collapsed");
98   if (elt) { elt.innerHTML = ""; elt.style.display = "none"; }
99   var elt = document.getElementById(id+"-collapsed-linenums");
100   if (elt) { elt.innerHTML = ""; elt.style.display = "none"; }
101   var elt = document.getElementById(id+"-toggle");
102   if (elt) { elt.innerHTML = "-"; }
106   var elt = document.getElementById(id+"-expanded");
107   if (elt) elt.style.display = "none";
108   var elt = document.getElementById(id+"-expanded-linenums");
109   if (elt) elt.style.display = "none";
110   var elt = document.getElementById(id+"-collapsed-linenums");
111   if (elt) { elt.innerHTML = "<br />"; elt.style.display="block"; }
112   var elt = document.getElementById(id+"-toggle");
113   if (elt) { elt.innerHTML = "+"; }
114   var elt = document.getElementById(id+"-collapsed");
115   if (elt) {
116     elt.style.display = "block";
118     var indent = elt.getAttribute("indent");
119     var pad = elt.getAttribute("pad");
127     elt.innerHTML = s;
132   elt = document.getElementById(id+"-toggle");
133   if (elt.innerHTML == "-")
141   var elt = document.getElementById(id+"-def");
142   if (elt) elt.className = "py-highlight-hdr";
143   var elt = document.getElementById(id+"-expanded");
144   if (elt) elt.className = "py-highlight";
145   var elt = document.getElementById(id+"-collapsed");
146   if (elt) elt.className = "py-highlight";
163     var elt = elts[i];
164     var split = elt.id.indexOf("-");
166       if (elt.id.substring(split, elt.id.length) == "-expanded")
167         if (num_lines(elt.innerHTML) > min_lines)
168           collapse(elt.id.substring(0, split));
203   var elt = document.getElementById(id);
207   if (elt.childNodes.length > 1) {
208     elt.removeChild(elt.childNodes.item(0));
250     elt.insertBefore(box1, elt.childNodes.item(0));