162:3a9410f18f71
Anton Shestakov <av6@dwimlabs.net>, Fri, 18 Jan 2019 20:41:51 +0800
.hgrc: more config knobs, less built-in extensions
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;
    }
}