From ef89e98d0848cc00708329005d428a224afcc176 Mon Sep 17 00:00:00 2001
From: Fabien Freling <public@ffreling.com>
Date: Mon, 10 Jun 2019 21:51:04 +0200
Subject: [PATCH] Set font to 11pt

---
 css/default.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/default.css b/css/default.css
index bd22d3b..f9fd25a 100644
--- a/css/default.css
+++ b/css/default.css
@@ -9,7 +9,7 @@
 body {
     width: 800px;
     font-family: "code_new_romanregular", Monospace, sans-serif;
-    font-size: medium;
+    font-size: 11pt;
     margin: 0px auto 0px auto;
 	background-color: #fdf6e3;
 	color: #586e75; /*base01*/