added the font

2023-11-08 16:42:55 +01:00
parent 6a2f4fc6a8
commit e507e45c6b
4 changed files with 25 additions and 7 deletions
--- a/styles/style.css
+++ b/styles/style.css
@@ -1,3 +1,6 @@
+html {
+	font-size: 62.5%;
+}
 body {
 	/*
 	*/
@@ -10,11 +13,6 @@ body * {
 script, style {
 	display: none;
 }
-p, pre {
-	line-height: 0.8;
-	font-size: 12px;
-	font-family: monospace;
-}
 pre {
 	margin: 10px 0px;
 }