:root {
  --ground: #FBFBF9; --panel: #FFFFFF; --ink: #17181A; --muted: #4A4E55; --line: #E3E4E0;
  --line2: #EDEEEA; --accent: #1F5FBF; --accent-ink: #16478F; --accent-soft: #E7EFFB;
  --fail: #C2560C; --fail-ink: #FFFFFF; --ok-line: #C9CBC5; --unknown: #F1F1EE; --unknown-ink: #5F636A;
  --wrong-bg: #FCEBDD; --wrong-ink: #7A3A00; --crash-bg: #ECE6F7; --crash-ink: #4B2C82;
  --rej-bg: #E4EEF0; --rej-ink: #1E4A52; --code-bg: #17181A; --code-ink: #F1F1EE;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --ground: #141516; --panel: #1C1D1F; --ink: #ECECEA; --muted: #B3B6BB; --line: #34363A;
    --line2: #2A2C2F; --accent: #7FAEF0; --accent-ink: #A9C8F5; --accent-soft: #1E2B40;
    --fail: #E07A33; --fail-ink: #141516; --ok-line: #55585E; --unknown: #2A2C2F; --unknown-ink: #B3B6BB;
    --wrong-bg: #3A2614; --wrong-ink: #F5C9A3; --crash-bg: #2C2440; --crash-ink: #D4C6F2;
    --rej-bg: #1D3236; --rej-ink: #B9DCE2; --code-bg: #0E0F10; --code-ink: #ECECEA;
  }
}
:root[data-theme="dark"] {
  --ground: #141516; --panel: #1C1D1F; --ink: #ECECEA; --muted: #B3B6BB; --line: #34363A;
  --line2: #2A2C2F; --accent: #7FAEF0; --accent-ink: #A9C8F5; --accent-soft: #1E2B40;
  --fail: #E07A33; --fail-ink: #141516; --ok-line: #55585E; --unknown: #2A2C2F; --unknown-ink: #B3B6BB;
  --wrong-bg: #3A2614; --wrong-ink: #F5C9A3; --crash-bg: #2C2440; --crash-ink: #D4C6F2;
  --rej-bg: #1D3236; --rej-ink: #B9DCE2; --code-bg: #0E0F10; --code-ink: #ECECEA;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--ground); color: var(--ink);
  font-family: 'IBM Plex Sans', system-ui, sans-serif; font-size: 15px; line-height: 1.5; }
a { color: var(--accent); } a:hover { color: var(--accent-ink); }
code, pre, .mono { font-family: 'IBM Plex Mono', ui-monospace, monospace; }
.top { background: var(--panel); border-bottom: 1px solid var(--line); }
.top .in { max-width: 1280px; margin: 0 auto; padding: 12px 16px; display: flex; flex-wrap: wrap;
  align-items: center; gap: 12px 24px; }
.brand { font-weight: 600; font-size: 18px; color: var(--ink); text-decoration: none; }
.nav { display: flex; flex-wrap: wrap; gap: 4px 18px; }
.nav a { color: var(--muted); text-decoration: none; padding: 6px 0; }
.nav a[aria-current="page"] { color: var(--ink); font-weight: 600; border-bottom: 2px solid var(--accent); }
.search { flex: 1 1 240px; display: flex; justify-content: flex-end; }
.search input { width: 100%; max-width: 420px; font: inherit; font-size: 14px; padding: 8px 12px;
  border: 1px solid var(--ok-line); border-radius: 8px; background: var(--panel); color: var(--ink); }
.wrap { max-width: 1280px; margin: 0 auto; padding: 24px 16px 48px; }
.cols { display: flex; flex-wrap: wrap; gap: 28px; align-items: flex-start; }
.filters-box { flex: 1 1 220px; max-width: 280px; }
.filters-box > summary { display: none; }
@media (max-width: 760px) { .filters-box { max-width: none; flex-basis: 100%; } .filters-box > summary { display: inline-flex; align-items: center; margin-bottom: 12px; } }
.filters { display: flex; flex-direction: column; gap: 20px; }
.main { flex: 999 1 520px; min-width: 0; display: flex; flex-direction: column; gap: 16px; }
.lbl { font-size: 12px; font-weight: 600; color: var(--muted); text-transform: uppercase; letter-spacing: .04em; }
fieldset { border: 0; padding: 0; margin: 0; display: flex; flex-direction: column; gap: 2px; }
legend { margin-bottom: 6px; }
label.chk { display: flex; align-items: center; gap: 8px; min-height: 30px; font-size: 14px; }
.pill, .btn { min-height: 36px; padding: 0 12px; border-radius: 18px; border: 1px solid var(--ok-line);
  background: var(--panel); color: var(--ink); font: inherit; font-size: 14px; cursor: pointer; }
