Preserve whitespace in src blocks.

2023-12-21 12:04:29 -05:00
parent 65ed754bfe
commit b538750287
2 changed files with 5 additions and 1 deletions
--- a/default_environment/stylesheet/main.css
+++ b/default_environment/stylesheet/main.css
@@ -76,6 +76,10 @@ body {

        .src_body {
            margin: 0.5rem;
+
+            .src_line {
+                white-space: pre-wrap;
+            }
        }
    }