From 165da5be0c8bd775156d6d1ac1fceb7eb325cbd1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alex=20=E2=9A=A1?=
 <1678423+Alex-CodeLab@users.noreply.github.com>
Date: Fri, 3 Jan 2020 15:42:29 +0100
Subject: [PATCH] Documentation: make codeblocks easier to read. (#6896)

---
 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;
 }
+