fix(userstyles/github-fixed-width-textarea): match GitHub's fixed-width style

This commit is contained in:
2024-11-13 18:11:53 +00:00
parent 714938a289
commit 5b300e7501

View File

@@ -1,7 +1,7 @@
/* ==UserStyle== /* ==UserStyle==
@name GitHub Fixed-Width Textarea @name GitHub Fixed-Width Textarea
@description Enforce fixed-width font and font-size in GitHub textareas @description Enforce fixed-width font and font-size in GitHub textareas
@version 1.0.0 @version 1.0.1
@license CC0-1.0 @license CC0-1.0
@author Jim Myhrberg (https://jimeh.me/) @author Jim Myhrberg (https://jimeh.me/)
@namespace jimeh.me @namespace jimeh.me
@@ -9,12 +9,12 @@
@updateURL https://github.com/jimeh/dotfiles/raw/main/userstyles/github-fixed-width-textarea.user.css @updateURL https://github.com/jimeh/dotfiles/raw/main/userstyles/github-fixed-width-textarea.user.css
@preprocessor stylus @preprocessor stylus
@var text ghfwt-font-size "Font Size" 12px @var text ghfwt-font-size "Font Size" 14px
==/UserStyle== */ ==/UserStyle== */
@-moz-document domain("github.com") { @-moz-document domain("github.com") {
textarea { textarea {
font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, Courier, font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas,
monospace !important; "Liberation Mono", monospace !important;
font-size: ghfwt-font-size !important; font-size: ghfwt-font-size !important;
} }
} }