From 27eea70404e670b35ccfe7cb9fba9c6b8ef5f65f Mon Sep 17 00:00:00 2001
From: Liam O'Connor <me@liamoc.net>
Date: Thu, 3 Apr 2025 17:16:51 +1100
Subject: [PATCH] theorem and proof colours

---
 style.css | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 0d5c112..84ed884 100644
--- a/style.css
+++ b/style.css
@@ -682,7 +682,18 @@ ol li ol li ol {
 .block[data-taxon="Construction"] {
     background-color: rgba(0, 100, 255, 0.04);
 }
-
+.block[data-taxon="Theorem"]:hover {
+    background-color: rgba(100, 100, 255, 0.16);
+}
+.block[data-taxon="Theorem"] {
+    background-color: rgba(100, 100, 255, 0.08);
+}
+.block[data-taxon="Proof"]:hover {
+    background-color: rgba(255, 255, 255, 0.32);
+}
+.block[data-taxon="Proof"] {
+    background-color: rgba(255, 255, 255, 0.64);
+}
 .block[data-taxon="Exercise"]:hover {
     background-color: rgba(255, 215, 45, 0.19);
 }
-- 
2.51.2