From b9e2fd258953c0208db8bfc0b8385755326054a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Abigail=20Magalh=C3=A3es?= <me@abby.how>
Date: Thu, 7 Oct 2021 20:58:02 -0300
Subject: [PATCH] =?UTF-8?q?hotfix:=20pre=20=E2=86=92=20span?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 example/example.html | 4 ++--
 src/Main.hs          | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/example/example.html b/example/example.html
index 61ebba5..cba68d9 100644
--- a/example/example.html
+++ b/example/example.html
@@ -1,9 +1,9 @@
 <p>This is a literate Agda file.</p>
 <p>Here’s some inline code:</p>
 <ul class="incremental">
-<li>This is a link to the record below: <pre class="Agda"><a href="example.html#224" class="Record">Record</a></pre></li>
+<li>This is a link to the record below: <span class="Agda"><a href="example.html#224" class="Record">Record</a></span></li>
 <li>This is not: <code>Record</code></li>
-<li>This is a link with alternate text: <pre class="Agda"><a href="example.html#224" class="Record">also a link</a></pre></li>
+<li>This is a link with alternate text: <span class="Agda"><a href="example.html#224" class="Record">also a link</a></span></li>
 </ul>
 <pre class="Agda"><a id="217" class="Keyword">record</a> <a id="Record"></a><a id="224" href="example.html#224" class="Record">Record</a> <a id="231" class="Symbol">:</a> <a id="233" class="PrimitiveType">Set</a> <a id="237" class="Keyword">where</a>
   <a id="245" class="Keyword">constructor</a> <a id="hey-look"></a><a id="257" href="example.html#257" class="InductiveConstructor">hey-look</a>
diff --git a/src/Main.hs b/src/Main.hs
index 349248e..c89b492 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -45,11 +45,11 @@ link _ x = x
 
 renderReference :: Reference -> Text -> Text
 renderReference (Reference href cls) t =
-  renderTags [ TagOpen "pre" [("class", "Agda")]
+  renderTags [ TagOpen "span" [("class", "Agda")]
              , TagOpen "a" [("href", href), ("class", cls)]
              , TagText t
              , TagClose "a"
-             , TagClose "pre"
+             , TagClose "span"
              ]
 
 data Reference =