~james/core

core/web/src/fonts.css -rw-r--r-- 2.7 KiB
452f17b7 — james chore(import): snapshot james.dad.town/core at f70c71c7696a 14 hours ago 
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110

/* self-hosted fonts, served from /fonts (nix/pkgs/web-static-files.nix).
   shared with the docs site, which imports this file directly */

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSansVF.woff2") format("woff2-variations");
	font-weight: 300 800;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSans-GroteskLightItalic.woff2") format("woff2");
	font-weight: 300;
	font-style: italic;
	font-display: swap;
}

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSans-GroteskRegularItalic.woff2") format("woff2");
	font-weight: 420;
	font-style: italic;
	font-display: swap;
}

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSans-GroteskMediumItalic.woff2") format("woff2");
	font-weight: 500;
	font-style: italic;
	font-display: swap;
}

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSans-GroteskSemiboldItalic.woff2") format("woff2");
	font-weight: 600;
	font-style: italic;
	font-display: swap;
}

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSans-GroteskBoldItalic.woff2") format("woff2");
	font-weight: 700;
	font-style: italic;
	font-display: swap;
}

@font-face {
	font-family: "TimelessSans";
	src: url("/fonts/TimelessSans-GroteskBlackItalic.woff2") format("woff2");
	font-weight: 800;
	font-style: italic;
	font-display: swap;
}

/* local Arial (or its metric clones on linux) scaled to TimelessSans' width and
   vertical metrics, so the swap from fallback to webfont doesn't shift layout.
   values measured against Timeless 1.094 at wght 420 */
@font-face {
	font-family: "TimelessSans Fallback";
	src: local("Arial"), local("ArialMT"), local("Liberation Sans"), local("Arimo");
	size-adjust: 102.91%;
	ascent-override: 93.55%;
	descent-override: 24.14%;
	line-gap-override: 0%;
}

@font-face {
	font-family: "IBMPlexMono";
	src: url("/fonts/IBMPlexMono-Regular.woff2") format("woff2");
	font-weight: normal;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "IBMPlexMono";
	src: url("/fonts/IBMPlexMono-Italic.woff2") format("woff2");
	font-weight: normal;
	font-style: italic;
	font-display: swap;
}

@font-face {
	font-family: "IBMPlexMono";
	src: url("/fonts/IBMPlexMono-Medium.woff2") format("woff2");
	font-weight: 500;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "IBMPlexMono";
	src: url("/fonts/IBMPlexMono-Bold.woff2") format("woff2");
	font-weight: bold;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: "IBMPlexMono";
	src: url("/fonts/IBMPlexMono-BoldItalic.woff2") format("woff2");
	font-weight: bold;
	font-style: italic;
	font-display: swap;
}