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 8cb1db95a7..c14f727a59 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;
}
--
2.39.5