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
Record
also 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 =