Replace mono fonts

Author: vladmoroz

docs/public/fonts/paper-mono.woff2

@@ -23,81 +23,18 @@
 }
 
 @font-face {
-  font-family: 'SF Mono';
+  font-family: 'Paper Mono';
   font-weight: normal;
-  src: local('SFMono-Regular'), local('ui-monospace');
-  /* Match 14px Unica to 13.25px SF Mono */
-  size-adjust: calc(100% * 13.25 / 14);
-}
-
-@font-face {
-  font-family: 'SF Mono';
-  font-weight: bold;
-  src: local('SFMono-Bold'), local('ui-monospace');
-  /* Match 14px Unica to 13.25px SF Mono */
-  size-adjust: calc(100% * 13.25 / 14);
-}
-
-@font-face {
-  font-family: Menlo;
-  font-weight: normal;
-  src: local('Menlo-Regular');
-  /* Match other monospace fonts to SF Mono in width */
-  size-adjust: calc(100% * 13.5 / 14);
-  ascent-override: 95%;
-}
-
-@font-face {
-  font-family: Menlo;
-  font-weight: bold;
-  src: local('Menlo-Bold');
-  /* Match other monospace fonts to SF Mono in width */
-  size-adjust: calc(100% * 13.5 / 14);
-  ascent-override: 95%;
-}
-
-@font-face {
-  font-family: Consolas;
-  font-weight: normal;
-  src: local('Consolas');
-  /* Match other monospace fonts to SF Mono in width */
-  size-adjust: calc(100% * 14.75 / 14);
-  ascent-override: 85%;
-}
-
-@font-face {
-  font-family: Consolas;
-  font-weight: bold;
-  src: local('Consolas-Bold');
-  /* Match other monospace fonts to SF Mono in width */
-  size-adjust: calc(100% * 14.75 / 14);
-  ascent-override: 85%;
-}
-
-@font-face {
-  font-family: 'DejaVu Sans Mono';
-  font-weight: normal;
-  src: local('DejaVuSansMono');
+  src: url('/fonts/paper-mono.woff2') format('woff2');
+  /* Reduce the size to balance with the sans-serif fonts */
   size-adjust: calc(100% * 13.5 / 14);
 }
 
 @font-face {
-  font-family: 'DejaVu Sans Mono';
+  font-family: 'Paper Mono';
   font-weight: bold;
-  src: local('DejaVuSansMono-Bold');
+  src: url('/fonts/paper-mono.woff2') format('woff2');
+  font-variation-settings: 'wght' 650;
+  /* Reduce the size to balance with the sans-serif fonts */
   size-adjust: calc(100% * 13.5 / 14);
 }
-
-@font-face {
-  font-family: Inconsolata;
-  font-weight: normal;
-  src: local('Inconsolata-Regular');
-  size-adjust: calc(100% * 15.75 / 14);
-}
-
-@font-face {
-  font-family: Inconsolata;
-  font-weight: bold;
-  src: local('Inconsolata-Bold');
-  size-adjust: calc(100% * 15.75 / 14);
-}

docs/src/css/fonts/index.css

@@ -102,7 +102,7 @@
   --color-red-800: var(--color-red);
 
   /* Typography */
-  --font-mono: 'SF Mono', 'Menlo', 'DejaVu Sans Mono', 'Consolas', 'Inconsolata', monospace;
+  --font-mono: 'Paper Mono', monospace;
   --font-sans: 'Die Grotesk A', system-ui, sans-serif;
   --font-sans-b: 'Die Grotesk B', system-ui, sans-serif;
   --font-serif: Georgia, 'Times New Roman', Times, 'Noto Serif', 'DejaVu Serif', serif;

docs/src/css/index.css

@@ -9,8 +9,7 @@
     --font-sans-b:
       'die grotesk b', system-ui, -apple-system, BlinkMacSystemFont, 'Helvetica Neue', arial,
       sans-serif;
-    --font-mono:
-      'Söhne Mono', 'SF Mono', Menlo, 'DejaVu Sans Mono', Consolas, Inconsolata, monospace;
+    --font-mono: 'Paper Mono', monospace;
     --font-serif: Georgia, 'Times New Roman', Times, 'Noto Serif', 'DejaVu Serif', serif;
 
     /* Font size */