@-moz-document domain(marc.info) {
    pre {
        font-size: 10pt !important;
        font-weight: 300 !important;
        background: #f0f1f2;
    }
}