select better font fallbacks in the HTML documentation

cfillion · Oct 18, 2024 · 575d5d2 · 575d5d2
1 parent 6e10e46
commit 575d5d2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/genbinding.cpp b/tools/genbinding.cpp
@@ -1087,6 +1087,7 @@ static void humanBinding(std::ostream &stream)
 <head>
   <meta charset="utf-8"/>
   <title>ReaImGui Documentation</title>
+  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/build/web/hack-subset.css"/>
   <style>
   body {
     background-color: #0D0D0D;
@@ -1097,8 +1098,7 @@ static void humanBinding(std::ostream &stream)
     overflow-anchor: none;
   }
   body, pre, code {
-    font-family: ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas,
-                 Liberation Mono, monospace;
+    font-family: Menlo, "DejaVu Sans Mono", Hack, Consolas, monospace;
   }
   aside {
     background-color: #262626; /* Grey15 */