From ced9e0872f01b3f05f622fb0d379e4cd0aa4469a Mon Sep 17 00:00:00 2001
From: Yuval Tassa <tassa@google.com>
Date: Sun, 30 Apr 2023 19:29:28 -0700
Subject: [PATCH] Load DM Mono font in CSS file

PiperOrigin-RevId: 528360725
Change-Id: I32cde6dc6c9cdc5dbd8ba1d8d22586027b0476f0
---
 doc/css/theme_overrides.css | 1 +
 1 file changed, 1 insertion(+)

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 {