From edf3f911dc8794beb7d51a258d6c478b5abb05d8 Mon Sep 17 00:00:00 2001
From: alex <alex.sd3@gmail.com>
Date: Thu, 29 Aug 2019 13:34:17 +0200
Subject: [PATCH] Documentation: make codeblocks easier to read.

---
 docs_theme/css/default.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs_theme/css/default.css b/docs_theme/css/default.css
index bb17a3a11..e9d7f23bf 100644
--- a/docs_theme/css/default.css
+++ b/docs_theme/css/default.css
@@ -74,6 +74,12 @@ pre {
   white-space: pre;
 }
 
+code, pre {
+    font-family: Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,sans-serif;
+    font-size: 13px;
+}
+
+
 /* Preserve the spacing of the navbar across different screen sizes. */
 .navbar-inner {
   /*padding: 5px 0;*/
@@ -432,3 +438,4 @@ ul.sponsor {
   margin: 0 !important;
   display: inline-block !important;
 }
+