my page
ollie.earth
move the font sourcing into index.html to avoid a round trip
`html -> css -> font` vs `html -> font`
+18
-9
+18
src/page.gleam
+18
src/page.gleam
···
60
60
],
61
61
"",
62
62
),
63
+
font(),
63
64
theme.style_tag(
64
65
theme.default_theme()
65
66
|> theme.set(theme.Background, "light-dark(#f9f6f1, #09090b)")
···
219
220
]),
220
221
]),
221
222
])
223
+
}
224
+
225
+
fn font() -> Element(Nil) {
226
+
html.style(
227
+
[attribute.type_("text/css")],
228
+
"
229
+
@font-face {
230
+
font-family: \"Papernotes\";
231
+
font-display: swap;
232
+
src: url('/fonts/Papernotes.woff2') format(\"woff2\");
233
+
}
234
+
235
+
* {
236
+
font-family: \"Papernotes\" !important;
237
+
}
238
+
",
239
+
)
222
240
}
223
241
224
242
type Size {
-9
static/style.css
-9
static/style.css
···
1
-
@font-face {
2
-
font-family: "Papernotes";
3
-
font-display: swap;
4
-
src: url('/fonts/Papernotes.woff2') format("woff2");
5
-
}
6
-
7
-
* {
8
-
font-family: "Papernotes" !important;
9
-
}
10
1
11
2
/* hover colors using `data-hover-color` and `data-hover-background` attributes */
12
3
a:hover {