doc css styling: font size slightly bigger for code as well

irmen · Jan 3, 2022 · 3ae0750 · 3ae0750
1 parent 9a0341a
commit 3ae0750
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/source/_static/css/customize.css b/docs/source/_static/css/customize.css
@@ -20,3 +20,9 @@ html {
 p {
     font-size: 13pt;
 }
+
+.rst-content .linenodiv pre,
+.rst-content div[class^=highlight] pre,
+.rst-content pre.literal-block {
+    font-size: 11pt;
+}