Do not use Inter font for monospace

Inter doesn't have monospace fonts. Previously <pre> content font wrongly used Inter and sometimes broke formats badly.
bestpractical · Apr 5, 2024 · 18cf02a · 18cf02a
1 parent 1af5272
commit 18cf02a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/devel/third-party/bootstrap-4.6.1/bootstrap.scss b/devel/third-party/bootstrap-4.6.1/bootstrap.scss
@@ -1,5 +1,4 @@
 $font-family-sans-serif: 'Inter', sans-serif;
-$font-family-monospace: 'Inter', monospace;
 
 $input-border-color: #c0c7d1;
 $input-border-width: 1px;

diff --git a/share/static/css/elevator-light/bootstrap.css b/share/static/css/elevator-light/bootstrap.css
@@ -35,7 +35,7 @@
   --breakpoint-lg: 992px;
   --breakpoint-xl: 1200px;
   --font-family-sans-serif: "Inter", sans-serif;
-  --font-family-monospace: "Inter", monospace;
+  --font-family-monospace: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
 }
 
 *,
@@ -180,7 +180,7 @@ pre,
 code,
 kbd,
 samp {
-  font-family: "Inter", monospace;
+  font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
   font-size: 1em;
 }
 
@@ -10010,7 +10010,7 @@ button.bg-dark:focus {
 }
 
 .text-monospace {
-  font-family: "Inter", monospace !important;
+  font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace !important;
 }
 
 .text-justify {