summaryrefslogtreecommitdiff
path: root/doc/docinfo.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/docinfo.html')
-rw-r--r--doc/docinfo.html7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/docinfo.html b/doc/docinfo.html
index 2be23cfaa..aaf22026b 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -32,6 +32,7 @@
--icon-warning-color: #f39c12;
--icon-caution-color: #bf3400;
--icon-important-color: #f44336;
+ --mark-bg-color: #007;
}
}
@@ -61,6 +62,7 @@
--icon-warning-color: #bf6900;
--icon-caution-color: #ff0000;
--icon-important-color: #bf0000;
+ --mark-bg-color: #9df;
}
}
@@ -180,6 +182,11 @@ kbd {
border-left: var(--border);
}
+mark {
+ background-color: var(--mark-bg-color);
+ color: var(--body-color);
+}
+
/* syntax highlighting tuning */
pre.pygments .tok-cp {