Wrap lines in HTML.

2023-01-06 17:31:57 +01:00
parent ed894b8b16
commit 44c6f371a8
1 changed files with 1 additions and 1 deletions
@@ -70,7 +70,7 @@
      .input {
        font-family: monospace;
        font-size: 16px;
-        white-space: pre;
+        white-space: pre-wrap;
      }
    </style>
  </head>