From 291c08fba19b2c7a02c70cc68102281fba79e031 Mon Sep 17 00:00:00 2001
From: douden <49307154+douden@users.noreply.github.com>
Date: Tue, 24 Dec 2024 15:31:20 +0100
Subject: [PATCH] Added darkmode

---
 book/_ext/tudelftstyle.css | 44 +++++++++++++++++++++++++++++++++-----
 1 file changed, 39 insertions(+), 5 deletions(-)

diff --git a/book/_ext/tudelftstyle.css b/book/_ext/tudelftstyle.css
index 767ec2f..aa36268 100644
--- a/book/_ext/tudelftstyle.css
+++ b/book/_ext/tudelftstyle.css
@@ -64,6 +64,45 @@ body.custom-style-enabled .logo__title {
     --darkBlue-mid: #0C234025;
   }
 
+  html[data-theme="dark"] {
+    --raspberry: #ffa7f5;
+    --raspberry-min: #ffa7f503;
+    --raspberry-mid: #ffa7f520;
+    --yellow: #a43a00;
+    --yellow-min: #a43a0005;
+    --yellow-mid: #a43a0020;
+    --darkGreen: #00bd87;
+    --darkGreen-min: #00bd8710;
+    --darkGreen-mid: #00bd8725;
+    --blue: #09baff;
+    --blue-min: #09baff10;
+    --blue-mid: #09baff25;
+    --orange: #ff581f;
+    --orange-min: #ff581f10;
+    --orange-mid: #ff581f25;
+    --cyan: #00a7ef;
+    --cyan-min: #00a7ef10;
+    --cyan-mid: #00a7ef25;
+    --gray: #828282;
+    --gray-min: #82828205;
+    --gray-mid: #82828220;
+    --purple: #ffa7ff;
+    --purple-min: #ffa7ff05;
+    --purple-mid: #ffa7ff20;
+    --pink: #ff47ab;
+    --pink-min: #ff47ab10;
+    --pink-mid: #ff47ab25;
+    --red: #ff7161;
+    --red-min: #ff716110;
+    --red-mid: #ff716125;
+    --green: #008000;
+    --green-min: #00800010;
+    --green-mid: #00800025;
+    --darkBlue: #c1e3ff;
+    --darkBlue-min: #c1e3ff10;
+    --darkBlue-mid: #c1e3ff25;
+  }
+
   /* BLOCK COMPONENTS (admonitions, proofs, exercises) */
 
   /* Admonition */
@@ -78,11 +117,6 @@ body.custom-style-enabled .logo__title {
     color: var(--cyan);
   }
 
-  /* Proof */
-  body.custom-style-enabled div.admonition.proof {
-    background-color:#FFF;
-  }
-  
   /* Grasple */
   body.custom-style-enabled div.grasple p.admonition-title::after {
     content: "\f12e";