From 7d8e231f816172966d7d53d718e0450dcb5e7e5c Mon Sep 17 00:00:00 2001
From: Liam O'Connor <me@liamoc.net>
Date: Mon, 12 May 2025 22:52:43 +1000
Subject: [PATCH] more style tweaks

---
 style.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/style.css b/style.css
index d7b53e8..d8f2c35 100644
--- a/style.css
+++ b/style.css
@@ -645,6 +645,10 @@ ol li ol li ol {
     margin-left: 20px;
     margin-bottom: 5px;
 }
+.constrainfigure {
+    text-align: center;
+    width: 65%;
+}
 .block[data-taxon="Example"]:hover {
     background-color: rgba(133, 217, 102, 0.19);
 }
@@ -657,6 +661,12 @@ ol li ol li ol {
 .block[data-taxon="Warning"] {
     background-color: rgba(255, 100, 0, 0.08);
 }
+.block[data-taxon="Counterexample"]:hover {
+    background-color: rgba(255, 100, 0, 0.16);
+}
+.block[data-taxon="Counterexample"] {
+    background-color: rgba(255, 100, 0, 0.08);
+}
 .block[data-taxon="Problem"]:hover {
     background-color: rgba(255, 100, 0, 0.16);
 }
-- 
2.51.2