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] 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. */