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;
 }