From 07ba0f2e3c41b6e21dfa04b7a495031b5f79d46e Mon Sep 17 00:00:00 2001
From: Jeremy Dormitzer <jeremy.dormitzer@gmail.com>
Date: Sun, 5 Aug 2018 12:33:08 -0400
Subject: [PATCH] Fix code font size

---
 style.css | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/style.css b/style.css
index 4fbc62a..8ea5956 100644
--- a/style.css
+++ b/style.css
@@ -425,8 +425,7 @@ address {
 pre {
 	background: #eee;
 	font-family: "Input Mono", "Courier 10 Pitch", Courier, monospace;
-	font-size: 15px;
-	font-size: 0.9375rem;
+	font-size: 16px;
 	line-height: 1.6;
 	margin-bottom: 1.6em;
 	max-width: 100%;
@@ -434,10 +433,13 @@ pre {
 	padding: 1.6em;
 }
 
+pre code {
+    font-size: 16px;
+}
+
 code, kbd, tt, var {
 	font-family: "Input Mono", Monaco, Consolas, "Andale Mono", "DejaVu Sans Mono", monospace;
-	font-size: 15px;
-	font-size: 0.9375rem;
+	font-size: 0.8375rem;
 }
 
 samp {