Lines Matching refs:PRE
10 // 3) mark the <pre> and <code> tags in your source with class=prettyprint.
1218 // int pre blocks for some strange reason.
1220 // of <pre> tags when their innerHTML is assigned.
1235 /** find all the < pre > and < code > tags in the DOM with class=prettyprint and
1241 document.getElementsByTagName('pre'),
1265 if ((p.tagName == 'pre' || p.tagName == 'code' ||
1290 // we need to change the tag to a <pre> since <xmp>s do not allow
1293 var pre = document.createElement('PRE');
1297 pre.setAttribute(a.name, a.value);
1300 pre.innerHTML = newContent;
1302 cs.parentNode.replaceChild(pre, cs);