.btn { border-radius: 6px; }
.pill[aria-pressed="true"], .btn[aria-pressed="true"] { border-color: var(--accent); background: var(--accent-soft);
  color: var(--accent-ink); font-weight: 600; }
.row-wrap { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
h1 { margin: 0; font-size: 28px; font-weight: 600; line-height: 1.3; }
h2 { margin: 0 0 10px; font-size: 20px; font-weight: 600; }
h3 { margin: 0 0 6px; font-size: 15px; font-weight: 600; }
.sub { color: var(--muted); margin: 0; }
.list { border: 1px solid var(--line); border-radius: 10px; background: var(--panel); overflow: hidden; }
.item { display: grid; grid-template-columns: 140px minmax(0, 1fr) minmax(0, 240px); gap: 16px;
  padding: 14px 16px; border-bottom: 1px solid var(--line2); color: var(--ink); text-decoration: none; }
.item:last-child { border-bottom: 0; }
.item:hover { background: var(--ground); }
.tag { display: inline-block; font-size: 12px; font-weight: 600; padding: 2px 8px; border-radius: 4px; }
.k-incorrect { background: var(--wrong-bg); color: var(--wrong-ink); }
.k-unsupported { background: var(--rej-bg); color: var(--rej-ink); }
.k-mixed { background: var(--unknown); color: var(--unknown-ink); border: 1px dashed var(--ok-line); }
.small { font-size: 13px; color: var(--muted); }
.vers { display: flex; flex-wrap: wrap; gap: 4px; }
.v { font-size: 12px; white-space: nowrap; min-width: 52px; text-align: center; padding: 3px 6px; border-radius: 4px; }
.s-fails-like { background: var(--fail); color: var(--fail-ink); font-weight: 600; }
.s-fails-differently { background: var(--crash-bg); color: var(--crash-ink); }
.s-correct { background: var(--panel); color: var(--muted); border: 1px solid var(--ok-line); }
.s-unknown { background: var(--unknown); color: var(--unknown-ink); }
.s-na { background: transparent; color: var(--unknown-ink); }
.box { overflow-x: auto; border: 1px solid var(--line); border-radius: 10px; background: var(--panel); }
table { border-collapse: collapse; width: 100%; font-size: 14px; }
th, td { text-align: left; padding: 8px 12px; border-top: 1px solid var(--line2); vertical-align: top; }
thead th { background: var(--ground); border-top: 0; font-weight: 600; }
pre { margin: 0; padding: 12px 14px; background: var(--code-bg); color: var(--code-ink); border-radius: 8px;
  font-size: 12.5px; line-height: 1.5; overflow-x: auto; }
pre.light { background: var(--panel); color: var(--ink); border: 1px solid var(--line); }
.grid2 { display: grid; grid-template-columns: repeat(auto-fit, minmax(300px, 1fr)); gap: 16px; }
.card { padding: 14px 16px; border: 1px solid var(--line); border-radius: 10px; background: var(--panel); }
blockquote { margin: 0; padding-left: 12px; border-left: 3px solid var(--ok-line); }
section { margin-top: 26px; }
.theme { margin-left: auto; }
@media (max-width: 720px) {
  .item { grid-template-columns: minmax(0, 1fr); gap: 6px; }
  .filters { max-width: none; }
  h1 { font-size: 23px; }
}

.isa-group { margin-bottom: .4rem; }
.isa { font-family: ui-monospace, monospace; opacity: .7; }
.legend .v { display: inline-block; margin-right: 4px; }
.terms { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 6px 18px; margin: 0 0 16px; }
.terms dt { font-weight: 600; }
.terms dd { margin: 0; color: var(--muted); }
@media (max-width: 600px) { .terms { grid-template-columns: minmax(0, 1fr); } .terms dd { margin-bottom: 8px; } }
/* the issue list with several compiler families: one line per family in a row, and the version
   pills grouped by family */
.famline { display: grid; gap: 2px; }
.famline + .famline { margin-top: 10px; padding-top: 8px; border-top: 1px dashed var(--line); }
.fam { font-weight: 600; color: var(--ink); }
.vgroup + .vgroup { margin-top: 8px; }
.vgroup .fam { margin-bottom: 4px; }
.browse h2 { font-size: 17px; margin: 22px 0 8px; }
.browse-groups { display: grid; grid-template-columns: repeat(auto-fill, minmax(220px, 1fr)); gap: 4px 18px; }
.browse details ul { margin: 4px 0 10px; padding-left: 18px; }
.browse summary { cursor: pointer; }
.browse-groups > details { min-width: 0; }
.browse .one { padding: 1px 0; }

.legality { margin: 0; padding: 8px 12px; border-left: 3px solid var(--line); color: var(--muted); max-width: 72ch; }
.legality.lg-confirmed, .legality.lg-supported { border-left-color: var(--accent); }
.legality.lg-contested { border-left-color: currentColor; color: var(--ink); }
.lg-contested { font-weight: 500; }

/* compilers: per family, its releases left to right; a release's bar splits its issues by when they fail */
.seg-run { background: var(--fail); }
.seg-compile { background: color-mix(in srgb, var(--fail) 55%, var(--panel)); }
.seg-link { background: color-mix(in srgb, var(--fail) 26%, var(--panel)); }
.sub.wide { max-width: 72ch; }
.parts .key { margin-right: 12px; font-variant-numeric: tabular-nums; }
.vh { position: absolute; width: 1px; height: 1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; }
.legend .key, .parts .key { display: inline-flex; align-items: center; gap: 6px; margin-right: 18px; }
.legend .sw, .parts .sw { display: inline-block; width: 16px; height: 10px; border-radius: 2px; }
.family { border-top: 1px solid var(--line); padding: 22px 0 28px; }
.fam-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 14px; }
.fam-head h2 { margin: 0; font-size: 22px; }
.fam-head .all { margin-left: auto; }
.family > .small { margin: 6px 0 0; }
.releases { list-style: none; margin: 18px 0 0; padding: 0; display: grid;
  grid-template-columns: repeat(auto-fill, minmax(210px, 250px)); gap: 22px 36px; }
