diff --git a/files/stylus.json b/files/stylus.json index 5986ed0..6b12ef0 100644 --- a/files/stylus.json +++ b/files/stylus.json @@ -113,7 +113,7 @@ "sections": [ { "code": ":root {\n --monospace-font: monospace;\n}\npre,\n code,\n kbd,\n var,\n samp,\n tt,\n textarea {\n font-family: var(--monospace-font) !important;\n }", - "start": 1489, + "start": 1503, "domains": [ "codewars.com", "kurzy.kpi.fei.tuke.sk", @@ -135,75 +135,83 @@ "sentry.io", "app.element.io" ], - "regexps": [".*fi\\.muni\\.cz/pb071/.*", ".*fi\\.muni\\.cz/~xfocko/.*"] + "regexps": [ + "https://(www\\.)fi\\.muni\\.cz/pb071/.*", + ".*fi\\.muni\\.cz/~xfocko/.*" + ] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }", - "start": 1663, + "start": 1677, "domains": ["codewars.com"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n* {\n font-family: var(--monospace-font) !important;\n }", - "start": 1873, + "start": 1887, "regexps": [".*fi\\.muni\\.cz/~kontr/logs/.*"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.mw-geshi,\n .t-lc,\n #wpTextbox1,\n .t-dsc-member-div > div:nth-child(1) {\n font-family: var(--monospace-font) !important;\n }", - "start": 1992, + "start": 2006, "domains": ["en.cppreference.com"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n*[ style *='monospace'] {\n font-family: var(--monospace-font) !important;\n }", - "start": 2184, + "start": 2198, "domains": ["hackerrank.com"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.ace_editor,\n div#output-stdout,\n div#output-stderr {\n font-family: var(--monospace-font) !important;\n }", - "start": 2324, + "start": 2338, "domains": ["play.rust-lang.org"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.contentContainer .description dl dd,\n .contentContainer .details dl dd,\n .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }", - "start": 2495, + "start": 2509, "domains": ["docs.oracle.com"] }, { "code": ":root {\n --monospace-font: monospace;\n}\nbody,\n code,\n pre,\n #chat .msg[data-type=\"monospace_block\"] .text,\n .irc-monospace,\n textarea#user-specified-css-input {\n font-family: var(--monospace-font);\n }", - "start": 2750, + "start": 2764, "domains": ["lounge.mfocko.xyz", "lounge.fi.muni.cz"] }, { "code": ":root {\n --monospace-font: monospace;\n}\nbody {\n font-family: var(--monospace-font);\n }", - "start": 2987, + "start": 3001, "domains": ["adventofcode.com"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }", - "start": 3121, + "start": 3135, "domains": ["pagure.io", "src.fedoraproject.org"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.css-1ubm0bb-Value,\n .container__MmrB .testcase-editor__3Tbb,\n .testcase-table-re,\n .testcase-table-wa,\n .ace_editor,\n .css-2usu9f-Error {\n font-family: var(--monospace-font) !important;\n }", - "start": 3247, + "start": 3261, "domains": ["leetcode.com"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.traceback ol.context > li,\n .css-w0gxse .e1qdl66w1 {\n font-family: var(--monospace-font) !important;\n }", - "start": 3506, + "start": 3520, "domains": ["sentry.io"] }, { "code": ":root {\n --monospace-font: monospace;\n}\nbody,\n .mx_EventTile_content .markdown-body code,\n .mx_EventTile_content .markdown-body pre {\n font-family: var(--monospace-font) !important;\n }", - "start": 3673, + "start": 3687, "domains": ["app.element.io"] }, { "code": ":root {\n --monospace-font: monospace;\n}\n.ace_editor {\n font-family: var(--monospace-font) !important;\n }", - "start": 3881, + "start": 3895, "domains": ["overleaf.com"] + }, + { + "code": ":root {\n --monospace-font: monospace;\n}\n* {\n font-feature-settings: 'liga', 'calt';\n }", + "start": 4032, + "regexps": [".*fi\\.muni\\.cz/~xfocko/.*"] } ], - "sourceCode": "/* ==UserStyle==\n@name pre,code,kbd,var,samp\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Replaces default monospace font on majority of websites\n@author mfocko \n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"Hack Nerd Font\",\n \"Hasklug Nerd Font\",\n \"Inconsolata Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SauceCodePro Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"codewars.com\"),\ndomain(\"kurzy.kpi.fei.tuke.sk\"),\ndomain(\"doc.rust-lang.org\"),\nregexp(\".*fi\\\\.muni\\\\.cz/pb071/.*\"),\nregexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\"),\ndomain(\"softwarefactory-project.io\"),\ndomain(\"stackoverflow.com\"),\ndomain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\"),\ndomain(\"docs.oracle.com\"),\ndomain(\"docs.rs\"),\ndomain(\"livebook.manning.com\"),\ndomain(\"adventofcode.com\"),\ndomain(\"wiki.gentoo.org\"),\ndomain(\"is.muni.cz\"),\ndomain(\"codeforces.com\"),\ndomain(\"leetcode.com\"),\ndomain(\"hackerrank.com\"),\ndomain(\"en.cppreference.com\"),\ndomain(\"sentry.io\"),\ndomain(\"app.element.io\") {\n pre,\n code,\n kbd,\n var,\n samp,\n tt,\n textarea {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"codewars.com\") {\n .CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document regexp(\".*fi\\\\.muni\\\\.cz/~kontr/logs/.*\") {\n * {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"en.cppreference.com\") {\n .mw-geshi,\n .t-lc,\n #wpTextbox1,\n .t-dsc-member-div > div:nth-child(1) {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"hackerrank.com\") {\n *[ style *='monospace'] {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"play.rust-lang.org\") {\n .ace_editor,\n div#output-stdout,\n div#output-stderr {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"docs.oracle.com\") {\n .contentContainer .description dl dd,\n .contentContainer .details dl dd,\n .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"lounge.mfocko.xyz\"),\ndomain(\"lounge.fi.muni.cz\") {\n body,\n code,\n pre,\n #chat .msg[data-type=\"monospace_block\"] .text,\n .irc-monospace,\n textarea#user-specified-css-input {\n font-family: var(--monospace-font);\n }\n}\n\n@-moz-document domain(\"adventofcode.com\") {\n body {\n font-family: var(--monospace-font);\n }\n}\n\n@-moz-document domain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\") {\n .d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"leetcode.com\") {\n .css-1ubm0bb-Value,\n .container__MmrB .testcase-editor__3Tbb,\n .testcase-table-re,\n .testcase-table-wa,\n .ace_editor,\n .css-2usu9f-Error {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"sentry.io\") {\n .traceback ol.context > li,\n .css-w0gxse .e1qdl66w1 {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"app.element.io\") {\n body,\n .mx_EventTile_content .markdown-body code,\n .mx_EventTile_content .markdown-body pre {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"overleaf.com\") {\n .ace_editor {\n font-family: var(--monospace-font) !important;\n }\n}", + "sourceCode": "/* ==UserStyle==\n@name pre,code,kbd,var,samp\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Replaces default monospace font on majority of websites\n@author mfocko \n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode Nerd Font\",\n \"Hack Nerd Font\",\n \"Hasklug Nerd Font\",\n \"Inconsolata Nerd Font\",\n \"InputMono Nerd Font\",\n \"InputMonoNarrow Nerd Font\",\n \"InputMonoCondensed Nerd Font\",\n \"InputMonoCompressed Nerd Font\",\n \"Iosevka Term\",\n \"Iosevka Term Extended\",\n \"Iosevka Term Slab\",\n \"Iosevka Term Slab Extended\",\n \"JetBrainsMono Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SauceCodePro Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"codewars.com\"),\ndomain(\"kurzy.kpi.fei.tuke.sk\"),\ndomain(\"doc.rust-lang.org\"),\nregexp(\"https://(www\\\\.)fi\\\\.muni\\\\.cz/pb071/.*\"),\nregexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\"),\ndomain(\"softwarefactory-project.io\"),\ndomain(\"stackoverflow.com\"),\ndomain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\"),\ndomain(\"docs.oracle.com\"),\ndomain(\"docs.rs\"),\ndomain(\"livebook.manning.com\"),\ndomain(\"adventofcode.com\"),\ndomain(\"wiki.gentoo.org\"),\ndomain(\"is.muni.cz\"),\ndomain(\"codeforces.com\"),\ndomain(\"leetcode.com\"),\ndomain(\"hackerrank.com\"),\ndomain(\"en.cppreference.com\"),\ndomain(\"sentry.io\"),\ndomain(\"app.element.io\") {\n pre,\n code,\n kbd,\n var,\n samp,\n tt,\n textarea {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"codewars.com\") {\n .CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document regexp(\".*fi\\\\.muni\\\\.cz/~kontr/logs/.*\") {\n * {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"en.cppreference.com\") {\n .mw-geshi,\n .t-lc,\n #wpTextbox1,\n .t-dsc-member-div > div:nth-child(1) {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"hackerrank.com\") {\n *[ style *='monospace'] {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"play.rust-lang.org\") {\n .ace_editor,\n div#output-stdout,\n div#output-stderr {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"docs.oracle.com\") {\n .contentContainer .description dl dd,\n .contentContainer .details dl dd,\n .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"lounge.mfocko.xyz\"),\ndomain(\"lounge.fi.muni.cz\") {\n body,\n code,\n pre,\n #chat .msg[data-type=\"monospace_block\"] .text,\n .irc-monospace,\n textarea#user-specified-css-input {\n font-family: var(--monospace-font);\n }\n}\n\n@-moz-document domain(\"adventofcode.com\") {\n body {\n font-family: var(--monospace-font);\n }\n}\n\n@-moz-document domain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\") {\n .d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"leetcode.com\") {\n .css-1ubm0bb-Value,\n .container__MmrB .testcase-editor__3Tbb,\n .testcase-table-re,\n .testcase-table-wa,\n .ace_editor,\n .css-2usu9f-Error {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"sentry.io\") {\n .traceback ol.context > li,\n .css-w0gxse .e1qdl66w1 {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"app.element.io\") {\n body,\n .mx_EventTile_content .markdown-body code,\n .mx_EventTile_content .markdown-body pre {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"overleaf.com\") {\n .ace_editor {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document regexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\") {\n * {\n font-feature-settings: 'liga', 'calt';\n }\n}", "usercssData": { "name": "pre,code,kbd,var,samp", "namespace": "git.mfocko.xyz/mfocko/dotfiles", @@ -330,12 +338,12 @@ "author": "mfocko ", "description": "Replaces default monospace font on majority of websites", "name": "pre,code,kbd,var,samp", - "updateDate": 1647122667891, + "updateDate": 1647731916169, "_id": "dc152c50-d7f1-49c4-ae39-7f641fb6d54d", - "_rev": 1647122667891, + "_rev": 1648229199662, "id": 12, "customName": "pre,code,kbd,var,samp", - "originalDigest": "d9c92b723a1938de9c9189a7f465e31967ed9fff", + "originalDigest": "0dc14720672efa626437c698374dd9c405913070", "_usw": {} }, {