in src/main/resources/js/prettify.js [456:471]
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
}
}