Add IBM Plex font

4 years ago · 8709ea7b58
parent 19c898e47d
commit 8709ea7b58
3 changed files with 7 additions and 0 deletions
--- a/customize.dist/fonts/IBMPlexMono-Medium.woff
+++ b/customize.dist/fonts/IBMPlexMono-Medium.woff
--- a/customize.dist/fonts/IBMPlexMono-Medium.woff2
+++ b/customize.dist/fonts/IBMPlexMono-Medium.woff2
--- a/customize.dist/src/less2/include/font.less
+++ b/customize.dist/src/less2/include/font.less
@ -8,6 +8,13 @@
    src: url("/customize/fonts/neuropolitical.ttf");
 }

+@font-face {
+    font-family: 'IBM Plex Mono';
+    font-style: normal;
+    font-weight: 500;
+    src: url("/customize/fonts/IBMPlexMono-Medium.woff2") format("woff2"), url("/customize/fonts/IBMPlexMono-Medium.woff") format("woff"); }
+
+
 // Fonts need to go on the global scope
@font-tools {
    font-family: CryptPadTools;