189:56c8e03f9679
Anton Shestakov <av6@dwimlabs.net>, Fri, 10 Apr 2020 22:02:01 +0800
terminalrc: current settings (mostly from Misc section), also use system font
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;
    }
}