Change docs preferred monospace font to Inconsolata

PiperOrigin-RevId: 521425957
Change-Id: Ie3014b924fbf711ce643f1e555aa723b85383023

doc/conf.py

@@ -101,8 +101,10 @@ SHARED_CSS_VARIABLES = {
     'sidebar-item-font-size': '115%',
 }
 
+# font-stack--monospace used in code blocks, Inconsolata fits in 100 chars.
 html_theme_options = {
     'light_css_variables': {
+        'font-stack--monospace': 'Inconsolata,Consolas,ui-monospace,monospace',
         'at-color': '#bc103e',
         'at-val-color': '#bc103e',
         'body-color': '#14234b',
@@ -144,7 +146,6 @@ pygments_dark_style = 'monokai'
 html_static_path = [
     '_static',
     'css',
-    'favicons',
 ]
 html_css_files = [
     'theme_overrides.css',

doc/css/theme_overrides.css

@@ -1,4 +1,10 @@
 @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');
+
+/* Font used for ``inline code``, should match body sans-serif. */
+code {
+  font-family: 'DM Mono', monospace;
+}
 
 /* Disable scroll on anchor. */
 html {