diff --git a/mozilla/firefox/userContent.css b/mozilla/firefox/userContent.css new file mode 100644 index 0000000..932f3e5 --- /dev/null +++ b/mozilla/firefox/userContent.css @@ -0,0 +1,14 @@ +/* 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; + } + */ +}