From 801c00d90673acd8426348cac8f6e5caecfb836d Mon Sep 17 00:00:00 2001
From: Hypolite Petovan <mrpetovan@gmail.com>
Date: Sun, 21 Jan 2018 08:50:29 -0500
Subject: [PATCH] Bump code font-size to .85em (85%)

---
 view/global.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/view/global.css b/view/global.css
index 8cb1db95a..c14f727a5 100644
--- a/view/global.css
+++ b/view/global.css
@@ -242,7 +242,7 @@ code {
   background-color: #eee;
   color: #666;
   padding: 1em;
-  font-size: 0.8em;
+  font-size: 0.85em;
   font-family: monospace;
 }
 key {
@@ -250,7 +250,7 @@ key {
   background-color: #eee;
   color: #666;
   padding: 0.2em;
-  font-size: 0.8em;
+  font-size: 0.85em;
   font-family: monospace;
 }