From b45299bdc8eb3c10754fe8380c417ca9f9589c9f Mon Sep 17 00:00:00 2001
From: Preston Pan <ret2pop@gmail.com>
Date: Mon, 3 Feb 2025 16:26:41 -0800
Subject: Modularize configuration more

---
 style.css | 31 ++++++++++++++++++-------------
 1 file changed, 18 insertions(+), 13 deletions(-)

(limited to 'style.css')

diff --git a/style.css b/style.css
index 21639b4..9078304 100644
--- a/style.css
+++ b/style.css
@@ -219,29 +219,34 @@ pre.src-stem:before {
     -webkit-columns: 2;
     -moz-columns: 2;
 }
+
 .theorem {
     display:block;
     margin-left:10px;
     margin-bottom:20px;
     font-style:normal;
 }
-.theorem:before{
+
+.theorem:before {
     content:"Theorem.\00a0\00a0";
     float:left;
     font-weight:bold;
 }
-.proof{
+
+.proof {
     display:block;
     margin-left:10px;
     margin-bottom:30px;
     font-style:normal;
 }
-.proof:before{
+
+.proof:before {
     content:'Proof.\00a0\00a0';
     float:left;
     font-weight:bold;
 }
-.proof:after{
+
+.proof:after {
     content:"\25FC";
     float:right;
 }
@@ -256,18 +261,18 @@ blockquote {
     position: relative;
     background:#EDEDED;
 }
-blockquote::before{
-  font-family:Arial;
-  content: "\201C";
-  color:#78C0A8;
-  font-size:4em;
-  position: absolute;
-  left: 10px;
-  top:-10px;
+blockquote::before {
+    font-family:Arial;
+    content: "\201C";
+    color:#78C0A8;
+    font-size:4em;
+    position: absolute;
+    left: 10px;
+    top:-10px;
 }
 
 blockquote::after{
-  content: '';
+    content: '';
 }
 /* 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) {
-- 
cgit