From 3c62a42d32b0a6bfa71e98a75bd741983131b181 Mon Sep 17 00:00:00 2001
From: Oliver Booth <me@olivr.me>
Date: Tue, 8 Aug 2023 02:11:12 +0100
Subject: [PATCH] fix: revert markdig escape for <mark> tags

---
 src/ts/app.ts | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/ts/app.ts b/src/ts/app.ts
index 32ce1bd..150ec4b 100644
--- a/src/ts/app.ts
+++ b/src/ts/app.ts
@@ -1,12 +1,19 @@
-declare const bootstrap: any;
+declare const bootstrap: any;
 declare const katex: any;
 
 (() => {
     document.querySelectorAll("pre code").forEach((block) => {
-        const content = block.textContent;
+        let content = block.textContent;
         if (content.split("\n").length > 1) {
             block.parentElement.classList.add("line-numbers");
         }
+
+        content = block.innerHTML;
+        // @ts-ignore
+        content = content.replaceAll("&lt;mark&gt;", "<mark>");
+        // @ts-ignore
+        content = content.replaceAll("&lt;/mark&gt;", "</mark>");
+        block.innerHTML = content;
     });
 
     document.querySelectorAll("img[title]").forEach((img) => {