176:c55a72f7e47f
Anton Shestakov <av6@dwimlabs.net>, Fri, 22 Mar 2019 00:23:17 +0800
.bash_prompt: set terminal title on its own line
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;
    }
}