From 775e3681b00c5029fdc8e9d2e39300b01aa7772c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Sch=C3=A4fer?= <j.wielicki@sotecware.net>
Date: Sat, 6 Apr 2019 09:42:34 +0200
Subject: [PATCH] Reduce code block font size

It is excessive both on mobile and non-mobile IMO.
---
 xmpp.v2.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/xmpp.v2.css b/xmpp.v2.css
index a84ab3a8..1c06866a 100644
--- a/xmpp.v2.css
+++ b/xmpp.v2.css
@@ -1472,6 +1472,10 @@
     ol.timeline > li.current {
         font-weight: bold;
     }
+
+    pre {
+        font-size: 87.5%;
+    }
 }
 
 @media screen and ( min-width: 75em ) {