mirror of
https://github.com/jellyfin/jellyfin-web
synced 2025-03-30 19:56:21 +00:00
Merge pull request #2312 from jarnedemeulemeester/use-local-noto-sans
Use local version of Noto Sans if available
This commit is contained in:
commit
798df9b050
1 changed files with 4 additions and 1 deletions
|
@ -1,3 +1,6 @@
|
|||
// Map font weight numbers to names
|
||||
$weight-names: (100: "Thin", 200: "ExtraLight", 300: "Light", 400: "Regular", 500: "Medium", 600: "SemiBold", 700: "Bold", 800: "ExtraBold", 900: "Black");
|
||||
|
||||
// Mixin to help create the Noto Sans font-faces
|
||||
@mixin fontFace($family: "Noto Sans", $style: normal, $weight: 400, $url: null, $range: null) {
|
||||
@font-face {
|
||||
|
@ -5,7 +8,7 @@
|
|||
font-style: $style;
|
||||
font-display: swap;
|
||||
font-weight: $weight;
|
||||
src: url($url) format("woff2");
|
||||
src: local($family), local("#{$family} #{map-get($weight-names, $weight)}"), url($url) format("woff2");
|
||||
unicode-range: $range;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue