From 8e7c5fb32f4ccafee26982abfd3506f545b711c7 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Fri, 10 May 2024 10:20:49 -0500
Subject: Update styling

---
 css/main.css | 57 ++++++++++++++++++++++++++++++++++++++++++++-------------
 1 file changed, 44 insertions(+), 13 deletions(-)

(limited to 'css')

diff --git a/css/main.css b/css/main.css
index 0227b37..ad8e39a 100644
--- a/css/main.css
+++ b/css/main.css
@@ -10,7 +10,7 @@
 
 code {
   font-family: "Noto Sans Mono", monospace;
-  font-size: 14px;
+  font-size: 12px;
 }
 
 .date {
@@ -34,6 +34,11 @@ code {
   }
 }
 
+.intro h2 {
+    font-size: 14px;
+    margin-bottom: 0;
+}
+
 .link {
   color: black;
 }
@@ -74,19 +79,20 @@ body {
   padding: 0;
   margin: 0;
   overflow: hidden;
-  font-family: "Times New Roman", "Liberation Serif", serif;
-  font-size: 16px;
+  font-family: sans;
+  font-size: 12px;
   font-weight: 400;
-  line-height: 1.8;
+  line-height: 1.5;
 }
 
-h1 {
-  font-family: "Times New Roman", Serif;
+.content h1 {
+  font-family: sans;
   font-weight: 700;
-  font-size: 20px;
-  margin-top: 3rem;
+  font-size: 16px;
+  margin-bottom: 0px;
+  padding-top: 2rem;
   line-height: 1.5;
-  border-bottom: 1px solid;
+  border-top: 1px solid;
   display: flex;
 }
 
@@ -96,11 +102,36 @@ hr {
   color: #ffff00;
 }
 
-h2 {
-  font-family: "Times New Roman", Serif;
-  font-weight: 500;
-  font-size: 24px;
+.content h2 {
+  font-family: sans;
+  font-weight: 700;
+  font-size: 14px;
+  line-height: 1.5;
+
+  margin-bottom: 0;
+}
+.content h3 {
+  font-family: sans;
+  font-weight: 700;
+  font-size: 14px;
+  line-height: 1.5;
+
+  margin-bottom: 0;
+}
+.content h4 {
+  font-family: sans;
+  font-weight: 700;
+  font-size: 14px;
   line-height: 1.5;
 
   margin-bottom: 0;
 }
+.content p {
+  margin-bottom: 4px;
+  margin-top: 4px;
+}
+
+.content li {
+  margin-top: 4px;
+  margin-bottom: 4px
+}
-- 
cgit v1.2.3