/*
 * Local fixes for the GitHub theme (whereareiam/forgejo-github-theme) on
 * Forgejo 16. Each rule says what it corrects; delete a rule when the theme
 * release in use no longer needs it.
 *
 * Theme 0.4.0 needs none. The two 0.2.0 rules (Project/Type dropdowns on the
 * global Issues / Pull requests list inheriting the bar's border and fill, and
 * the filter menu's 14px bottom margin) were removed on 2026-10-13: checked on
 * 0.4.0 + Forgejo 16.0.6, the dropdowns have no border or fill, the margin is
 * already 0, and the page no longer has the selectors they targeted.
 */