add proggy vector

This commit is contained in:
Koen Lageveen 2019-01-20 12:14:12 +01:00
parent d880d37290
commit 33f799d4e1
4 changed files with 17 additions and 1 deletions

View File

@ -533,10 +533,19 @@
"name" : "Proggy Clean",
"author" : "Tristan Grimmer",
"year" : 2004,
"website" : "http://www.proggyfonts.net/",
"website" : "https://github.com/bluescan/proggyfonts/",
"ligatures" : false,
"style" : "sans",
"rendering" : "bitmap"
},{
"alias" : "proggy-vector",
"name" : "Proggy Vector",
"author" : "Tristan Grimmer",
"year" : 2019,
"website" : "https://github.com/bluescan/proggyfonts/",
"ligatures" : false,
"style" : "sans",
"rendering" : "vector"
},{
"alias" : "pt",
"name" : "PT Mono",

Binary file not shown.

View File

@ -199,6 +199,7 @@
.font ( 'profont', normal, normal, 'profont/profont.woff' );
.font ( 'proggy-clean', normal, normal, 'proggy-clean/proggy-clean.woff' );
.font ( 'proggy-vector', normal, normal, 'proggy-vector/proggy-vector.woff' );
.font ( 'pt', normal, normal, 'pt/pt.woff' );
.font ( 'pt', bold, normal, 'pt/pt-bold.woff' );

View File

@ -856,6 +856,12 @@
font-style: normal;
src: url('../resources/proggy-clean/proggy-clean.woff');
}
@font-face {
font-family: 'proggy-vector';
font-weight: normal;
font-style: normal;
src: url('../resources/proggy-vector/proggy-vector.woff');
}
@font-face {
font-family: 'pt';
font-weight: normal;