fix julia-mono bold

This commit is contained in:
Koen Lagveen 2023-07-05 17:35:13 +02:00
parent b4b7ea6da9
commit 9b10ec8452
2 changed files with 4 additions and 4 deletions

View File

@ -225,7 +225,7 @@
.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', bold, normal, 'julia-mono/julia-mono-bold.ttf' );
.font ( 'julia-mono', normal, normal, 'julia-mono/julia-mono.ttf' );
.font ( 'latin-modern', normal, italic, 'latin-modern/latin-modern-italic.woff' );

View File

@ -960,9 +960,9 @@
}
@font-face {
font-family: 'julia-mono';
font-weight: normal;
font-style: italic;
src: url('../resources/julia-mono/julia-mono-italic.ttf');
font-weight: bold;
font-style: normal;
src: url('../resources/julia-mono/julia-mono-bold.ttf');
}
@font-face {
font-family: 'julia-mono';