💄 Use font Fira Code to fix display of Rich panels in docs in Windows (#1653)

diff --git a/docs/css/custom.css b/docs/css/custom.css
index 200ac45cd663247cd65e45174011328d0eeb41e4..7833d66fbe9eb9228bffd393dd59f879c6b3f30d 100644 (file)
--- a/docs/css/custom.css
+++ b/docs/css/custom.css
@@ -1,3 +1,11 @@
+/* Fira Code, including characters used by Rich output, like the "heavy right-pointing angle bracket ornament", not included in Google Fonts */
+@import url(https://cdn.jsdelivr.net/npm/firacode@6.2.0/distr/fira_code.css);
+
+/* Override default code font in Material for MkDocs to Fira Code */
+:root {
+    --md-code-font: "Fira Code", monospace;
+}
+
 .termynal-comment {
     color: #4a968f;
     font-style: italic;

diff --git a/docs/css/termynal.css b/docs/css/termynal.css
index 8534f910218908ce7c2ace4b94fdf7a36b1bfb57..a2564e2860a4b423dd9f5aead6123ac61c5571f4 100644 (file)
--- a/docs/css/termynal.css
+++ b/docs/css/termynal.css
@@ -20,7 +20,7 @@
     /* font-size: 18px; */
     font-size: 15px;
     /* font-family: 'Fira Mono', Consolas, Menlo, Monaco, 'Courier New', Courier, monospace; */
-    font-family: 'Roboto Mono', 'Fira Mono', Consolas, Menlo, Monaco, 'Courier New', Courier, monospace;
+    font-family: var(--md-code-font-family), 'Roboto Mono', 'Fira Mono', Consolas, Menlo, Monaco, 'Courier New', Courier, monospace;
     border-radius: 4px;
     padding: 75px 45px 35px;
     position: relative;