gist/web-browsers/usercss/change-fonts.user.css

41 lines
1.1 KiB
CSS
Raw Normal View History

/* ==UserStyle==
2024-05-31 20:59:41 +02:00
@name System Fonts
2024-05-30 15:03:19 +02:00
@updateURL https://gitea.blesmrt.net/mikaela/gist/raw/branch/master/web-browsers/usercss/change-fonts.user.css
@namespace eu.aminda
2024-05-31 20:59:41 +02:00
@version 2024.22.7
@var select FontSet "Preferred font set" {
"System (no fallback)": "system-ui",
"Serif": "ui-serif, system-ui, Liberation Serif, Tinos, Times New Roman, serif",
"Sans Serif": "ui-sans-serif, system-ui, Liberation Sans, Arimo, Arial, sans-serif"
}
==/UserStyle== */
:root {
--a-monospace-fonts: "ui-monospace, Liberation Mono", "Cousine",
"Courier New", monospace;
}
/* Use the variable from above. */
* {
font-family: var(--FontSet) !important;
}
@font-face {
font-family: var(--FontSet) !important;
}
/* Code blocks preferably use monospace font, which is specified here then. */
code,
pre {
font-family: var(--a-monospace-fonts) !important;
@font-face {
2024-05-30 18:42:23 +02:00
font-family: var(--a-monospace-fonts) !important;
}
}
2024-05-30 17:23:40 +02:00
/* I have Firefox always underlining links and not seeing it on Android etc.
bothers me.*/
a {
text-decoration: underline !important;
}