From 96cf48fbf8daad0b63a85d45e8842591c7badaca Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Tue, 16 Jun 2020 22:47:00 +0200
Subject: [PATCH] Shrink code font size a little

---
 docs/source/_static/nature.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/_static/nature.css b/docs/source/_static/nature.css
index 9ba1f10af1..01a51db1a4 100644
--- a/docs/source/_static/nature.css
+++ b/docs/source/_static/nature.css
@@ -287,7 +287,7 @@ code {
     background-color: #ecf0f3;
     color: #6e0e0e;
     /* padding: 1px 2px; */
-    font-size: 1.1em;
+    font-size: 0.8em;
 	  font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
     font-weight: bold;
 }