From 55e29f03ac3b537843f85892a1323e1f46321675 Mon Sep 17 00:00:00 2001
From: Preston Pan <ret2pop@nullring.xyz>
Date: Sat, 11 Apr 2026 13:14:04 -0700
Subject: new articles and snippets

---
 style.scss | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

(limited to 'style.scss')

diff --git a/style.scss b/style.scss
index 9204cd3..fcce985 100644
--- a/style.scss
+++ b/style.scss
@@ -460,26 +460,35 @@ h1.title {
     vertical-align: middle
 }
 
-.theorem, .proof {
+.theorem,
+.lemma,
+.corollary,
+.definition {
     display: block;
     font-style: normal;
     background: color-mix(in srgb, var(--accent) 8%, transparent);
     border-left: 3px solid var(--accent);
     padding: 1rem 1.3rem;
     margin-top: 2rem;
+    margin-bottom: 20px;
     margin-left: 10px;
-    &::before { float: left; font-weight: bold; }
+
+    &::before {
+        float: left;
+        font-weight: bold;
+    }
 }
 
-.theorem { margin-bottom: 20px; &::before { content: "Theorem.\00a0\00a0"; } }
+.theorem::before { content: "Theorem.\00a0\00a0"; }
+.lemma::before     { content: "Lemma.\00a0\00a0"; }
+.corollary::before { content: "Corollary.\00a0\00a0"; }
+.corollary::before { content: "Definition.\00a0\00a0"; }
 
 .proof {
     position: relative;
     margin-bottom: 30px;
     padding-right: 1.2em;
-    &::before {
-        content: "Proof.\00a0\00a0";
-    }
+    &::before { content: "Proof.\00a0\00a0"; }
     &::after {
         content: "";
         position: absolute;
-- 
cgit v1.3