--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.mozilla/firefox/profile/chrome/userContent.css	Tue Sep 04 13:59:03 2018 +0800
@@ -0,0 +1,7 @@
+@-moz-document domain(marc.info) {
+    pre {
+        font-size: 10pt !important;
+        font-weight: 300 !important;
+        background: #f0f1f2;
+    }
+}