From 04a52de159078d218a47753aa3d8c2401720126b Mon Sep 17 00:00:00 2001
From: Qais Patankar <qaisjp@gmail.com>
Date: Wed, 13 Nov 2019 04:37:03 +0000
Subject: [PATCH 1/2] Avoid line breaks in the middle of code

---
 _sass/agda.scss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_sass/agda.scss b/_sass/agda.scss
index cd680e0f..ec53fcc3 100644
--- a/_sass/agda.scss
+++ b/_sass/agda.scss
@@ -38,6 +38,7 @@ pre.highlight {
 }
 code {
     @include code-font;
+    white-space: nowrap;
 }
 
 /* Agda. */

From ddb9b75c16b9a9814910835b66b64a2a0710d5aa Mon Sep 17 00:00:00 2001
From: Qais Patankar <qaisjp@gmail.com>
Date: Wed, 13 Nov 2019 14:13:58 +0000
Subject: [PATCH 2/2] Fix white-space breaking for multiline code blocks

---
 _sass/agda.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_sass/agda.scss b/_sass/agda.scss
index ec53fcc3..6165a2b8 100644
--- a/_sass/agda.scss
+++ b/_sass/agda.scss
@@ -38,7 +38,7 @@ pre.highlight {
 }
 code {
     @include code-font;
-    white-space: nowrap;
+    white-space: pre;
 }
 
 /* Agda. */