.release { min-width: 0; display: grid; gap: 6px; align-content: start; }
.release p { margin: 0; }
.rel { font-size: 17px; font-weight: 600; color: var(--ink); text-underline-offset: 3px; }
.count { color: var(--muted); }
.count .n { font-size: 34px; font-weight: 600; line-height: 1; color: var(--ink); font-variant-numeric: tabular-nums;
  margin-right: 4px; }
.bar { display: flex; gap: 2px; height: 14px; min-width: 6px; max-width: 100%; }
.seg { display: block; min-width: 3px; border-radius: 2px; }
.seg:hover, .seg:focus-visible { outline: 2px solid var(--ink); outline-offset: 1px; }
.delta { font-size: 13px; color: var(--muted); border-left: 2px solid var(--fail); padding-left: 8px; }

/* the footer runs along the bottom of the window while the page scrolls, and settles at the end */
.foot { position: sticky; bottom: 0; z-index: 5; border-top: 1px solid var(--line); margin-top: 48px;
  background: var(--ground); color: var(--muted); font-size: 13px;
  padding-block: 7px calc(7px + env(safe-area-inset-bottom, 0px)); }
.foot .in { max-width: 1280px; margin: 0 auto; padding-left: max(16px, env(safe-area-inset-left, 0px));
  padding-right: max(16px, env(safe-area-inset-right, 0px)); }
.foot p { margin: 0; }
.foot a { color: inherit; text-underline-offset: 3px; }
.foot .src { margin-left: 14px; }