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 @@
This is a literate Agda file.
Here’s some inline code:
Record
Recordalso a link
record Record : Set where
constructor hey-look
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 =