From 67eb189a3b5d75ce7c5e780f3f635bb4227433b7 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Tue, 13 Jun 2023 19:20:57 +0200
Subject: [PATCH] added syntax highlighting

---
 web/_layouts/blog.html | 8 ++++++++
 web/style/dark.css     | 4 ----
 web/style/style.css    | 4 ++++
 3 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/web/_layouts/blog.html b/web/_layouts/blog.html
index 41f6841..f3b4918 100644
--- a/web/_layouts/blog.html
+++ b/web/_layouts/blog.html
@@ -3,6 +3,14 @@ layout: default
 nav: blognav.html
 ---
 
+<script>
+    let style = darkTheme ? "monokai" : "default";
+    $("head").append($("<link/>", {
+        rel: "stylesheet",
+        href: `https://cdn.jsdelivr.net/gh/richleland/pygments-css@master/${style}.css`
+    }));
+</script>
+
 <style>
     h1 .anchor-heading, h2 .anchor-heading, h3 .anchor-heading, h4 .anchor-heading, h5 .anchor-heading, h6 .anchor-heading {
         visibility: hidden;
diff --git a/web/style/dark.css b/web/style/dark.css
index dea2294..636c1ad 100644
--- a/web/style/dark.css
+++ b/web/style/dark.css
@@ -6,7 +6,3 @@ body {
 .text-muted {
     color: #929aa0 !important;
 }
-
-pre {
-    color: #9ca6b0;
-}
diff --git a/web/style/style.css b/web/style/style.css
index 7d1bf98..c7b38a0 100644
--- a/web/style/style.css
+++ b/web/style/style.css
@@ -11,6 +11,10 @@ h1, h2, h3, h4, h5, h6, .nav-item {
     font-family: Cadman, Lato, sans-serif;
 }
 
+pre.highlight {
+    padding: 10px;
+}
+
 .navbar-container {
     max-width: 850px;
 }