Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
User styles for coding fonts on sites with lots of code
@-moz-document domain('github.com'), domain('gist.github.com') {
tt, code, pre, .file-data pre, textarea, .blob-line-code, .blob-code, .diff-line-code {
font-family: "Iosevka Term", "Iosevka", "Input Mono Condensed", "PragmataPro", "Ubuntu Mono", "Menlo";
font-weight: 400;
}
}
@-moz-document domain('gitlab.com') {
tt, code, pre, textarea, .code, .file-content.code pre code {
font-family: "Iosevka Term", "Iosevka", "Input Mono Condensed", "PragmataPro", "Ubuntu Mono", "Menlo";
font-weight: 400;
}
}
@-moz-document domain('bitbucket.org') {
tt, code, pre, textarea {
font-family: "Iosevka Term", "Iosevka", "Input Mono Condensed", "PragmataPro", "Ubuntu Mono", "Menlo" !important;
font-weight: 400;
}
}
@-moz-document domain('travis-ci.org') {
tt, code, pre, .log-body pre {
font-family: "Iosevka Term", "Iosevka", "Input Mono Condensed", "PragmataPro", "Ubuntu Mono", "Menlo";
font-weight: 400;
}
}
@-moz-document domain('www.stackage.org'), domain('hackage.haskell.org') {
tt, code, pre, pre * {
font-family: "Iosevka Term", "Iosevka", "Input Mono Condensed", "PragmataPro", "Ubuntu Mono", "Menlo" !important;;
font-weight: 400;
}
}
@purcell

This comment has been minimized.

Copy link
Owner Author

purcell commented Jul 22, 2017

I use these styles with the "Stylish" browser extension for Firefox and Chrome.

@redguardtoo

This comment has been minimized.

Copy link

redguardtoo commented Jul 23, 2017

Can you upload a screenshot?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.