updates-from-feynman #35

Merged
mfocko merged 6 commits from updates-from-feynman into main 2021-08-29 16:22:36 +02:00
Showing only changes of commit 310f893155 - Show all commits

View file

@ -95,14 +95,12 @@
"sections": [
{
"code": ".zu_pozn_blok {\n font-size: 15px;\n}",
"domains": [
"is.muni.cz"
]
"domains": ["is.muni.cz"]
}
],
"updateDate": 1623427474080,
"_id": "b0042ad2-4f79-4e97-a828-ac4114322826",
"_rev": 1628929300338,
"_rev": 1629192179237,
"id": 6,
"_usw": {}
},
@ -113,67 +111,58 @@
"installDate": 1626353686077,
"sections": [
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\npre, code, kbd, var, samp, tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1111,
"code": ":root {\n --monospace-font: Iosevka Term;\n}\npre,\n code,\n kbd,\n var,\n samp,\n tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1146,
"domains": [
"codewars.com",
"kurzy.kpi.fei.tuke.sk",
"doc.rust-lang.org",
"softwarefactory-project.io",
"stackoverflow.com",
"docs.oracle.com",
"docs.rs",
"pagure.io",
"src.fedoraproject.org",
"docs.oracle.com"
"src.fedoraproject.org"
],
"regexps": [
".*fi\\.muni\\.cz/pb071/.*",
".*fi\\.muni\\.cz/~xfocko/.*"
]
"regexps": [".*fi\\.muni\\.cz/pb071/.*", ".*fi\\.muni\\.cz/~xfocko/.*"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.CodeMirror,\n .result-type--result,\n .result-type--log .result-type__value {\n font-family: var(--monospace-font) !important;\n }",
"start": 1251,
"domains": [
"codewars.com"
]
"start": 1306,
"domains": ["codewars.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n#details_sources .details_file_wrapper pre {\n font-family: var(--monospace-font) !important;\n }",
"start": 1461,
"regexps": [
".*fi\\.muni\\.cz/~kontr/logs/.*"
]
"start": 1516,
"regexps": [".*fi\\.muni\\.cz/~kontr/logs/.*"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\ntt, code, pre, .mw-geshi, .t-lc, #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }",
"start": 1621,
"domains": [
"en.cppreference.com"
]
"code": ":root {\n --monospace-font: Iosevka Term;\n}\ntt,\n code,\n pre,\n .mw-geshi,\n .t-lc,\n #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }",
"start": 1676,
"domains": ["en.cppreference.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n*[ style *= 'monospace' ], pre, code, kbd, var, tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1778,
"domains": [
"hackerrank.com"
]
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n*[ style *='monospace'],\n pre,\n code,\n kbd,\n var,\n tt {\n font-family: var(--monospace-font) !important;\n }",
"start": 1853,
"domains": ["hackerrank.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n._1SMgwU2nM5eONvvV-7N1J- {\n font-family: var(--monospace-font) !important;\n }",
"start": 1945,
"domains": [
"play.rust-lang.org"
]
"start": 2038,
"domains": ["play.rust-lang.org"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }",
"start": 2083,
"domains": [
"docs.oracle.com"
]
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.contentContainer .description dl dd,\n .contentContainer .details dl dd,\n .serializedFormContainer dl dd {\n font-family: var(--monospace-font) !important;\n }",
"start": 2176,
"domains": ["docs.oracle.com"]
},
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\n.d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }",
"start": 2427,
"domains": ["pagure.io", "src.fedoraproject.org"]
}
],
"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 <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"codewars.com\"), domain(\"kurzy.kpi.fei.tuke.sk\"), regexp(\".*fi\\\\.muni\\\\.cz/pb071/.*\"), domain(\"doc.rust-lang.org\"), regexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\"), domain(\"softwarefactory-project.io\"), domain(\"stackoverflow.com\"), domain(\"pagure.io\"), domain(\"src.fedoraproject.org\"), domain(\"docs.oracle.com\") {\n pre, code, kbd, var, samp, tt {\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 #details_sources .details_file_wrapper pre {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"en.cppreference.com\") {\n tt, code, pre, .mw-geshi, .t-lc, #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"hackerrank.com\") {\n *[ style *= 'monospace' ], pre, code, kbd, var, tt {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"play.rust-lang.org\") {\n ._1SMgwU2nM5eONvvV-7N1J- {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"docs.oracle.com\") {\n .contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {\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 <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono 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\"),\nregexp(\".*fi\\\\.muni\\\\.cz/pb071/.*\"),\ndomain(\"doc.rust-lang.org\"),\nregexp(\".*fi\\\\.muni\\\\.cz/~xfocko/.*\"),\ndomain(\"softwarefactory-project.io\"),\ndomain(\"stackoverflow.com\"),\ndomain(\"docs.oracle.com\"),\ndomain(\"docs.rs\"),\ndomain(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\") {\n pre,\n code,\n kbd,\n var,\n samp,\n tt {\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 #details_sources .details_file_wrapper pre {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"en.cppreference.com\") {\n tt,\n code,\n pre,\n .mw-geshi,\n .t-lc,\n #wpTextbox1 {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"hackerrank.com\") {\n *[ style *='monospace'],\n pre,\n code,\n kbd,\n var,\n tt {\n font-family: var(--monospace-font) !important;\n }\n}\n\n@-moz-document domain(\"play.rust-lang.org\") {\n ._1SMgwU2nM5eONvvV-7N1J- {\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(\"pagure.io\"),\ndomain(\"src.fedoraproject.org\") {\n .d2h-diff-table {\n font-family: var(--monospace-font) !important;\n }\n}",
"usercssData": {
"name": "pre,code,kbd,var,samp",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -186,8 +175,13 @@
"label": "Font",
"name": "monospace-font",
"value": "Iosevka Term",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -280,12 +274,12 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Replaces default monospace font on majority of websites",
"name": "pre,code,kbd,var,samp",
"updateDate": 1628965592045,
"updateDate": 1629196055944,
"_id": "dc152c50-d7f1-49c4-ae39-7f641fb6d54d",
"_rev": 1628965592045,
"_rev": 1629298010095,
"id": 12,
"customName": "pre,code,kbd,var,samp",
"originalDigest": "f0f05454bd5fdd169acaad8235dd693ac9ab3e36",
"originalDigest": "9eb2b95e598149e6689b3e02a55b7d5591a28259",
"_usw": {}
},
{
@ -296,13 +290,11 @@
"sections": [
{
"code": ":root {\n --monospace-font: CaskaydiaCovePL Nerd Font;\n}\n* [style *=\" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *=\" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *=\" sans\"] {\n font-family: \"Roboto\" !important;\n }",
"start": 797,
"domains": [
"notion.so"
]
"start": 813,
"domains": ["notion.so"]
}
],
"sourceCode": "/* ==UserStyle==\n@name notion.so\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Allows switching of the fonts on notion.so\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"notion.so\") {\n * [style *= \" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *= \" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *= \" sans\"] {\n font-family: \"Roboto\" !important;\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name notion.so\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Allows switching of the fonts on notion.so\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"notion.so\") {\n * [style *=\" monospace\"] {\n font-family: var(--monospace-font) !important;\n }\n\n * [style *=\" serif\"] {\n font-family: \"Roboto Slab\" !important;\n }\n\n * [style *=\" sans\"] {\n font-family: \"Roboto\" !important;\n }\n}",
"usercssData": {
"name": "notion.so",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -315,8 +307,13 @@
"label": "Font",
"name": "monospace-font",
"value": "CaskaydiaCovePL Nerd Font",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -409,9 +406,9 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Allows switching of the fonts on notion.so",
"name": "notion.so",
"updateDate": 1628965560896,
"updateDate": 1629190277495,
"_id": "e72a8286-5c06-4827-8bd2-2245db9e3df2",
"_rev": 1628965560896,
"_rev": 1629192179237,
"id": 13,
"customName": "notion.so",
"originalDigest": "cd5872e3217bd21f384d779d668dca9665cc3024",
@ -424,15 +421,12 @@
"installDate": 1626701683202,
"sections": [
{
"code": "* {\n --fonts-monospace: Iosevka Term !important;\n }",
"code": "* {\n --fonts-monospace: FiraCode Nerd Font !important;\n }",
"start": 73,
"domains": [
"git.mfocko.xyz",
"git.gauss.mfocko.xyz"
]
"domains": ["git.mfocko.xyz", "git.gauss.mfocko.xyz"]
}
],
"sourceCode": "/* ==UserStyle==\n@name Gitea\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for Gitea that allows removal of diff highlight on pull requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n\n@-moz-document domain(\"git.mfocko.xyz\"), domain(\"git.gauss.mfocko.xyz\") {\n * {\n --fonts-monospace: monospace-font !important;\n }\n \n .code-diff-split .del-code .lines-code-old, .code-diff-split .del-code .lines-num-old, .code-diff-split .del-code .lines-type-marker-old, .code-diff-unified .del-code, .code-diff-unified .del-code td,\n .code-diff-split .add-code .lines-code-new, .code-diff-split .add-code .lines-num-new, .code-diff-split .add-code .lines-type-marker-new, .code-diff-split .del-code .add-code.lines-code-new, .code-diff-split .del-code .add-code.lines-num-new, .code-diff-split .del-code .add-code.lines-type-marker-new, .code-diff-unified .add-code, .code-diff-unified .add-code td {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name Gitea\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for Gitea that allows removal of diff highlight on pull requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n@-moz-document domain(\"git.mfocko.xyz\"),\ndomain(\"git.gauss.mfocko.xyz\") {\n * {\n --fonts-monospace: monospace-font !important;\n }\n\n .code-diff-split .del-code .lines-code-old,\n .code-diff-split .del-code .lines-num-old,\n .code-diff-split .del-code .lines-type-marker-old,\n .code-diff-unified .del-code,\n .code-diff-unified .del-code td,\n .code-diff-split .add-code .lines-code-new,\n .code-diff-split .add-code .lines-num-new,\n .code-diff-split .add-code .lines-type-marker-new,\n .code-diff-split .del-code .add-code.lines-code-new,\n .code-diff-split .del-code .add-code.lines-num-new,\n .code-diff-split .del-code .add-code.lines-type-marker-new,\n .code-diff-unified .add-code,\n .code-diff-unified .add-code td {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"usercssData": {
"name": "Gitea",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -445,9 +439,14 @@
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "Iosevka Term",
"default": "CaskaydiaCovePL Nerd Font",
"value": "FiraCode Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -548,13 +547,13 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for Gitea that allows removal of diff highlight on pull requests.",
"name": "Gitea",
"updateDate": 1628965434813,
"updateDate": 1629190281794,
"_id": "b00f26a5-22df-42b6-9bc5-5131bffd8980",
"_rev": 1628965434813,
"_rev": 1629192179282,
"id": 14,
"customName": "Gitea",
"_usw": {},
"originalDigest": "2bd91a60ba41ec55e6af517e275bc03643e5532c"
"originalDigest": "4f5cd8e74b482a58d2a06fc77c6d93e5bc7ee5aa"
},
{
"enabled": true,
@ -574,7 +573,7 @@
}
],
"customName": "GitLab",
"sourceCode": "/* ==UserStyle==\n@name GitLab\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n\n@-moz-document domain(\"gitlab.com\"), domain(\"gitlab.fi.muni.cz\"), domain(\"git.kpi.fei.tuke.sk\"), domain(\"gitlab.cee.redhat.com\") {\n pre,\n code,\n kbd,\n samp,\n tt,\n .text-monospace,\n .gl-markdown .monospace,\n .gl-compact-markdown .monospace,\n .search-token-target-branch .value,\n .help-form .form-group .form-control,\n .help-form .form-group .search form,\n .search .help-form .form-group form,\n .file-content.code pre,\n .file-content.code pre code,\n .file-content.code .line-numbers a,\n .job-log,\n .md-suggestion-diff,\n .md code,\n .monospace,\n .commit-sha,\n .gfm-commit,\n .gfm-commit_range,\n .ref-name,\n .pipeline-number,\n .git-revision-dropdown .dropdown-content li:not(.dropdown-menu-empty-item) a,\n textarea.js-gfm-input,\n .diff-table.code,\n table.code,\n .commit-message-container,\n .file-editor .file-title,\n .mr-state-widget .label-branch,\n .discussion-reply-holder .reply-placeholder-text-field,\n .git-clone-holder .form-control,\n .git-clone-holder .search form,\n .search .git-clone-holder form,\n .prometheus-svg-container > svg .deploy-info-text-link,\n .tui-editor-defaultUI .te-md-container .CodeMirror *,\n .project-mirror-settings .known-hosts {\n font-family: monospace-font;\n }\n \n .code.dark .line_holder .diff-line-num.new,\n .code.dark .line_holder .line-coverage.new,\n .code.dark .line_holder .line_content.new,\n\n .code.dark .line_holder .diff-line-num.old,\n .code.dark .line_holder .line-coverage.old,\n .code.dark .line_holder .line_content.old {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name GitLab\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n@var checkbox hide-diff-highlight \"Hide diff highlight\" 0\n==/UserStyle== */\n@-moz-document domain(\"gitlab.com\"),\ndomain(\"gitlab.fi.muni.cz\"),\ndomain(\"git.kpi.fei.tuke.sk\"),\ndomain(\"gitlab.cee.redhat.com\") {\n pre,\n code,\n kbd,\n samp,\n tt,\n .text-monospace,\n .gl-markdown .monospace,\n .gl-compact-markdown .monospace,\n .search-token-target-branch .value,\n .help-form .form-group .form-control,\n .help-form .form-group .search form,\n .search .help-form .form-group form,\n .file-content.code pre,\n .file-content.code pre code,\n .file-content.code .line-numbers a,\n .job-log,\n .md-suggestion-diff,\n .md code,\n .monospace,\n .commit-sha,\n .gfm-commit,\n .gfm-commit_range,\n .ref-name,\n .pipeline-number,\n .git-revision-dropdown .dropdown-content li:not(.dropdown-menu-empty-item) a,\n textarea.js-gfm-input,\n .diff-table.code,\n table.code,\n .commit-message-container,\n .file-editor .file-title,\n .mr-state-widget .label-branch,\n .discussion-reply-holder .reply-placeholder-text-field,\n .git-clone-holder .form-control,\n .git-clone-holder .search form,\n .search .git-clone-holder form,\n .prometheus-svg-container > svg .deploy-info-text-link,\n .tui-editor-defaultUI .te-md-container .CodeMirror *,\n .project-mirror-settings .known-hosts {\n font-family: monospace-font;\n }\n\n .code.dark .line_holder .diff-line-num.new,\n .code.dark .line_holder .line-coverage.new,\n .code.dark .line_holder .line_content.new,\n\n .code.dark .line_holder .diff-line-num.old,\n .code.dark .line_holder .line-coverage.old,\n .code.dark .line_holder .line_content.old {\n if hide-diff-highlight {\n background: none;\n }\n }\n}",
"usercssData": {
"name": "GitLab",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -588,8 +587,13 @@
"label": "Font",
"name": "monospace-font",
"value": "JetBrainsMono Nerd Font",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -690,9 +694,9 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.",
"name": "GitLab",
"updateDate": 1628965514055,
"updateDate": 1629190289152,
"_id": "679e1540-76cc-4116-8e0d-03c24e9c7d78",
"_rev": 1628965514055,
"_rev": 1629192179361,
"id": 15,
"originalDigest": "66045a4b4c270a81c9ca9a149285e35383c4cd32",
"_usw": {}
@ -704,15 +708,13 @@
"installDate": 1626955622290,
"sections": [
{
"code": ":root {\n --monospace-font: Iosevka Term;\n}\npre, code, kbd, var, tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea, .comment-body {\n font-family: var(--monospace-font) !important;\n }",
"start": 812,
"domains": [
"github.com"
]
"code": ":root {\n --monospace-font: monospace;\n}\npre,\n code,\n kbd,\n var,\n tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea {\n font-family: var(--monospace-font) !important;\n }",
"start": 828,
"domains": ["github.com"]
}
],
"customName": "github.com",
"sourceCode": "/* ==UserStyle==\n@name github.com\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style that allows changing monospace font on the GitHub\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"github.com\") {\n pre, code, kbd, var, tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea, .comment-body {\n font-family: var(--monospace-font) !important;\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name github.com\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style that allows changing monospace font on the GitHub\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"github.com\") {\n pre,\n code,\n kbd,\n var,\n tt,\n .blob-code-inner,\n .file-info,\n .text-mono,\n .commit-ref,\n .blob-num,\n .branch-name,\n textarea {\n font-family: var(--monospace-font) !important;\n }\n}",
"usercssData": {
"name": "github.com",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -724,9 +726,14 @@
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "Iosevka Term",
"default": "CaskaydiaCovePL Nerd Font",
"value": "monospace",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -819,12 +826,12 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Style that allows changing monospace font on the GitHub",
"name": "github.com",
"updateDate": 1628965465271,
"updateDate": 1629190285214,
"_id": "3b50c750-0f6e-4d80-be7b-d84a43c3a730",
"_rev": 1628965465271,
"_rev": 1629192188683,
"id": 16,
"_usw": {},
"originalDigest": "1cd5cc8aaed513852e51bf0bb123aa35ab67c725"
"originalDigest": "adb0cf41d632fd7c4343b2bac892fa89f7fc0043"
},
{
"enabled": true,
@ -834,13 +841,11 @@
"sections": [
{
"code": ":root {\n --monospace-font: FiraCode Nerd Font;\n}\n.email-body {\n font-family: var(--monospace-font);\n }",
"start": 823,
"domains": [
"lists.fedoraproject.org"
]
"start": 839,
"domains": ["lists.fedoraproject.org"]
}
],
"sourceCode": "/* ==UserStyle==\n@name lists.fedoraproject.org\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Changes default font for the email body.\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font*\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document domain(\"lists.fedoraproject.org\") {\n .email-body {\n font-family: var(--monospace-font);\n }\n}",
"sourceCode": "/* ==UserStyle==\n@name lists.fedoraproject.org\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Changes default font for the email body.\n@author mfocko <me@mfocko.xyz>\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n@-moz-document domain(\"lists.fedoraproject.org\") {\n .email-body {\n font-family: var(--monospace-font);\n }\n}",
"usercssData": {
"name": "lists.fedoraproject.org",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
@ -853,8 +858,13 @@
"label": "Font",
"name": "monospace-font",
"value": "FiraCode Nerd Font",
"default": "CaskaydiaCovePL Nerd Font",
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
@ -947,11 +957,143 @@
"author": "mfocko <me@mfocko.xyz>",
"description": "Changes default font for the email body.",
"name": "lists.fedoraproject.org",
"updateDate": 1628965544387,
"updateDate": 1629190296882,
"_id": "e9b78d61-a2c4-4158-bb93-efd1ff920391",
"_rev": 1628965544387,
"_rev": 1629192179385,
"id": 17,
"originalDigest": "8bc31eda80401cb08d8162204d20fb0c40fb7b41",
"_usw": {}
},
{
"enabled": true,
"updateUrl": null,
"url": null,
"installDate": 1629752843761,
"sections": [
{
"code": ".pf-c-log-viewer__text,\n .pf-c-log-viewer__index {\n font-family: monospace;\n }",
"start": 106,
"urlPrefixes": ["http://localhost:3000"],
"regexps": ["https://dashboard(\\.stg)?\\.packit.dev/.*"]
}
],
"sourceCode": "/* ==UserStyle==\n@name Packit Dashboard\n@namespace git.mfocko.xyz/mfocko/dotfiles\n@version 1.0.0\n@description Style for Packit Dashboard.\n@author mfocko <me@mfocko.xyz>\n@preprocessor stylus\n@var select monospace-font \"Font\" [\n \"monospace*\",\n \"BlexMono Nerd Font\",\n \"CaskaydiaCovePL Nerd Font\",\n \"FiraCode 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 \"MonoLisa Nerd Font\",\n \"RecMonoLinear Nerd Font\",\n \"RobotoMono Nerd Font\",\n \"SFMono Nerd Font\",\n \"VictorMono Nerd Font\"\n]\n==/UserStyle== */\n\n@-moz-document url-prefix(\"http://localhost:3000\"), regexp(\"https://dashboard(\\\\.stg)?\\\\.packit.dev/.*\") {\n .pf-c-log-viewer__text, .pf-c-log-viewer__index {\n font-family: monospace-font;\n }\n}",
"usercssData": {
"name": "Packit Dashboard",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
"version": "1.0.0",
"description": "Style for Packit Dashboard.",
"author": "mfocko <me@mfocko.xyz>",
"preprocessor": "stylus",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": null,
"default": "monospace",
"options": [
{
"name": "monospace",
"label": "monospace",
"value": "monospace"
},
{
"name": "BlexMono Nerd Font",
"label": "BlexMono Nerd Font",
"value": "BlexMono Nerd Font"
},
{
"name": "CaskaydiaCovePL Nerd Font",
"label": "CaskaydiaCovePL Nerd Font",
"value": "CaskaydiaCovePL Nerd Font"
},
{
"name": "FiraCode Nerd Font",
"label": "FiraCode Nerd Font",
"value": "FiraCode Nerd Font"
},
{
"name": "InputMono Nerd Font",
"label": "InputMono Nerd Font",
"value": "InputMono Nerd Font"
},
{
"name": "InputMonoNarrow Nerd Font",
"label": "InputMonoNarrow Nerd Font",
"value": "InputMonoNarrow Nerd Font"
},
{
"name": "InputMonoCondensed Nerd Font",
"label": "InputMonoCondensed Nerd Font",
"value": "InputMonoCondensed Nerd Font"
},
{
"name": "InputMonoCompressed Nerd Font",
"label": "InputMonoCompressed Nerd Font",
"value": "InputMonoCompressed Nerd Font"
},
{
"name": "Iosevka Term",
"label": "Iosevka Term",
"value": "Iosevka Term"
},
{
"name": "Iosevka Term Extended",
"label": "Iosevka Term Extended",
"value": "Iosevka Term Extended"
},
{
"name": "Iosevka Term Slab",
"label": "Iosevka Term Slab",
"value": "Iosevka Term Slab"
},
{
"name": "Iosevka Term Slab Extended",
"label": "Iosevka Term Slab Extended",
"value": "Iosevka Term Slab Extended"
},
{
"name": "JetBrainsMono Nerd Font",
"label": "JetBrainsMono Nerd Font",
"value": "JetBrainsMono Nerd Font"
},
{
"name": "MonoLisa Nerd Font",
"label": "MonoLisa Nerd Font",
"value": "MonoLisa Nerd Font"
},
{
"name": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SFMono Nerd Font",
"label": "SFMono Nerd Font",
"value": "SFMono Nerd Font"
},
{
"name": "VictorMono Nerd Font",
"label": "VictorMono Nerd Font",
"value": "VictorMono Nerd Font"
}
]
}
}
},
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for Packit Dashboard.",
"name": "Packit Dashboard",
"updateDate": 1629754793803,
"_id": "0e565bbc-774e-4b67-9b74-3177ba1f361d",
"_rev": 1629754793803,
"id": 18,
"_usw": {}
}
]