224:667352b3e8d2
Anton Shestakov <av6@dwimlabs.net>, Mon, 17 Jan 2022 00:16:53 +0300
gtk3: add more settings, move to etc/gtk-3.0
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;
    }
}