From 5cf16ae44efdc6d0db9797f00a2ff8aa744a7550 Mon Sep 17 00:00:00 2001
From: Will McGugan <willmcgugan@gmail.com>
Date: Sun, 28 Jun 2020 17:57:27 +0100
Subject: [PATCH] font size in docs

---
 docs/source/appendix/box.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/appendix/box.rst b/docs/source/appendix/box.rst
index 2853d17d..91789535 100644
--- a/docs/source/appendix/box.rst
+++ b/docs/source/appendix/box.rst
@@ -19,7 +19,7 @@ The following table is generated with this command::
 
 .. raw:: html
 
-    <pre style="font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace"><span style="color: #008000">╭──────────────────────────────────────────────────────────────────────────────╮</span>
+    <pre style="font-size:90%;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace"><span style="color: #008000">╭──────────────────────────────────────────────────────────────────────────────╮</span>
     <span style="color: #008000">│</span>                                <span style="color: #008000; font-weight: bold">Box Constants</span>                                 <span style="color: #008000">│
     ╰──────────────────────────────────────────────────────────────────────────────╯</span>