From 5b300e7501842b752ba12ee747bbf79a8d6dbcb3 Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Wed, 13 Nov 2024 18:11:53 +0000 Subject: [PATCH] fix(userstyles/github-fixed-width-textarea): match GitHub's fixed-width style --- userstyles/github-fixed-width-textarea.user.css | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/userstyles/github-fixed-width-textarea.user.css b/userstyles/github-fixed-width-textarea.user.css index 558d619..ce814b7 100644 --- a/userstyles/github-fixed-width-textarea.user.css +++ b/userstyles/github-fixed-width-textarea.user.css @@ -1,7 +1,7 @@ /* ==UserStyle== @name GitHub Fixed-Width Textarea @description Enforce fixed-width font and font-size in GitHub textareas -@version 1.0.0 +@version 1.0.1 @license CC0-1.0 @author Jim Myhrberg (https://jimeh.me/) @namespace jimeh.me @@ -9,12 +9,12 @@ @updateURL https://github.com/jimeh/dotfiles/raw/main/userstyles/github-fixed-width-textarea.user.css @preprocessor stylus -@var text ghfwt-font-size "Font Size" 12px +@var text ghfwt-font-size "Font Size" 14px ==/UserStyle== */ @-moz-document domain("github.com") { textarea { - font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, Courier, - monospace !important; + font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, + "Liberation Mono", monospace !important; font-size: ghfwt-font-size !important; } }