From e7dd5245c35d2794f59bcf700a6a92009ec8c478 Mon Sep 17 00:00:00 2001
From: Preston Pan <preston@nullring.xyz>
Date: Fri, 28 Jun 2024 21:30:42 -0700
Subject: stuff

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

(limited to 'style.css')

diff --git a/style.css b/style.css
index 8ec0f03..23a7aab 100644
--- a/style.css
+++ b/style.css
@@ -219,6 +219,32 @@ pre.src-stem:before {
   -webkit-columns: 2;
   -moz-columns: 2;
 }
+.theorem {
+display:block;
+margin-left:10px;
+margin-bottom:20px;
+font-style:normal;
+}
+.theorem:before{
+content:"Theorem.\00a0\00a0";
+float:left;
+font-weight:bold;
+}
+.proof{
+display:block;
+margin-left:10px;
+margin-bottom:30px;
+font-style:normal;
+}
+.proof:before{
+content:'Proof.\00a0\00a0';
+float:left;
+font-weight:bold;
+}
+.proof:after{
+content:"\25FC";
+float:right;
+}
 /* On smaller screens, where height is less than 450px, change the style of the sidebar (less padding and a smaller font size) */
 @media screen and (max-height: 450px) {
   .sidenav {
-- 
cgit