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

42 lines
1.1 KiB
CSS
Raw Permalink Normal View History

2024-06-19 07:53:27 +02:00
/**
* ==UserStyle==
* }
* ==/UserStyle==
*
* @format
* @name System Fonts
* @updateURL https://gitea.blesmrt.net/mikaela/gist/raw/branch/master/web-browsers/usercss/change-fonts.user.css
* @namespace eu.aminda
* @version 2024.23.0
* @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"
*/
: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;
}