[mozilla] add a little Firefox devtools customization

2021-01-09 20:44:38 +02:00 · 2021-01-09 20:44:38 +02:00 · f0619a1699
parent e786ef6448
commit f0619a1699
1 changed files with 14 additions and 0 deletions
--- a/mozilla/firefox/userContent.css
+++ 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;
+  }
+  */
+}