Mirror
/
programmingfonts
mirror of https://github.com/braver/programmingfonts.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

lowercase font aliases

This commit is contained in:
Koen Lageveen 2019-01-22 18:34:00 +01:00
parent ae1c16e0cd
commit 7410b0a699
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
fonts.json
View File

@ -169,7 +169,7 @@
"style" : "serif",
"rendering" : "vector"
},{
"alias" : "DaddyTimeMono",
"alias" : "daddytimemono",
"name" : "DaddyTimeMono",
"author" : "Jason Stewart",
"year" : 2017,

2
fonts/stylesheets/fonts.less
View File

@ -61,7 +61,7 @@
.font ( 'cutive', normal, normal, 'cutive/cutive.ttf' );
.font ( 'cutive', normal, normal, 'cutive/cutive.ttf' );
.font ( 'DaddyTimeMono', normal, normal, 'daddytimemono/DaddyTimeMono.woff');
.font ( 'daddytimemono', normal, normal, 'daddytimemono/daddytimemono.woff');
.font ( 'dejavu', bold, italic, 'dejavu/dejavu-bold-italic.woff' );
.font ( 'dejavu', bold, normal, 'dejavu/dejavu-bold.woff' );

4
fonts/stylesheets/stylesheet.css
View File

@ -263,10 +263,10 @@
src: url('../resources/cutive/cutive.ttf');
}
@font-face {
font-family: 'DaddyTimeMono';
font-family: 'daddytimemono';
font-weight: normal;
font-style: normal;
src: url('../resources/daddytimemono/DaddyTimeMono.woff');
src: url('../resources/daddytimemono/daddytimemono.woff');
}
@font-face {
font-family: 'dejavu';