dotfiles/mozilla/firefox/userContent.css
2021-01-09 21:09:40 +02:00

14 lines
367 B
CSS

/* prettier-ignore */
@-moz-document url-prefix(chrome://devtools/content/), url(about:devtools-toolbox) {
:root {
--theme-body-font-size: 13px !important;
--theme-code-font-size: 13px !important;
--theme-code-line-height: calc(15 / 13) !important;
}
/*
:root[platform="linux"] {
--monospace-font-family: "Ubuntu Mono" !important;
}
*/
}