/* The showcase of bugs.genproof: the genproof.com world (Roboto Mono, near-black on white, [BRACKET] actions) with
 * one loud element, a sky of bug cards that float behind the numbers. Everything else stays quiet. */
@font-face { font-family: "Roboto Mono"; font-style: normal; font-weight: 400 700; font-display: swap;
  src: url(../assets/fonts/roboto-mono-latin.woff2) format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: "Roboto Mono"; font-style: normal; font-weight: 400 700; font-display: swap;
  src: url(../assets/fonts/roboto-mono-latin-ext.woff2) format("woff2");
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; }

:root {
  color-scheme: light;
  --bg: #fff; --fg: #171717; --muted: #595959; --soft: #737373; --line: #e5e5e5; --rule: #d4d4d4; --panel: #f5f5f5;
  --link: #025fbc; --link-hover: #004499; --ok: #157f3d;
  --found: #c2410c; --sent: #025fbc; --sent-soft: #8db4df; --ghost: #a3a3a3;
  --hatch: repeating-linear-gradient(135deg, rgb(194 65 12 / 0.55) 0 2px, rgb(194 65 12 / 0.12) 2px 6px);
  --sky-top: #eaf2fb; --sky-bottom: #fff;
  --font: "Roboto Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  --pad: 32px; --card-w: 272px;
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { -webkit-text-size-adjust: 100%; scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--fg); font: 400 1rem/1.6 var(--font); font-variant-numeric: tabular-nums; -webkit-font-smoothing: antialiased; }
::selection { background: var(--link); color: #fff; }
a { color: var(--link); text-decoration: none; text-underline-offset: 3px; }
a:hover { color: var(--link-hover); text-decoration: underline; }
button, input { font: inherit; color: inherit; }
button { background: none; border: 0; padding: 0; cursor: pointer; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
.wrap { width: min(1180px, 100% - 2 * var(--pad)); margin: 0 auto; }
.muted { color: var(--muted); }
@media (max-width: 720px) { :root { --pad: 16px; --card-w: 220px; } }

/* bracket actions: the signature of the world */
.act { color: var(--link); white-space: nowrap; text-transform: uppercase; font-size: 0.875rem; }
.act::before { content: "["; } .act::after { content: "]"; }
.act:hover { color: var(--link-hover); text-decoration: underline; }
.act[aria-pressed="true"] { color: var(--fg); font-weight: 700; text-decoration: none; cursor: default; }

/* hero: the sky of cards and the glass panel */
.hero { position: relative; min-height: max(640px, 100svh); display: grid; place-items: center; padding: 96px var(--pad) 72px; overflow: hidden;
  background: linear-gradient(180deg, var(--sky-top), var(--sky-bottom) 92%); isolation: isolate; }
.sky { position: absolute; inset: 0; z-index: -1; display: flex; flex-direction: column; justify-content: space-evenly; }
.lane { position: relative; height: var(--lane-h, 128px); z-index: 3; }
.lane.far { z-index: 1; } .lane.mid { z-index: 2; }  /* a reply under a near card goes over the lanes behind it */
.track { position: absolute; top: 0; left: 0; display: flex; align-items: flex-start; width: max-content; will-change: transform;
  animation: drift var(--speed, 120s) linear infinite; animation-delay: var(--delay, 0s); }
.lane.far { opacity: 0.5; transform: scale(0.8); filter: blur(0.6px); }
.lane.mid { opacity: 0.78; transform: scale(0.9); }
.lane:hover .track { animation-play-state: paused; }
@keyframes drift { from { transform: translateX(0); } to { transform: translateX(-50%); } }
.float { flex: none; margin-left: var(--gap, 48px); margin-top: var(--dy, 0px); animation: bob var(--bob, 8s) ease-in-out infinite alternate; animation-delay: var(--bob-delay, 0s); }
@keyframes bob { from { transform: translateY(-5px); } to { transform: translateY(5px); } }
@media (prefers-reduced-motion: reduce) { .track, .float { animation: none; } }

.bar { position: absolute; top: 0; left: 0; right: 0; display: flex; align-items: baseline; gap: 12px 28px; flex-wrap: wrap; padding: 22px var(--pad) 28px;
  background: linear-gradient(180deg, rgb(234 242 251 / 0.96) 40%, rgb(234 242 251 / 0)); }
.brand { font-size: 1.375rem; font-weight: 700; color: var(--fg); letter-spacing: -0.01em; }
.brand:hover { color: var(--fg); text-decoration: none; }
.bar-links { margin-left: auto; display: flex; gap: 4px 20px; flex-wrap: wrap; }

.panel { position: relative; width: min(780px, 100%); padding: 40px 44px 34px; border: 1px solid rgb(23 23 23 / 0.1); border-radius: 10px;
  background: rgb(255 255 255 / 0.84); -webkit-backdrop-filter: blur(14px) saturate(1.15); backdrop-filter: blur(14px) saturate(1.15);
  box-shadow: 0 1px 2px rgb(23 23 23 / 0.04), 0 30px 80px rgb(23 23 23 / 0.12); }
h1 { margin: 0 0 14px; font-size: clamp(1.7rem, 3.6vw, 2.5rem); line-height: 1.15; letter-spacing: -0.03em; text-wrap: balance; }
.lede { margin: 0; color: var(--muted); max-width: 62ch; font-size: 0.9375rem; }
.stats { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin: 28px 0 22px; }
.stats div { display: flex; flex-direction: column-reverse; }
.stats dt { color: var(--muted); font-size: 0.8125rem; }
.stats dd { margin: 0; font-size: clamp(1.9rem, 4.4vw, 3rem); font-weight: 700; line-height: 1.05; letter-spacing: -0.04em; }
.stats div:first-child dd { color: var(--found); }
.cta { display: flex; flex-wrap: wrap; gap: 6px 22px; margin: 22px 0 0; }
@media (max-width: 720px) {
  .hero { padding-top: 76px; padding-bottom: 56px; }
  .bar { padding-top: 16px; padding-bottom: 22px; align-items: center; }
  .brand { font-size: 1.125rem; }
  .bar-links { gap: 4px 12px; }
  .bar .act { font-size: 0.75rem; }
  .panel { padding: 24px 20px 22px; }
  .lede { font-size: 0.875rem; }
  .stats { gap: 12px 10px; margin: 22px 0 20px; }
  .stats dt { font-size: 0.75rem; }
  .cta { flex-direction: column; gap: 10px; }
}
@media (max-width: 420px) { .bar-links .home { display: none; } }  /* the footer has the link to genproof.com */

/* a bug card in the sky */
.card { position: relative; display: block; width: var(--card-w); padding: 14px 16px 12px; text-align: left; color: var(--fg); background: #fff;
  border: 1px solid var(--line); border-radius: 8px; box-shadow: 0 1px 2px rgb(23 23 23 / 0.04), 0 10px 28px rgb(23 23 23 / 0.07);
  transition: transform 0.18s ease, box-shadow 0.18s ease, border-color 0.18s ease; }
.card:hover { transform: translateY(-3px); border-color: var(--rule); box-shadow: 0 2px 4px rgb(23 23 23 / 0.05), 0 18px 40px rgb(23 23 23 / 0.12); text-decoration: none; color: var(--fg); }
.card-proj { display: flex; align-items: center; gap: 8px; min-width: 0; font-size: 0.75rem; color: var(--muted); }
.card-proj .name { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.card-proj .stars { margin-left: auto; flex: none; }
.logo { flex: none; width: 18px; height: 18px; border-radius: 4px; object-fit: contain; background: #fff; }
.logo.blank { display: inline-grid; place-items: center; background: var(--panel); color: var(--soft); font-size: 0.625rem; font-weight: 700; }
.card-title { display: -webkit-box; -webkit-line-clamp: 3; -webkit-box-orient: vertical; overflow: hidden; margin: 8px 0 10px; font-size: 0.875rem; font-weight: 600; line-height: 1.4; }
.chip { display: inline-flex; align-items: center; gap: 6px; font-size: 0.6875rem; font-weight: 700; letter-spacing: 0.04em; text-transform: uppercase; color: var(--muted); }
.chip::before { content: ""; width: 8px; height: 8px; border-radius: 50%; background: currentColor; }
.chip.fixed { color: var(--ok); } .chip.confirmed, .chip.fixing { color: var(--sent); } .chip.reported { color: var(--soft); }
.chip.queue { color: var(--found); } .chip.queue::before { background: none; border: 2px solid currentColor; width: 5px; height: 5px; }
.card-foot { display: flex; align-items: center; justify-content: space-between; gap: 10px; }
.card-foot .when { font-size: 0.6875rem; color: var(--soft); white-space: nowrap; }
.has-reply { font-size: 0.6875rem; color: var(--soft); }

/* a reply joined to its card, like a speech bubble */
.reply-bubble { position: relative; width: calc(var(--card-w) - 28px); margin: 12px 0 0 28px; padding: 9px 12px; background: #171717; color: #f5f5f5; border-radius: 10px;
  font-size: 0.71875rem; line-height: 1.45; box-shadow: 0 10px 24px rgb(23 23 23 / 0.16); }
.reply-bubble::before { content: ""; position: absolute; top: -6px; left: 22px; width: 12px; height: 12px; background: inherit; transform: rotate(45deg); border-radius: 2px; }
.reply-bubble q { display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; quotes: "\201C" "\201D"; }
.reply-bubble span { display: block; margin-top: 3px; color: #a3a3a3; }

/* a project with bugs that nobody sent yet: the name and the count show, the rest is a redaction */
.card.ghost { background: rgb(255 255 255 / 0.66); border-style: dashed; border-color: #cfcfcf; box-shadow: none; }
.redact { display: flex; flex-wrap: wrap; gap: 5px 6px; margin: 8px 0 12px; }
.redact i { height: 9px; border-radius: 2px; background: #d9d9d9; }

/* sections */
.band { padding: 88px 0 24px; }
h2 { margin: 0 0 8px; font-size: clamp(1.5rem, 2.6vw, 2rem); line-height: 1.2; letter-spacing: -0.02em; }
h3 { margin: 0 0 14px; font-size: 0.875rem; font-weight: 700; }
.caption { margin: 0 0 22px; max-width: 72ch; color: var(--muted); }
.caption b { color: var(--fg); }

  box-shadow: 0 8px 24px rgb(23 23 23 / 0.1); font-size: 0.75rem; line-height: 1.6; transform: translate(-50%, calc(-100% - 12px)); }


/* what each status means, in words for a reader without a technical background */
.status-help { display: grid; grid-template-columns: repeat(5, 1fr); gap: 10px; margin: 0 0 26px; }
.status-help div { padding: 12px 14px; background: var(--panel); border-radius: 8px; }
.status-help dt { margin: 0 0 6px; }
.status-help dd { margin: 0; font-size: 0.78125rem; line-height: 1.5; color: var(--muted); }
@media (max-width: 1000px) { .status-help { grid-template-columns: repeat(2, 1fr); } }
@media (max-width: 520px) { .status-help { grid-template-columns: 1fr; } }
.tools { display: flex; flex-wrap: wrap; align-items: center; gap: 12px 28px; margin: 6px 0 4px; }
.seg { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 16px; }
.seg .muted { font-size: 0.8125rem; }
.search input { width: min(320px, 70vw); padding: 7px 10px; border: 1px solid var(--rule); border-radius: 6px; background: #fff; font-size: 0.875rem; }
.search input:focus { outline: 2px solid var(--link); outline-offset: -1px; border-color: transparent; }
.shown { margin: 14px 0 18px; font-size: 0.8125rem; color: var(--muted); }
.more { margin: 26px 0 0; text-align: center; }

/* the table of sent bugs, in the layout of the table of the team board */
table.bugs { width: 100%; border-collapse: collapse; table-layout: fixed; }
.bugs th { text-align: left; font-size: 0.75rem; font-weight: 400; text-transform: uppercase; letter-spacing: 0.04em; color: var(--muted); padding: 12px 14px 8px 0; box-shadow: inset 0 -1px 0 var(--rule); white-space: nowrap; }
.bugs th.w-sev { width: 104px; } .bugs th.w-proj { width: 210px; } .bugs th.w-status { width: 150px; } .bugs th.w-date { width: 104px; }
.bugs td { padding: 13px 14px 13px 0; border-bottom: 1px solid var(--line); vertical-align: top; font-size: 0.8125rem; }
.bugs tr.bug { cursor: pointer; transition: background-color 0.15s ease; }
.bugs tr.bug:hover { background: #fafafa; }
.bugs tr.bug:hover .headline { color: var(--link); }
.bugs .headline { display: block; text-align: left; font-size: 0.875rem; font-weight: 700; line-height: 1.45; color: var(--fg); overflow-wrap: anywhere; text-wrap: pretty; }
.bugs .sub { display: block; margin-top: 4px; font-size: 0.75rem; line-height: 1.5; color: var(--muted); }
.bugs .sub-proj { display: none; }
.bugs .pline { display: inline-flex; align-items: flex-start; gap: 8px; }
.bugs .pline .logo { margin-top: 1px; }
.bugs td.proj .stars { display: block; color: var(--muted); font-size: 0.75rem; }
.bugs td.proj .dl { display: block; color: var(--muted); font-size: 0.75rem; cursor: help; }
.dl-inline { cursor: help; }
.bugs td.status .since { display: block; margin-top: 3px; color: var(--muted); font-size: 0.75rem; }
.bugs td.date { color: var(--muted); white-space: nowrap; }
.bugs .label { display: inline-flex; align-items: center; gap: 7px; white-space: nowrap; }
.sq { display: inline-block; width: 9px; height: 9px; flex-shrink: 0; background: var(--soft); }
.sev-critical { background: #b42318; } .sev-high { background: #e04f16; } .sev-medium { background: #b88300; } .sev-low { background: #8c8c8c; }
.sev-info { background: transparent; box-shadow: inset 0 0 0 1.5px #8c8c8c; } .sev-unrated { background: transparent; box-shadow: inset 0 0 0 1.5px var(--rule); }
.reply-line { display: block; margin-top: 8px; padding: 1px 0 1px 10px; border-left: 2px solid var(--fg); font-size: 0.75rem; line-height: 1.5; color: #333; }
.reply-line q { quotes: "\201C" "\201D"; }
.reply-line .by { color: var(--soft); white-space: nowrap; }
@media (max-width: 1000px) {
  .bugs th.w-proj, .bugs td.proj, .bugs th.w-date, .bugs td.date { display: none; }
  .bugs .sub-proj { display: inline; }
}
@media (max-width: 720px) {
  table.bugs, .bugs tbody, .bugs tr, .bugs td { display: block; width: auto; }
  .bugs thead { display: none; }
  .bugs tr.bug { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 16px; padding: 14px 0; border-bottom: 1px solid var(--line); }
  .bugs tr.bug td { border: 0; padding: 0; }
  .bugs td.bug { order: 1; flex: 1 1 100%; min-width: 0; }
  .bugs td.sev { order: 2; } .bugs td.status { order: 3; }
  .bugs td.status .since { display: none; }
}
.foot { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 8px 24px; margin-top: 72px; padding: 22px 0 36px; border-top: 1px solid var(--line); font-size: 0.8125rem; color: var(--muted); }

/* the open card */
.sheet { width: min(680px, calc(100% - 32px)); max-height: 88dvh; padding: 0; border: 0; border-radius: 14px; background: #fff; color: var(--fg);
  box-shadow: 0 40px 120px rgb(23 23 23 / 0.3); overflow: auto; }
.sheet::backdrop { background: rgb(234 242 251 / 0.55); -webkit-backdrop-filter: blur(6px); backdrop-filter: blur(6px); }
.sheet[open] { animation: rise 0.22s cubic-bezier(0.2, 0.8, 0.2, 1); }
@keyframes rise { from { opacity: 0; transform: translateY(16px) scale(0.97); } to { opacity: 1; transform: none; } }
@media (prefers-reduced-motion: reduce) { .sheet[open] { animation: none; } html { scroll-behavior: auto; } }
.sheet-body { padding: 28px 32px 26px; }
.sheet-top { display: flex; align-items: center; gap: 10px; font-size: 0.8125rem; color: var(--muted); }
.sheet-top .logo { width: 28px; height: 28px; border-radius: 6px; }
.sheet-top .proj { color: var(--fg); font-weight: 700; font-size: 0.9375rem; }
.sheet-top .x { margin-left: auto; }
.sheet h2:focus { outline: none; }
.sheet h2 { margin: 18px 0 12px; font-size: 1.375rem; line-height: 1.3; letter-spacing: -0.015em; }
.sheet .summary { margin: 0 0 18px; color: #333; font-size: 0.9375rem; }
.facts { display: flex; flex-wrap: wrap; gap: 6px 26px; margin: 0 0 20px; padding: 12px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 0.8125rem; }
.facts dt { color: var(--soft); font-size: 0.6875rem; text-transform: uppercase; letter-spacing: 0.04em; }
.facts dd { margin: 0; }
.quote { position: relative; margin: 0 0 22px; padding: 16px 18px 14px; background: #171717; color: #f5f5f5; border-radius: 12px; }
.quote::before { content: ""; position: absolute; top: -7px; left: 26px; width: 14px; height: 14px; background: inherit; transform: rotate(45deg); border-radius: 2px; }
.quote p { margin: 0; font-size: 0.875rem; line-height: 1.55; }
.quote footer { margin-top: 8px; font-size: 0.75rem; color: #a3a3a3; }
.quote footer a { color: #9cc3ee; }
.sheet-actions { position: sticky; bottom: 0; display: flex; flex-wrap: wrap; gap: 8px 22px; align-items: baseline; margin: 0 -4px -6px; padding: 12px 4px 6px; background: #fff; }
.sheet-actions .hint { margin-left: auto; font-size: 0.75rem; color: var(--soft); }
@media (max-width: 720px) {  /* on a phone the open card is a sheet from the bottom edge */
  .sheet { width: 100%; max-width: none; max-height: 90dvh; margin: auto 0 0; border-radius: 16px 16px 0 0; }
  .sheet[open] { animation-name: slide; }
  .sheet-body { padding: 20px 20px 16px; }
  .sheet h2 { font-size: 1.1875rem; }
  .sheet .summary { font-size: 0.875rem; }
  .quote p { font-size: 0.8125rem; }
  .sheet-actions { padding-bottom: max(10px, env(safe-area-inset-bottom)); }
  .sheet-actions .hint { display: none; }
}
@keyframes slide { from { transform: translateY(40%); opacity: 0.4; } to { transform: none; opacity: 1; } }

/* the named projects of the queue: a name and a count, never a class */
.named-projects { margin-top: 52px; }
.wall { list-style: none; display: flex; flex-wrap: wrap; gap: 8px; margin: 0; padding: 0; }
.pchip { display: inline-flex; align-items: center; gap: 8px; padding: 4px 5px 4px 6px; border: 1px dashed #cfcfcf; border-radius: 999px; background: #fff; font-size: 0.8125rem; color: var(--fg); transition: border-color 0.15s ease, transform 0.15s ease; }
.pchip:hover { border-color: var(--found); transform: translateY(-1px); }
.pchip .logo { width: 18px; height: 18px; border-radius: 50%; }
.pchip b { min-width: 26px; padding: 0 7px; border-radius: 999px; background: rgb(194 65 12 / 0.1); color: var(--found); font-size: 0.75rem; line-height: 20px; text-align: center; }
.wall-note { margin: 12px 0 0; font-size: 0.8125rem; color: var(--muted); }
.wall-more { display: none; margin: 14px 0 0; }
@media (max-width: 720px) {  /* on a phone the wall shows the 20 largest projects until a click */
  .wall.folded li:nth-child(n+21) { display: none; }
  .wall.folded:has(li:nth-child(21)) + .wall-more { display: block; }
}