Merge commit '5be51ac3db225d5df501ed1fa1499c41d97dbf65'

This commit is contained in:
Bjørn Erik Pedersen
2025-04-10 13:04:51 +02:00
987 changed files with 12379 additions and 14083 deletions

View File

@@ -76,8 +76,9 @@
--color-green-950: #051410;
/* Fonts. */
--font-sans: "Mulish", ui-sans-serif, system-ui, sans-serif,
"Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
--font-sans:
"Mulish", ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji",
"Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
}
html {
@@ -121,3 +122,10 @@ body {
.algolia-docsearch-suggestion--highlight {
color: var(--color-primary);
}
/* Footnotes */
.footnote-backref,
.footnote-ref {
text-decoration: none;
padding-left: .0625em;
}