From bad9c24657f17212c507e71f8c8b38542e0a52c6 Mon Sep 17 00:00:00 2001
From: Thies Lennart Alff <lennart.alff@gmail.com>
Date: Wed, 8 Mar 2023 22:17:16 +0100
Subject: [PATCH] updated css

---
 static/css/fonts.css |  2 +-
 static/css/style.css | 31 +++++++++++++++++++++++++------
 2 files changed, 26 insertions(+), 7 deletions(-)

diff --git a/static/css/fonts.css b/static/css/fonts.css
index 73e353f..ebd3915 100644
--- a/static/css/fonts.css
+++ b/static/css/fonts.css
@@ -1,5 +1,5 @@
 body {
-  font-family: "Liberation Sans", "Noto Sans", Arial, sans-serif;
+  font-family: "Lato", "Liberation Sans", "Noto Sans", Arial, sans-serif;
 }
 code {
   font-family: "DejaVu Sans Mono", monospace;
diff --git a/static/css/style.css b/static/css/style.css
index 5124f2d..b31131b 100644
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -5,6 +5,10 @@ body {
   line-height: 1.5;
 }
 
+h2, h3, h4, h5 {
+  border-bottom: 1px solid;
+}
+
 /* header and footer areas */
 .menu {
   padding: 0;
@@ -14,10 +18,16 @@ body {
   display: inline-block;
 }
 
-.article-meta, .menu a {
+/* .article-meta, .menu a {
   text-decoration: none;
   background: #eee;
+  border-radius: 5px;
+} */
+
+.menu a {
   padding: 5px;
+  text-decoration: none;
+  background: #eee;
   border-radius: 5px;
 }
 
@@ -44,19 +54,28 @@ pre {
   box-shadow: 5px 5px 5px #eee;
   padding: 1em;
   overflow-x: auto;
+  background-color: #f9f2f4
 }
 
 code {
   background: #afb8c133;
-  padding-left: 5px;
-  padding-right: 5px;
-  padding-top: 3px;
-  padding-bottom: 3px;
-  border-radius: 6px
+  padding-left: 0.4em;
+  padding-right: 0.4em;
+  padding-top: 0.2em;
+  padding-bottom: 0.2em;
+  border-radius: 6px;
+  color: #c7254e;
+}
+
+code.has-jax {
+  padding: unset;
+  color: unset;
 }
 
 pre code {
   background: none;
+  padding: 0px;
+  color: unset;
 }
 
 /* misc elements */