222:807345aad816
Anton Shestakov <av6@dwimlabs.net>, Sun, 16 Jan 2022 23:54:58 +0300
gtk3: turns out there WAS a setting for this
previous change 155:289a0f5bf9f9

.mozilla/firefox/profile/chrome/userContent.css

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
@-moz-document domain(marc.info) {
    pre {
        font-size: 10pt !important;
        font-weight: 300 !important;
        background: #f0f1f2;
    }
}