From 801c00d90673acd8426348cac8f6e5caecfb836d Mon Sep 17 00:00:00 2001 From: Hypolite Petovan 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