in src/main/resources/js/prettify.js [454:494]
function va(b, a, c) {
var d = [], g = 0, e = null, h = null, f = 0, i = 0, j = ia(8);
function o(k) {
if (k > g) {
if (e && e !== h) {
d.push("</span>");
e = null
}
if (!e && h) {
e = h;
d.push('<span class="', e, '">')
}
var l = E(j(b.substring(g, k))).replace(/(\r\n?|\n| ) /g,
"$1 ").replace(/\r\n?|\n/g, "<br />");
d.push(l);
g = k
}
}
while (true) {
var m;
m = f < a.length ? (i < c.length ? a[f] <= c[i] : true) : false;
if (m) {
o(a[f]);
if (e) {
d.push("</span>");
e = null
}
d.push(a[f + 1]);
f += 2
} else if (i < c.length) {
o(c[i]);
h = c[i + 1];
i += 2
} else
break
}
o(b.length);
if (e)
d.push("</span>");
return d.join("")
}