mirror of
https://gitea.blesmrt.net/mikaela/gist.git
synced 2024-12-18 16:22:30 +01:00
change-fonts.user.css: variables may be more effective if they are actually used
This commit is contained in:
parent
79d4a1c445
commit
4efa34eb99
@ -2,7 +2,7 @@
|
||||
@name Change Fonts
|
||||
@updateURL https://gitea.blesmrt.net/mikaela/gist/raw/branch/master/usercss/change-fonts.user.css
|
||||
@namespace eu.aminda
|
||||
@version 2024.22.0
|
||||
@version 2024.22.1
|
||||
@var select FontSet "Font Set" {
|
||||
"Serif": "Liberation Serif, Tinos, Times New Roman, serif",
|
||||
"Sans Serif": "Liberation Sans, Arimo, Arial, sans-serif"
|
||||
@ -11,7 +11,7 @@
|
||||
|
||||
/* Either the Serif or Sans-Serif specified above. */
|
||||
* {
|
||||
font-family: FontSet !important;
|
||||
font-family: var(FontSet) !important;
|
||||
}
|
||||
|
||||
/* Code blocks preferably use monospace font, which is specified here then. */
|
||||
|
Loading…
Reference in New Issue
Block a user