Merge pull request #438 from qaisjp/patch-1

Avoid line breaks in the middle of code
2020-01-21 17:05:14 +00:00 · 2020-01-21 17:05:14 +00:00 · d70f12a8aa
commit d70f12a8aa
parent 29dc9321d8 ddb9b75c16
1 changed files with 1 additions and 0 deletions
--- a/_sass/agda.scss
+++ b/_sass/agda.scss
@ -38,6 +38,7 @@ pre.highlight {
 }
 code {
    @include code-font;
+    white-space: pre;
 }

 /* Agda. */