@-moz-document url-prefix(x-jsd:) {
source-listing {
font-size: small !important;
}
}