jimeh/dotfiles
1
0
Fork 0
mirror of https://github.com/jimeh/dotfiles.git synced 2026-02-19 11:06:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat(userstyle/github): add fixed-width textarea

Browse Source
This commit is contained in:
Jim Myhrberg
2024-11-13 18:03:24 +00:00
parent 2ab4549060
commit 714938a289
1 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
userstyles/github-fixed-width-textarea.user.css Normal file
View File

@@ -0,0 +1,20 @@
/* ==UserStyle==
@name GitHub Fixed-Width Textarea
@description Enforce fixed-width font and font-size in GitHub textareas
@version 1.0.0
@license CC0-1.0
@author Jim Myhrberg (https://jimeh.me/)
@namespace jimeh.me
@homepageURL https://github.com/jimeh/dotfiles/blob/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
@var text ghfwt-font-size "Font Size" 12px
==/UserStyle== */
@-moz-document domain("github.com") {
textarea {
font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, Courier,
monospace !important;
font-size: ghfwt-font-size !important;
}
}