From c879bc9db14b63c40045f7df796c5ef1d7279170 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Wed, 29 Sep 2021 23:24:16 +0200
Subject: [PATCH] theme: adjust code font-size for printing #93

---
 static/css/print.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/static/css/print.css b/static/css/print.css
index 3af3c104af..83800081e9 100644
--- a/static/css/print.css
+++ b/static/css/print.css
@@ -5,6 +5,9 @@ html,
 body #body{
     font-size: 8.9pt;
 }
+pre code {
+    font-size: 8.3pt;
+}
 code.copy-to-clipboard-inline {
     border-bottom-right-radius: 2px;
     border-top-right-radius: 2px;