/* ==UserStyle==
@name          GitHub Fixed-Width Textarea
@description   Enforce fixed-width font and font-size in GitHub textareas
@version       1.0.2
@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" 14px
==/UserStyle== */
@-moz-document domain("github.com") {
  textarea:not([aria-readonly="true"]) {
    font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas,
      "Liberation Mono", monospace !important;
    font-size: ghfwt-font-size !important;
  }
}