dotfiles/files/stylus.json
Matej Focko 990443dce1
chore: update stylus and pre-commit hooks
• stylus
  · „hide diff highlight“ → „show diff highlight“
  · cppquiz.org
  · sprunge.us
  · ‹.CodeMirror› for LeetCode

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-08-14 20:00:41 +02:00

985 lines
44 KiB
JSON

[
{
"settings": {
"openEditInWindow": true,
"openEditInWindow.popup": false,
"windowPosition": {
"height": 1078,
"left": 483,
"top": 929,
"width": 1918
},
"show-badge": true,
"disableAll": false,
"exposeIframes": false,
"exposeStyleName": false,
"newStyleAsUsercss": true,
"styleViaXhr": false,
"patchCsp": false,
"config.autosave": true,
"schemeSwitcher.enabled": "system",
"schemeSwitcher.nightStart": "18:00",
"schemeSwitcher.nightEnd": "06:00",
"popup.breadcrumbs": true,
"popup.breadcrumbs.usePath": false,
"popup.enabledFirst": true,
"popup.stylesFirst": true,
"popup.autoResort": false,
"popup.borders": false,
"popup.findSort": "u",
"manage.onlyEnabled": false,
"manage.onlyLocal": false,
"manage.onlyUsercss": false,
"manage.onlyEnabled.invert": false,
"manage.onlyLocal.invert": false,
"manage.onlyUsercss.invert": false,
"manage.actions.expanded": true,
"manage.backup.expanded": true,
"manage.filters.expanded": true,
"manage.newUI": true,
"manage.newUI.favicons": false,
"manage.newUI.faviconsGray": true,
"manage.newUI.targets": 3,
"manage.newUI.sort": "title,asc",
"editor.options": {},
"editor.toc.expanded": true,
"editor.options.expanded": true,
"editor.lint.expanded": true,
"editor.publish.expanded": true,
"editor.lineWrapping": true,
"editor.smartIndent": true,
"editor.indentWithTabs": false,
"editor.tabSize": 4,
"editor.keyMap": "sublime",
"editor.theme": "tomorrow-night-bright",
"editor.beautify": {
"end_with_newline": false,
"indent_conditional": true,
"newline_after_open_brace": true,
"newline_before_close_brace": true,
"newline_before_open_brace": false,
"newline_between_properties": true,
"newline_between_rules": false,
"preserve_newlines": true,
"selector_separator_newline": true
},
"editor.beautify.hotkey": "",
"editor.lintDelay": 300,
"editor.linter": "stylelint",
"editor.lintReportDelay": 500,
"editor.matchHighlight": "token",
"editor.autoCloseBrackets": true,
"editor.autocompleteOnTyping": false,
"editor.contextDelete": false,
"editor.selectByTokens": true,
"editor.appliesToLineWidget": true,
"editor.autosaveDraft": 10,
"editor.livePreview": true,
"editor.colorpicker": true,
"editor.colorpicker.hexUppercase": false,
"editor.colorpicker.hotkey": "",
"editor.colorpicker.color": "",
"editor.colorpicker.maxHeight": 300,
"hotkey._execute_browser_action": "",
"hotkey.openManage": "",
"hotkey.styleDisableAll": "",
"sync.enabled": "none",
"iconset": 0,
"badgeDisabled": "#8B0000",
"badgeNormal": "#006666",
"headerWidth.edit": 280,
"headerWidth.install": 280,
"headerWidth.manage": 280,
"popupWidth": 256,
"updateInterval": 24
},
"order": {
"main": [],
"prio": []
}
},
{
"enabled": true,
"installDate": 1617790582365,
"name": "is.muni.cz",
"sections": [
{
"code": ".zu_pozn_blok {\n font-size: 15px;\n}",
"domains": ["is.muni.cz"]
}
],
"updateDate": 1631485074509,
"_id": "b0042ad2-4f79-4e97-a828-ac4114322826",
"_rev": 1648230156549,
"id": 6
},
{
"enabled": true,
"installDate": 1626353686077,
"sections": [
{
"code": ""
}
],
"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 \"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\"),\ndomain(\"docs.microsoft.com\"),\ndomain(\"packit.dev\"),\nregexp(\"https://.*\\\\.fedoraproject.org/.*\"),\nregexp(\"https://packit.github.io/.*\"),\ndomain(\"cppquiz.org\"),\ndomain(\"sprunge.us\") {\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 .CodeMirror {\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 .css-1igmgpv .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",
"version": "1.0.0",
"description": "Replaces default monospace font on majority of websites",
"author": "mfocko <me@mfocko.xyz>",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "monospace",
"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": "Hack Nerd Font",
"label": "Hack Nerd Font",
"value": "Hack Nerd Font"
},
{
"name": "Hasklug Nerd Font",
"label": "Hasklug Nerd Font",
"value": "Hasklug Nerd Font"
},
{
"name": "Inconsolata Nerd Font",
"label": "Inconsolata Nerd Font",
"value": "Inconsolata 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": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SauceCodePro Nerd Font",
"label": "SauceCodePro Nerd Font",
"value": "SauceCodePro 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": "Replaces default monospace font on majority of websites",
"name": "pre,code,kbd,var,samp",
"updateDate": 1659779587963,
"_id": "dc152c50-d7f1-49c4-ae39-7f641fb6d54d",
"_rev": 1660417880123,
"id": 12,
"customName": "pre,code,kbd,var,samp",
"originalDigest": "b82a009a76123fa9aeb797f496e10953bd0eeff7"
},
{
"enabled": true,
"installDate": 1626692966477,
"sections": [
{
"code": ""
}
],
"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 \"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(\"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",
"version": "1.0.0",
"description": "Allows switching of the fonts on notion.so",
"author": "mfocko <me@mfocko.xyz>",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "monospace",
"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": "Hack Nerd Font",
"label": "Hack Nerd Font",
"value": "Hack Nerd Font"
},
{
"name": "Hasklug Nerd Font",
"label": "Hasklug Nerd Font",
"value": "Hasklug Nerd Font"
},
{
"name": "Inconsolata Nerd Font",
"label": "Inconsolata Nerd Font",
"value": "Inconsolata 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": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SauceCodePro Nerd Font",
"label": "SauceCodePro Nerd Font",
"value": "SauceCodePro 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": "Allows switching of the fonts on notion.so",
"name": "notion.so",
"updateDate": 1647122045330,
"_id": "e72a8286-5c06-4827-8bd2-2245db9e3df2",
"_rev": 1648230156601,
"id": 13,
"customName": "notion.so",
"originalDigest": "7b75724f8b8b8902ee2adeb1980215c94254e041"
},
{
"enabled": true,
"installDate": 1626701683202,
"sections": [
{
"code": ""
}
],
"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 \"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@var checkbox diff-highlight \"Show diff highlighting\" 1\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 !diff-highlight {\n background: none;\n }\n }\n}",
"usercssData": {
"name": "Gitea",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
"version": "1.0.0",
"description": "Style for Gitea that allows removal of diff highlight on pull requests.",
"author": "mfocko <me@mfocko.xyz>",
"preprocessor": "stylus",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "monospace",
"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": "Hack Nerd Font",
"label": "Hack Nerd Font",
"value": "Hack Nerd Font"
},
{
"name": "Hasklug Nerd Font",
"label": "Hasklug Nerd Font",
"value": "Hasklug Nerd Font"
},
{
"name": "Inconsolata Nerd Font",
"label": "Inconsolata Nerd Font",
"value": "Inconsolata 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": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SauceCodePro Nerd Font",
"label": "SauceCodePro Nerd Font",
"value": "SauceCodePro 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"
}
]
},
"diff-highlight": {
"type": "checkbox",
"label": "Show diff highlighting",
"name": "diff-highlight",
"value": "1",
"default": "1",
"options": null
}
}
},
"author": "mfocko <me@mfocko.xyz>",
"description": "Style for Gitea that allows removal of diff highlight on pull requests.",
"name": "Gitea",
"updateDate": 1659780849035,
"_id": "b00f26a5-22df-42b6-9bc5-5131bffd8980",
"_rev": 1659780882575,
"id": 14,
"customName": "Gitea",
"originalDigest": "28516d76f59510ffd1b06b5a8e5b90cc13b48351"
},
{
"enabled": true,
"installDate": 1626883132671,
"sections": [
{
"code": ""
}
],
"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 \"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@var checkbox diff-highlight \"Show diff highlighting\" 1\n==/UserStyle== */\n@-moz-document domain(\"gitlab.com\"),\ndomain(\"gitlab.fi.muni.cz\"),\ndomain(\"git.kpi.fei.tuke.sk\"),\ndomain(\"gitlab.cee.redhat.com\"),\ndomain(\"gitlab.haskell.org\"),\ndomain(\"gitlab.gnome.org\") {\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 .gl-font-monospace {\n font-family: monospace-font !important;\n }\n\n :root {\n --font-family-monospace: monospace-font !important;\n }\n\n * [style *=\" monospace\"] {\n font-family: monospace-font !important;\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 !diff-highlight {\n background: none;\n }\n }\n}",
"usercssData": {
"name": "GitLab",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
"version": "1.0.0",
"description": "Style for GitLab that allows switching of the monospace font and also disabling diff highlight on merge requests.",
"author": "mfocko <me@mfocko.xyz>",
"preprocessor": "stylus",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "monospace",
"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": "Hack Nerd Font",
"label": "Hack Nerd Font",
"value": "Hack Nerd Font"
},
{
"name": "Hasklug Nerd Font",
"label": "Hasklug Nerd Font",
"value": "Hasklug Nerd Font"
},
{
"name": "Inconsolata Nerd Font",
"label": "Inconsolata Nerd Font",
"value": "Inconsolata 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": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SauceCodePro Nerd Font",
"label": "SauceCodePro Nerd Font",
"value": "SauceCodePro 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"
}
]
},
"diff-highlight": {
"type": "checkbox",
"label": "Show diff highlighting",
"name": "diff-highlight",
"value": null,
"default": "1",
"options": null
}
}
},
"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": 1659780872343,
"_id": "679e1540-76cc-4116-8e0d-03c24e9c7d78",
"_rev": 1659882327332,
"id": 15,
"originalDigest": "f076c1d85c4b2df3c73e4a015c5aa4b97e0471e0"
},
{
"enabled": true,
"installDate": 1626955622290,
"sections": [
{
"code": ""
}
],
"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 \"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(\"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 .commit .sha-block,\n .commit .sha,\n textarea,\n .input-monospace {\n font-family: var(--monospace-font) !important;\n }\n}",
"usercssData": {
"name": "github.com",
"namespace": "git.mfocko.xyz/mfocko/dotfiles",
"version": "1.0.0",
"description": "Style that allows changing monospace font on the GitHub",
"author": "mfocko <me@mfocko.xyz>",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "monospace",
"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": "Hack Nerd Font",
"label": "Hack Nerd Font",
"value": "Hack Nerd Font"
},
{
"name": "Hasklug Nerd Font",
"label": "Hasklug Nerd Font",
"value": "Hasklug Nerd Font"
},
{
"name": "Inconsolata Nerd Font",
"label": "Inconsolata Nerd Font",
"value": "Inconsolata 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": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SauceCodePro Nerd Font",
"label": "SauceCodePro Nerd Font",
"value": "SauceCodePro 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 that allows changing monospace font on the GitHub",
"name": "github.com",
"updateDate": 1647122031896,
"_id": "3b50c750-0f6e-4d80-be7b-d84a43c3a730",
"_rev": 1653554386095,
"id": 16,
"originalDigest": "5a057886983323492e5825a79250f9fcb7587cb3"
},
{
"enabled": true,
"installDate": 1627574254388,
"sections": [
{
"code": ""
}
],
"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 \"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(\"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",
"version": "1.0.0",
"description": "Changes default font for the email body.",
"author": "mfocko <me@mfocko.xyz>",
"vars": {
"monospace-font": {
"type": "select",
"label": "Font",
"name": "monospace-font",
"value": "monospace",
"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": "Hack Nerd Font",
"label": "Hack Nerd Font",
"value": "Hack Nerd Font"
},
{
"name": "Hasklug Nerd Font",
"label": "Hasklug Nerd Font",
"value": "Hasklug Nerd Font"
},
{
"name": "Inconsolata Nerd Font",
"label": "Inconsolata Nerd Font",
"value": "Inconsolata 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": "RecMonoLinear Nerd Font",
"label": "RecMonoLinear Nerd Font",
"value": "RecMonoLinear Nerd Font"
},
{
"name": "RobotoMono Nerd Font",
"label": "RobotoMono Nerd Font",
"value": "RobotoMono Nerd Font"
},
{
"name": "SauceCodePro Nerd Font",
"label": "SauceCodePro Nerd Font",
"value": "SauceCodePro 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": "Changes default font for the email body.",
"name": "lists.fedoraproject.org",
"updateDate": 1647122041883,
"_id": "e9b78d61-a2c4-4158-bb93-efd1ff920391",
"_rev": 1653308418088,
"id": 17,
"originalDigest": "2a518a8eef791a34329e558ecb68fb5a2aa8aa09"
}
]