From 0a5c23079d241cf71e85a092e9252f38bcd5df7f Mon Sep 17 00:00:00 2001
From: Nuno Sempere <nuno.semperelh@protonmail.com>
Date: Sun, 9 Jul 2023 02:12:16 +0000
Subject: [PATCH] Increase fontsize on mobile. Explicitly use Garamond

---
 pub/style/style.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index 49af88f..a992f70 100755
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -51,7 +51,7 @@ body {
   flex-wrap: wrap; 
   /* font-family: 'Source Serif Pro'; */
   /* font-family: 'Times New Roman'; */
-  font-family: 'serif';
+  font-family: "Garamond", 'serif';
   /* font-family: 'charter'; */
   font-size: 25px;
   background-color: #fcfcfc;
@@ -70,7 +70,7 @@ header {
 }
 
 header h1 {
-  margin: 0.7em 0 1.2em 0.7em;
+  margin: 1em 0 1em 0.7em;
   color:#333;
 }
 
@@ -383,6 +383,7 @@ img + em {
 @media screen and (max-width: 1500px) {
   body {
     display: block;
+    font-size: 40px;
   }
   .hidden-mobile {
     display: none;