From c14ef78dce285fe5e22c5f20c4e7f437680ad69a Mon Sep 17 00:00:00 2001
From: Preston Pan <ret2pop@nullring.xyz>
Date: Sat, 11 Apr 2026 13:45:42 -0700
Subject: fix style finally

---
 style.scss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/style.scss b/style.scss
index 2756da1..467af9d 100644
--- a/style.scss
+++ b/style.scss
@@ -463,7 +463,8 @@ h1.title {
 .theorem,
 .lemma,
 .corollary,
-.definition {
+.definition,
+.proof {
     display: block;
     font-style: normal;
     background: color-mix(in srgb, var(--accent) 8%, transparent);
-- 
cgit v1.3