diff --git a/monospace.user.css b/monospace.user.css index ca6cf61..cf39b53 100644 --- a/monospace.user.css +++ b/monospace.user.css @@ -2,7 +2,7 @@ @name Default monospace font @namespace git.mfocko.xyz/mfocko/usercss @updateURL https://git.mfocko.xyz/mfocko/usercss/raw/branch/main/monospace.user.css -@version 1.15.11 +@version 1.16.0 @description Replace default monospace font on majority of websites. @author mfocko @preprocessor stylus @@ -315,3 +315,10 @@ domain("dashboard.stg.packit.dev") { font-feature-settings: font-features; } } + +@-moz-document domain("editor.p5js.org") { + .CodeMirror pre.CodeMirror-line, .CodeMirror pre.CodeMirror-line-like { + font-family: monospace-font !important; + font-feature-settings: font-features; + } +}