diff --git a/doc/css/theme_overrides.css b/doc/css/theme_overrides.css
index b472f044..9ff816dc 100644
--- a/doc/css/theme_overrides.css
+++ b/doc/css/theme_overrides.css
@@ -1,5 +1,6 @@
 @import url('https://fonts.googleapis.com/css2?family=DM+Sans:ital,wght@0,400;0,500;0,700;1,400;1,500;1,700&display=swap');
 @import url('https://fonts.googleapis.com/css2?family=Inconsolata:wdth,wght@110,500&display=swap');
+@import url('https://fonts.googleapis.com/css2?family=DM+Mono&display=swap');
 
 /* Font used for ``inline code``, should match body sans-serif. */
 code {