fix #146 update jetbrains mono

braver · Feb 25, 2024 · 24a27a5 · 24a27a5
1 parent 90b03ec
commit 24a27a5
Show file tree

Hide file tree

Showing 10 changed files with 8 additions and 8 deletions.
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff b/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff2 b/fonts/resources/jetbrainsmono/jetbrainsmono-bold-italic.woff2
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff b/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff2 b/fonts/resources/jetbrainsmono/jetbrainsmono-bold.woff2
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff b/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff2 b/fonts/resources/jetbrainsmono/jetbrainsmono-italic.woff2
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono.woff b/fonts/resources/jetbrainsmono/jetbrainsmono.woff
diff --git a/fonts/resources/jetbrainsmono/jetbrainsmono.woff2 b/fonts/resources/jetbrainsmono/jetbrainsmono.woff2
diff --git a/fonts/stylesheets/fonts.less b/fonts/stylesheets/fonts.less
@@ -253,10 +253,10 @@
 
 .font ( 'inconsolata-g', normal, normal, 'inconsolata-g/inconsolata-g.otf' );
 
-.font ( 'jetbrainsmono', normal, normal, 'jetbrainsmono/jetbrainsmono.woff');
-.font ( 'jetbrainsmono', normal, italic, 'jetbrainsmono/jetbrainsmono-italic.woff');
-.font ( 'jetbrainsmono', bold, normal, 'jetbrainsmono/jetbrainsmono-bold.woff');
-.font ( 'jetbrainsmono', bold, italic, 'jetbrainsmono/jetbrainsmono-bold-italic.woff');
+.font ( 'jetbrainsmono', normal, normal, 'jetbrainsmono/jetbrainsmono.woff2');
+.font ( 'jetbrainsmono', normal, italic, 'jetbrainsmono/jetbrainsmono-italic.woff2');
+.font ( 'jetbrainsmono', bold, normal, 'jetbrainsmono/jetbrainsmono-bold.woff2');
+.font ( 'jetbrainsmono', bold, italic, 'jetbrainsmono/jetbrainsmono-bold-italic.woff2');
 
 .font ( 'julia-mono', bold, normal, 'julia-mono/julia-mono-bold.ttf' );
 .font ( 'julia-mono', normal, normal, 'julia-mono/julia-mono.ttf' );

diff --git a/fonts/stylesheets/stylesheet.css b/fonts/stylesheets/stylesheet.css
@@ -1076,25 +1076,25 @@
   font-family: 'jetbrainsmono';
   font-weight: normal;
   font-style: normal;
-  src: url('../resources/jetbrainsmono/jetbrainsmono.woff');
+  src: url('../resources/jetbrainsmono/jetbrainsmono.woff2');
 }
 @font-face {
   font-family: 'jetbrainsmono';
   font-weight: normal;
   font-style: italic;
-  src: url('../resources/jetbrainsmono/jetbrainsmono-italic.woff');
+  src: url('../resources/jetbrainsmono/jetbrainsmono-italic.woff2');
 }
 @font-face {
   font-family: 'jetbrainsmono';
   font-weight: bold;
   font-style: normal;
-  src: url('../resources/jetbrainsmono/jetbrainsmono-bold.woff');
+  src: url('../resources/jetbrainsmono/jetbrainsmono-bold.woff2');
 }
 @font-face {
   font-family: 'jetbrainsmono';
   font-weight: bold;
   font-style: italic;
-  src: url('../resources/jetbrainsmono/jetbrainsmono-bold-italic.woff');
+  src: url('../resources/jetbrainsmono/jetbrainsmono-bold-italic.woff2');
 }
 @font-face {
   font-family: 'julia-mono';