From 131261c783e9a2f9a6342f7e341d5c263ce33c2d Mon Sep 17 00:00:00 2001
From: Preston Pan <ret2pop@nullring.xyz>
Date: Tue, 31 Mar 2026 02:23:16 -0700
Subject: fix website build; add new content

---
 style.scss | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

(limited to 'style.scss')

diff --git a/style.scss b/style.scss
index a4c39ed..9204cd3 100644
--- a/style.scss
+++ b/style.scss
@@ -472,10 +472,24 @@ h1.title {
 }
 
 .theorem { margin-bottom: 20px; &::before { content: "Theorem.\00a0\00a0"; } }
+
 .proof {
+    position: relative;
     margin-bottom: 30px;
-    &::after { content: "\25FC"; float: right; }
-    &::before { content: 'Proof.\00a0\00a0'; }
+    padding-right: 1.2em;
+    &::before {
+        content: "Proof.\00a0\00a0";
+    }
+    &::after {
+        content: "";
+        position: absolute;
+        right: 0;
+        bottom: 0.2em;
+        width: 0.65em;
+        height: 0.65em;
+        border: 0.08em solid currentColor;
+        box-sizing: border-box;
+    }
 }
 
 .links-page > ul {
-- 
cgit v1.3