fix style finally

1 files changed, 2 insertions, 1 deletions

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);