add remainder of IBM Plex font family

tc39 · Jul 20, 2023 · 40cca61 · 40cca61
1 parent 010c14f
commit 40cca61
Show file tree

Hide file tree

Showing 10 changed files with 76 additions and 6 deletions.
diff --git a/css/elements.css b/css/elements.css
@@ -1,3 +1,4 @@
+/* https://fonts.googleapis.com/css2?family=IBM%20Plex%20Serif:ital,wght@0,400;0,700;1,400;1,700&display=swap */
 @font-face {
  font-family: 'IBM Plex Serif';
  font-style: normal;
@@ -27,6 +28,66 @@
  src: local(IBM Plex Serif Bold Italic), local(IBMPlexSerif-BoldItalic);
 }
 
+/* https://fonts.googleapis.com/css2?family=IBM%20Plex%20Sans:ital,wght@0,400;0,700;1,400;1,700&display=swap */
+@font-face {
+ font-family: 'IBM Plex Sans';
+ font-style: normal;
+ font-weight: 400;
+ font-display: swap;
+ src: local(IBM Plex Sans Regular), local(IBMPlexSans-Regular);
+}
+@font-face {
+ font-family: 'IBM Plex Sans';
+ font-style: normal;
+ font-weight: 700;
+ font-display: swap;
+ src: local(IBM Plex Sans Bold), local(IBMPlexSans-Bold);
+}
+@font-face {
+ font-family: 'IBM Plex Sans';
+ font-style: italic;
+ font-weight: 400;
+ font-display: swap;
+ src: local(IBM Plex Sans Italic), local(IBMPlexSans-Italic);
+}
+@font-face {
+ font-family: 'IBM Plex Sans';
+ font-style: italic;
+ font-weight: 700;
+ font-display: swap;
+ src: local(IBM Plex Sans Bold Italic), local(IBMPlexSans-BoldItalic);
+}
+
+/* https://fonts.googleapis.com/css2?family=IBM%20Plex%20Mono:ital,wght@0,400;0,700;1,400;1,700&display=swap */
+@font-face {
+ font-family: 'IBM Plex Mono';
+ font-style: normal;
+ font-weight: 400;
+ font-display: swap;
+ src: local(IBM Plex Mono Regular), local(IBMPlexMono-Regular);
+}
+@font-face {
+ font-family: 'IBM Plex Mono';
+ font-style: normal;
+ font-weight: 700;
+ font-display: swap;
+ src: local(IBM Plex Mono Bold), local(IBMPlexMono-Bold);
+}
+@font-face {
+ font-family: 'IBM Plex Mono';
+ font-style: italic;
+ font-weight: 400;
+ font-display: swap;
+ src: local(IBM Plex Mono Italic), local(IBMPlexMono-Italic);
+}
+@font-face {
+ font-family: 'IBM Plex Mono';
+ font-style: italic;
+ font-weight: 700;
+ font-display: swap;
+ src: local(IBM Plex Mono Bold Italic), local(IBMPlexMono-BoldItalic);
+}
+
 body {
  display: flex;
  word-wrap: break-word;
@@ -82,7 +143,7 @@ span.e-user-code::before {
  line-height: normal;
  vertical-align: middle;
  text-transform: uppercase;
- font-family: 'Comic Code', sans-serif;
+ font-family: IBM Plex Sans, sans-serif;
  font-weight: 900;
  font-size: x-small;
 }
@@ -105,7 +166,7 @@ span.e-user-code::before {
 
 code {
  font-weight: bold;
- font-family: 'Comic Code', Consolas, Monaco, monospace;
+ font-family: Comic Code, IBM Plex Mono, monospace;
  white-space: pre;
 }
 
@@ -170,7 +231,8 @@ var.referenced6 {
 }
 
 emu-const {
- font-family: sans-serif;
+ font-family: IBM Plex Sans, sans-serif;
+ font-size: 16px;
  border: 1px dotted #ce9447;
  border-left-width: 0;
  border-right-width: 0;
@@ -377,7 +439,7 @@ emu-rhs emu-nt {
 
 emu-t {
  display: inline-block;
- font-family: monospace;
+ font-family: IBM Plex Mono, monospace;
  font-weight: bold;
  white-space: nowrap;
  text-indent: 0;
@@ -412,7 +474,7 @@ emu-mods {
 emu-params,
 emu-opt {
  margin-right: 1ex;
- font-family: monospace;
+ font-family: IBM Plex Mono, monospace;
 }
 
 emu-params,
@@ -426,7 +488,7 @@ emu-opt {
 
 emu-gprose {
  font-size: 0.9em;
- font-family: Helvetica, Arial, sans-serif;
+ font-family: IBM Plex Sans, sans-serif;
 }
 
 emu-production emu-gprose {

diff --git a/fonts/IBMPlexMono-Bold.woff2 b/fonts/IBMPlexMono-Bold.woff2
diff --git a/fonts/IBMPlexMono-BoldItalic.woff2 b/fonts/IBMPlexMono-BoldItalic.woff2
diff --git a/fonts/IBMPlexMono-Italic.woff2 b/fonts/IBMPlexMono-Italic.woff2
diff --git a/fonts/IBMPlexMono-Regular.woff2 b/fonts/IBMPlexMono-Regular.woff2
diff --git a/fonts/IBMPlexSans-Bold.woff2 b/fonts/IBMPlexSans-Bold.woff2
diff --git a/fonts/IBMPlexSans-BoldItalic.woff2 b/fonts/IBMPlexSans-BoldItalic.woff2
diff --git a/fonts/IBMPlexSans-Italic.woff2 b/fonts/IBMPlexSans-Italic.woff2
diff --git a/fonts/IBMPlexSans-Regular.woff2 b/fonts/IBMPlexSans-Regular.woff2
diff --git a/src/Spec.ts b/src/Spec.ts
@@ -1219,6 +1219,14 @@ ${await utils.readFile(path.join(__dirname, '../js/multipage.js'))}
  ['IBMPlexSerif-Bold', 'IBMPlexSerif-Bold-SlashedZero.woff2'],
  ['IBMPlexSerif-Italic', 'IBMPlexSerif-Italic-SlashedZero.woff2'],
  ['IBMPlexSerif-BoldItalic', 'IBMPlexSerif-BoldItalic-SlashedZero.woff2'],
+ ['IBMPlexSans-Regular', 'IBMPlexSans-Regular.woff2'],
+ ['IBMPlexSans-Bold', 'IBMPlexSans-Bold.woff2'],
+ ['IBMPlexSans-Italic', 'IBMPlexSans-Italic.woff2'],
+ ['IBMPlexSans-BoldItalic', 'IBMPlexSans-BoldItalic.woff2'],
+ ['IBMPlexMono-Regular', 'IBMPlexMono-Regular.woff2'],
+ ['IBMPlexMono-Bold', 'IBMPlexMono-Bold.woff2'],
+ ['IBMPlexMono-Italic', 'IBMPlexMono-Italic.woff2'],
+ ['IBMPlexMono-BoldItalic', 'IBMPlexMono-BoldItalic.woff2'],
  ]);
 
  const FONT_FILE_CONTENTS = new Map(