upgrade jetbrains mono

This commit is contained in:
Koen Lageveen 2020-12-04 22:22:23 +01:00
parent cc3454241c
commit dcd35dca72
10 changed files with 8 additions and 8 deletions

Binary file not shown.

Binary file not shown.

View File

@ -176,10 +176,10 @@
.font ( 'inconsolata-g', normal, normal, 'inconsolata-g/inconsolata-g.otf' );
.font ( 'jetbrainsmono', normal, normal, 'jetbrainsmono/jetbrainsmono-regular.ttf');
.font ( 'jetbrainsmono', normal, italic, 'jetbrainsmono/jetbrainsmono-italic.ttf');
.font ( 'jetbrainsmono', bold, normal, 'jetbrainsmono/jetbrainsmono-bold.ttf');
.font ( 'jetbrainsmono', bold, italic, 'jetbrainsmono/jetbrainsmono-bold-italic.ttf');
.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 ( 'julia-mono', normal, italic, 'julia-mono/julia-mono-italic.ttf' );
.font ( 'julia-mono', normal, normal, 'julia-mono/julia-mono.ttf' );

View File

@ -740,25 +740,25 @@
font-family: 'jetbrainsmono';
font-weight: normal;
font-style: normal;
src: url('../resources/jetbrainsmono/jetbrainsmono-regular.ttf');
src: url('../resources/jetbrainsmono/jetbrainsmono.woff');
}
@font-face {
font-family: 'jetbrainsmono';
font-weight: normal;
font-style: italic;
src: url('../resources/jetbrainsmono/jetbrainsmono-italic.ttf');
src: url('../resources/jetbrainsmono/jetbrainsmono-italic.woff');
}
@font-face {
font-family: 'jetbrainsmono';
font-weight: bold;
font-style: normal;
src: url('../resources/jetbrainsmono/jetbrainsmono-bold.ttf');
src: url('../resources/jetbrainsmono/jetbrainsmono-bold.woff');
}
@font-face {
font-family: 'jetbrainsmono';
font-weight: bold;
font-style: italic;
src: url('../resources/jetbrainsmono/jetbrainsmono-bold-italic.ttf');
src: url('../resources/jetbrainsmono/jetbrainsmono-bold-italic.woff');
}
@font-face {
font-family: 'julia-mono';