GitHub Red Issues optional supplement

An optional supplement to the "GitHub Red Issues" script/style.

目前为 2023-06-26 提交的版本。查看 最新版本

  1. /* ==UserStyle==
  2. @name GitHub Red Issues optional supplement
  3. @namespace github.com/openstyles/stylus
  4. @version 7.0.0
  5. @description An optional supplement to the "GitHub Red Issues" script/style.
  6. @author krystian3w
  7. @license CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/
  8. ==/UserStyle== */
  9. @-moz-document domain("github.com"), domain("github-com.translate.goog"), regexp("^https?:\\/\\/translated\\.turbopages\\.org\\/proxy_u\\/.*/https\\/github\\.com\\/.*"), regexp("^https:\\/\\/web\\.archive\\.org\\/web\\/[0-9]+\\/https?\\:\\/\\/github.com\\/.*"), regexp("^https:\\/\\/archive\\.[\\w]{2,10}\\/[0-9.-]+\\\\/https?\\:\\/\\/github.com\\/.*") {
  10. /* that is not correct "red github issues" idea, so I override to own green: */
  11. div.gh-header-meta div:has(.octicon-issue-opened) ~ div :is(tracked-issues-progress svg, svg[data-target="tracked-issues-progress.progress"]) > circle:last-child {
  12. stroke: var(--color-open-emphasis) !important;
  13. /* stroke: #347d39 !important; */
  14. }
  15. div[aria-label="Issues"] div[id^="issue_"]:has(.octicon-issue-opened) :is(tracked-issues-progress svg, svg[data-target="tracked-issues-progress.progress"]):not(.octicon-issue-closed) > circle:last-child {
  16. stroke: var(--color-open-emphasis) !important;
  17. /* stroke: #347d39 !important; */
  18. }
  19.  
  20. /* that is not correct "red github issues" idea, so I override to own gray: */
  21. div.gh-header-meta div:has(.octicon-skip) ~ div :is(tracked-issues-progress svg, svg[data-target="tracked-issues-progress.progress"]) > circle:last-child {
  22. stroke: var(--color-fg-muted) !important;
  23. /* stroke: #768390 !important; */
  24. }
  25. div[aria-label="Issues"] div[id^="issue_"]:has(.octicon-skip) :is(tracked-issues-progress svg, svg[data-target="tracked-issues-progress.progress"]):not(.octicon-issue-closed) > circle:last-child {
  26. stroke: var(--color-fg-muted) !important;
  27. /* stroke: #768390 !important; */
  28. }
  29. }