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
@version 2024.23.0
2024-05-31 20:59:41 +02:00
@var select FontSet "Preferred font set" {
"System (no fallback)": "system-ui, emoji",
"Serif": "ui-serif, system-ui, Liberation Serif, Tinos, Times New Roman, serif, emoji",
"Sans Serif": "ui-sans-serif, system-ui, Liberation Sans, Arimo, Arial, sans-serif, emoji"
}
==/UserStyle== */
:root {
--a-monospace-fonts: "ui-monospace, Liberation Mono", "Cousine",
"Courier New", monospace, emoji;
}
/* 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;
}