doc: fix color of preformatted text in docs

1 files changed, 6 insertions, 0 deletions

diff --git a/doc/docinfo.html b/doc/docinfo.html
index aaf22026b..d96336ff7 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -21,6 +21,7 @@
     --header-details-color: #aaa;
     --border: 1px solid #444;
     --code-bg-color: #252525;
+    --pre-color: #ddd;
     --pre-bg-color: #202020;
     --pre-code-bg-color: #202020;
     --keyseq-color: #777;
@@ -52,6 +53,7 @@
     --border: 1px solid #dddddf;
     --code-bg-color: #f7f7f8;
     --keyseq-color: #333c;
+    --pre-color: #353535;
     --pre-bg-color: #f7f7f8;
     --pre-code-bg-color: #202020;
     --kbd-bg-color: #f7f7f7;
@@ -134,6 +136,10 @@ code, .prettyprint {
   color: var(--body-color);
 }
 
+pre {
+  color: var(--pre-color) !important;
+}
+
 pre > code {
   background-color: var(--pre-code-bg-color) !important;
 }