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

2025-07-30 12:24:09 +00:00 · 2022-01-03 23:28:11 +01:00
parent 9a0341adde
commit 3ae07503f2
1 changed files with 6 additions and 0 deletions
--- 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;
+}