add: option to use inter font instead

This commit is contained in:
trisua 2025-08-30 21:35:07 -04:00
parent da58323ed8
commit 407155e6c4
5 changed files with 26 additions and 5 deletions

View file

@ -87,7 +87,8 @@
@font-face {
font-family: "Lexend";
src: url("/public/fonts/lexend_variable.woff2") format("woff2");
src: url("https://repodelivery.tetratto.com/fonts/lexend_variable.woff2")
format("woff2");
}
html,
@ -106,6 +107,14 @@ body {
overflow-x: hidden;
}
body.use_system_font,
html:has(body.use_system_font) {
font-family:
"Inter", "Poppins", "Roboto", ui-sans-serif, system-ui, sans-serif,
"Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol",
"Noto Color Emoji";
}
main {
width: 80ch;
margin: 0 auto;
@ -184,6 +193,13 @@ p {
margin-bottom: var(--pad-4);
}
p,
span:not(nav *):not(.dropdown *):not(a *):not(button *),
input,
textarea {
font-weight: 300;
}
.no_p_margin p:last-child {
margin-bottom: 0;
}

View file

@ -1809,6 +1809,11 @@
\"{{ profile.settings.large_text }}\",
\"checkbox\",
],
[
[\"use_system_font\", \"Always use system font instead\"],
\"{{ profile.settings.use_system_font }}\",
\"checkbox\",
],
[
[\"paged_timelines\", \"Make timelines paged instead of infinitely scrolled\"],
\"{{ profile.settings.paged_timelines }}\",

View file

@ -59,6 +59,7 @@
(text "{% block head %}{% endblock %}"))
(body
("class" "{% if user and user.settings.use_system_font -%} use_system_font {%- endif %}")
(div
("id" "page")
(text "{% if user and user.id == 0 -%}")