From 985db4c313abddd2f41a9fadb6a045d06cbcf10a Mon Sep 17 00:00:00 2001 From: myfreeer Date: Mon, 7 Oct 2024 17:52:06 +0800 Subject: [PATCH] preprocess-css: update font-family names to match the website In this file, font-family uses names with spaces, but the website declares it without spaces, this would update the font-family names to match the website. Fixes https://github.com/p12tic/cppreference-doc/issues/138 --- preprocess-css.css | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/preprocess-css.css b/preprocess-css.css index 53547f25a..2e20f40e5 100644 --- a/preprocess-css.css +++ b/preprocess-css.css @@ -14,7 +14,7 @@ div#content { } html, body { - font-family: "DejaVu Sans", arial, sans-serif; + font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif; font-size: 1em; } @@ -31,21 +31,21 @@ pre, } .t-dcl-list-see-monospace > span { - font-family: "DejaVu Sans Mono", courier, monospace; + font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace; } .t-sb-list-ln-table tr > td:first-child { - font-family: "DejaVu Sans Mono", courier, monospace; + font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace; } .t-param-list-item > td:first-child { - font-family: "DejaVu Sans Mono", courier, monospace; + font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace; } .t-dcl-member-div > div:first-child { - font-family: "DejaVu Sans Mono", courier, monospace; + font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace; } .t-dcl-member-nobold-div > div:first-child { - font-family: "DejaVu Sans", arial, sans-serif; + font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif; }