/* ==UserStyle==
@name           GitHub - Customization
@description    Provides some extra customization options for GitHub.
@version        2026.06.10.01.57
@author         MetalTxus
@namespace      https://github.com/jesuscc1993/
@license        CC BY-SA 4.0
@preprocessor   stylus

@var text       editor-font-family   "Editor font family"         "ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace"
@var text       editor-font-size     "Editor font size"           "12px"
@var text       editor-line-height   "Editor line height"         "20px"
@var checkbox   full-width-md-tables "Full width markdown tables" 1
@var checkbox   newline-on-pr        "Newline before PR names"    1

==/UserStyle== */
@-moz-document domain("github.com") {
  .blob-code-inner,
  .react-blob-textarea,
  .react-code-text,
  .ͼ5 .cm-content {
    font-family: editor-font-family !important;
    font-size: editor-font-size !important;
    line-height: editor-line-height !important;
  }

  if (newline-on-pr) {
    #issues_dashboard a[data-hovercard-type="repository"] {
      display: block;
    }
  }

  if (full-width-md-tables) {
    .markdown-body table {
      display: table;
      width: 100%;

      a img {
        vertical-align: middle;
      }
    }
  }
}