syntaxhighlighter: don't pad empty lines with spaces

Rather than padding empty lines with single spaces, we can use CSS to
ensure correct alignment. This avoids copy/pasting code including
invented spaces on empty lines.

Author: haarg

root/static/js/syntaxhighlighter.mjs

@@ -147,6 +147,14 @@ Renderer.prototype.getHtml = function(...args) {
     return html;
 };
 
+const wrapLine = Renderer.prototype.wrapLine;
+Renderer.prototype.wrapLine = function(lineIndex, lineNumber, lineHtml) {
+    if (lineHtml == ' ') {
+        lineHtml = '';
+    }
+    return wrapLine.call(this, lineIndex, lineNumber, lineHtml);
+};
+
 // on pod pages, set the language to perl if no other language is set
 CODE: for (const code of document.querySelectorAll(".pod pre > code")) {
     for (const className of code.classList) {

root/static/less/syntaxhighlighter-theme.less

@@ -22,6 +22,7 @@
 
     .line {
         white-space: pre;
+        min-height: 1.2em;
     }
 
     // main table and columns