GitHub Red Issues optional supplement

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

/* ==UserStyle==
@name           GitHub Red Issues optional supplement
@namespace      github.com/openstyles/stylus
@version        7.0.1
@description    An optional supplement to the "GitHub Red Issues" script/style.
@author         krystian3w
@license CC BY-NC-SA 4.0 https://creativecommons.org/licenses/by-nc-sa/4.0/
==/UserStyle== */
@-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\\/.*") {
/* that is not correct "red github issues" idea, so I override to own green: */
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 {
    stroke: var(--color-open-emphasis) !important;
    /* stroke: #347d39 !important; */
}
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 {
    stroke: var(--color-open-emphasis) !important;
    /* stroke: #347d39 !important; */
}

/* that is not correct "red github issues" idea, so I override to own gray: */
div.gh-header-meta div:has(.octicon-skip) ~ div :is(tracked-issues-progress svg, svg[data-target="tracked-issues-progress.progress"]) > circle:last-child {
    stroke: var(--color-fg-muted) !important;
    /* stroke: #768390 !important; */
}
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 {
    stroke: var(--color-fg-muted) !important;
    /* stroke: #768390 !important; */
}
ul[aria-labelledby="discussions-list"] li:not(:has(a[href*="q=is%3Aclosed"], svg[aria-label="Locked"])) * > a svg.octicon-check-circle.color-fg-muted path {
    color: var(--color-fg-muted) !important;
   /* color: #768390 !important; */
}
}