chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e639517
)
firefox/chrome-userContent.css: Force specific fonts.
author
Mark Wooding
<mdw@distorted.org.uk>
Tue, 2 Jul 2024 12:31:25 +0000
(13:31 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Tue, 2 Jul 2024 12:31:25 +0000
(13:31 +0100)
For some reason, Firefox doesn't respect the generic names in Reader
mode.
firefox/chrome-userContent.css
patch
|
blob
|
blame
|
history
diff --git
a/firefox/chrome-userContent.css
b/firefox/chrome-userContent.css
index a1bc6bda58bf79ecfc25e9e06a2bdee2f8d7279c..94300ac01da9c79763a7683e0bb45d3380ff9fa7 100644
(file)
--- a/
firefox/chrome-userContent.css
+++ b/
firefox/chrome-userContent.css
@@
-5,7
+5,7
@@
* that's less nice.
*/
body.serif, body.serif .remove-button
- { font-family:
serif
!important; }
+ { font-family:
TeX Gyre Pagella
!important; }
/* Fix the background colour. */
body.dark { background-color: #111 !important; }
@@
-28,7
+28,7
@@
border-radius: 0 !important;
}
- h1, h2, h3, h4 { font-family:
sans-serif
; !important; }
+ h1, h2, h3, h4 { font-family:
Nimbus Sans L
; !important; }
}
@-moz-document url-prefix("about:blank") {