aboutsummaryrefslogtreecommitdiff
path: root/style.css
diff options
context:
space:
mode:
authorPreston Pan <ret2pop@gmail.com>2025-02-03 16:26:41 -0800
committerPreston Pan <ret2pop@gmail.com>2025-02-03 16:26:41 -0800
commitb45299bdc8eb3c10754fe8380c417ca9f9589c9f (patch)
tree6312cfc8355a48265c1407c6068952e73bde79fc /style.css
parent66c78fdb55211cc071b87761635284f17b7c7c4c (diff)
Modularize configuration more
Diffstat (limited to 'style.css')
-rw-r--r--style.css31
1 files changed, 18 insertions, 13 deletions
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) {