1
mirror of https://github.com/jakejarvis/jarv.is.git synced 2025-07-19 19:05:32 -04:00

switch to Roboto web font (#22)

for now, at least. tired of waiting on Chromium to fix system fonts on Catalina.... https://bugs.chromium.org/p/chromium/issues/detail?id=1005969

Roboto seems closest to San Francisco.
This commit is contained in:
2019-12-16 10:59:52 -05:00
committed by GitHub
parent 599400c51c
commit 87ea2db92f
24 changed files with 79 additions and 20 deletions

View File

@@ -11,3 +11,21 @@
// Return non-gradient linear-gradient():
@return linear-gradient($color-opaque, $color-opaque);
}
// Web fonts (see components/_webfonts.scss)
@mixin font-face($family, $src-local, $src-local-alt, $src,
$style: normal, $weight: normal,
$range: U+000-5FF, $display: swap) {
@font-face {
font-family: $family;
font-style: $style;
font-weight: $weight;
font-display: $display;
src: local('#{$src-local}'), local('#{$src-local-alt}'),
url('#{$src}.woff2') format('woff2'),
url('#{$src}.woff') format('woff');
// url('#{$src}.ttf') format('truetype'),
// url('#{$src}.eot') format('embedded-opentype');
unicode-range: $range;
}
}