1 files changed, 5 insertions, 0 deletions

diff --git a/documentation/sphinx-static/theme_overrides.css b/documentation/sphinx-static/theme_overrides.css
index 9685bca338..ffa91884a7 100644
--- a/documentation/sphinx-static/theme_overrides.css
+++ b/documentation/sphinx-static/theme_overrides.css
@@ -74,6 +74,11 @@ h6 {
   font-weight: bold;
 }
 
+.pre {
+  font-size: medium;
+  font-family: Courier, monospace;
+}
+
 .wy-nav-content a {
   text-decoration: underline;
   color: #444;