summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/CMakeLists.txt2
-rw-r--r--doc/docinfo.html7
2 files changed, 8 insertions, 1 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 7a4fa1291..9e0f320b1 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -22,7 +22,7 @@ if(ENABLE_MAN OR ENABLE_DOC)
find_package(Asciidoctor)
if(ASCIIDOCTOR_FOUND)
# common asciidoctor arguments
- set(ASCIIDOCTOR_ARGS -a experimental -a reproducible -a "prewrap!" -a icons=font -a revnumber="${VERSION}" -a sectanchors -a source-highlighter=pygments -a pygments-style=native)
+ set(ASCIIDOCTOR_ARGS -a experimental -a reproducible -a "prewrap!" -a "webfonts!" -a icons=font -a revnumber="${VERSION}" -a sectanchors -a source-highlighter=pygments -a pygments-style=native)
# sed arguments used to replace links in ChangeLog and release notes
set(SED_LINKS_ARGS
diff --git a/doc/docinfo.html b/doc/docinfo.html
index d6c8dc824..2fc163218 100644
--- a/doc/docinfo.html
+++ b/doc/docinfo.html
@@ -11,6 +11,7 @@
:root {
--body-bg-color: #1a1a1a;
--body-color: #ddd;
+ --body-font: system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans","Liberation Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";
--link-color: #8aceff;
--table-thead-tfoot: #252525;
--th-color: #fff;
@@ -39,6 +40,7 @@
:root {
--body-bg-color: ##fff;
--body-color: #353535;
+ --body-font: system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans","Liberation Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";
--link-color: #1d4b8f;
--table-thead-tfoot: #f7f8f7;
--th-color: #000;
@@ -65,6 +67,7 @@
body {
background-color: var(--body-bg-color);
color: var(--body-color);
+ font-family: var(--body-font);
}
h1 {
@@ -75,6 +78,10 @@ h2, h3, h4, h5, h6 {
color: var(--color-header2) !important;
}
+h1, h2, h3, #toctitle, .sidebarblock > .content > .title, h4, h5, h6 {
+ font-family: var(--body-font);
+}
+
a:link, a:visited, #header .details span.email a {
color: var(--link-color);
}