Lines Matching refs:hl
28947 hl = 0;
28959 html[hl++] = '<div><div class="sourceBox" style="left:';
28960 html[hl++] = 35 + 7*(lines+'').length;
28961 html[hl++] = 'px;"><pre class="sourceCode">';
28962 html[hl++] = escapeHTML(src);
28963 html[hl++] = '</pre></div><div class="lineNo">';
28968 html[hl++] = '<div line="';
28969 html[hl++] = l;
28970 html[hl++] = '">';
28971 html[hl++] = l;
28972 html[hl++] = '</div>';
28975 html[hl++] = '</div></div>';