2017-01-26 15:06:40 +01:00
|
|
|
@font-face {
|
|
|
|
font-family: 'Roboto Mono';
|
2017-04-21 18:09:05 +02:00
|
|
|
src: local('Roboto Mono');
|
2017-01-26 15:06:40 +01:00
|
|
|
src: font-url('roboto-mono/robotomono-regular-webfont.eot');
|
|
|
|
src: font-url('roboto-mono/robotomono-regular-webfont.eot?#iefix') format('embedded-opentype'),
|
|
|
|
font-url('roboto-mono/robotomono-regular-webfont.woff2') format('woff2'),
|
|
|
|
font-url('roboto-mono/robotomono-regular-webfont.woff') format('woff'),
|
|
|
|
font-url('roboto-mono/robotomono-regular-webfont.ttf') format('truetype'),
|
|
|
|
font-url('roboto-mono/robotomono-regular-webfont.svg#roboto_monoregular') format('svg');
|
|
|
|
font-weight: 400;
|
|
|
|
font-style: normal;
|
|
|
|
}
|