fix #146 update jetbrains mono

This commit is contained in:
Koen Lagveen 2024-02-25 17:35:08 +01:00
parent 90b03eceee
commit 24a27a5f5e
10 changed files with 8 additions and 8 deletions

Binary file not shown.

Binary file not shown.

View File

@ -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' );

View File

@ -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';