File size: 6,532 Bytes
2551bd4 1f44eb5 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 | /* extra: styles for the extra UI pass. Loaded after app.css. */
/* Focus rings: visible for keyboard users only, in the accent colour, in both themes. */
a:focus-visible, button:focus-visible, input:focus-visible, textarea:focus-visible, select:focus-visible,
summary:focus-visible, [tabindex]:focus-visible, .seg button:focus-visible, .btn:focus-visible, .icon-btn:focus-visible {
outline: 2px solid var(--accent); outline-offset: 2px;
}
.seg button:focus-visible { outline-offset: 1px; }
input:focus-visible, textarea:focus-visible { outline-offset: 0; }
.tour .btn:focus-visible { outline-color: var(--accent-ink); }
:focus:not(:focus-visible) { outline: none; }
/* Header palette trigger */
kbd { font: 600 11px/1 "IBM Plex Mono", ui-monospace, monospace; padding: 3px 5px; border-radius: 5px;
border: 1px solid var(--line-2); background: var(--card-2); color: var(--muted); }
.icon-btn.pal-btn { display: inline-flex; gap: 6px; width: auto; min-width: 36px; padding: 0 9px; }
.icon-btn.pal-btn kbd { padding: 2px 4px; }
/* Command palette */
html.pal-open { overflow: hidden; }
.pal-back { position: fixed; inset: 0; z-index: 100; display: flex; justify-content: center; align-items: flex-start;
padding: 12vh 16px 16px; background: color-mix(in srgb, var(--ink) 28%, transparent); backdrop-filter: blur(3px);
animation: pal-fade .12s ease-out; }
.pal { width: 100%; max-width: 620px; max-height: 70vh; display: flex; flex-direction: column; overflow: hidden;
background: var(--card); border: 1px solid var(--line-2); border-radius: var(--radius);
box-shadow: 0 20px 60px rgba(0, 0, 0, .28), 0 2px 8px rgba(0, 0, 0, .12); animation: pal-in .14s ease-out; }
.pal-search { display: flex; align-items: center; gap: 10px; padding: 0 14px; border-bottom: 1px solid var(--line); color: var(--muted); }
.pal-search input { flex: 1; min-width: 0; height: 54px; border: 0; background: transparent; color: var(--ink); font: inherit; font-size: 16px; }
.pal-search input:focus-visible { outline: none; }
.pal-search input::placeholder { color: var(--muted); }
#pal-list { list-style: none; margin: 0; padding: 6px; overflow-y: auto; flex: 1; }
#pal-list li { display: flex; align-items: center; gap: 10px; padding: 9px 10px; border-radius: 9px; cursor: pointer; min-width: 0; }
#pal-list li.sel { background: var(--accent-soft); }
#pal-list li.sel .pal-label { color: var(--accent); }
.pal-kind { flex: 0 0 auto; width: 52px; font-size: 11px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; color: var(--muted); }
.pal-label { flex: 1; min-width: 0; color: var(--ink); font-weight: 500; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pal-hint { flex: 0 0 auto; color: var(--muted); font: 12px "IBM Plex Mono", ui-monospace, monospace; white-space: nowrap; }
#pal-list li.pal-empty { color: var(--muted); cursor: default; justify-content: center; padding: 18px; }
.pal-foot { display: flex; gap: 16px; padding: 9px 14px; border-top: 1px solid var(--line); background: var(--card-2); color: var(--muted); font-size: 12px; }
.pal-foot kbd { margin-right: 3px; }
@keyframes pal-fade { from { opacity: 0; } }
@keyframes pal-in { from { opacity: 0; transform: translateY(-6px) scale(.985); } }
@media (prefers-reduced-motion: reduce) { .pal-back, .pal { animation: none; } }
@media (max-width: 640px) {
.pal-back { padding: 10px 10px 16px; }
.pal { max-height: calc(100dvh - 26px); }
.pal-kind { width: 40px; font-size: 10px; }
.pal-hint { display: none; }
.pal-foot { display: none; }
}
/* Proof page: seal, result cards and the copyable re-run command */
.seal { display: inline-flex; align-items: center; gap: 10px; margin-top: 12px; padding: 8px 14px 8px 10px;
border: 1.5px solid var(--ok); border-radius: 12px; background: var(--ok-soft); color: var(--ok); max-width: 100%; }
.seal svg { flex: 0 0 auto; }
.seal b { display: block; font: 600 14px/1.2 "IBM Plex Mono", ui-monospace, monospace; letter-spacing: .02em; word-break: break-word; }
.seal small { display: block; font-size: 12px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; opacity: .85; }
.vres-pair { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; margin-top: 14px; }
.vres { min-width: 0; padding: 12px 14px; border-radius: 12px; border: 1px solid var(--line); background: var(--card-2); }
.vres.present { border-color: color-mix(in srgb, var(--bad) 45%, var(--line)); background: var(--bad-soft); }
.vres.gone { border-color: color-mix(in srgb, var(--ok) 45%, var(--line)); background: var(--ok-soft); }
.vres-head { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 4px 8px;
font-size: 12px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; color: var(--ink-2); }
.vres-head code { text-transform: none; letter-spacing: 0; font-weight: 400; background: var(--card); }
.vres-state { margin-top: 8px; font-size: 18px; font-weight: 700; letter-spacing: -.01em; }
.vres.present .vres-state { color: var(--bad); } .vres.gone .vres-state { color: var(--ok); } .vres.fail .vres-state { color: var(--warn); }
.vres-sub { margin-top: 2px; font: 12.5px/1.45 "IBM Plex Mono", ui-monospace, monospace; color: var(--ink-2); }
.vres-exp { margin-top: 6px; font-size: 12px; color: var(--muted); }
.cmd { display: flex; align-items: flex-start; gap: 8px; margin-top: 8px; padding: 8px 8px 8px 12px; border-radius: 10px;
background: var(--term); border: 1px solid var(--line); }
.cmd code { flex: 1; min-width: 0; padding: 4px 0; background: none; border: 0; color: var(--term-ink); font-size: 12.5px; line-height: 1.5; word-break: break-all; }
.cmd .btn { flex: 0 0 auto; background: color-mix(in srgb, var(--term-ink) 10%, transparent); color: var(--term-ink);
border-color: color-mix(in srgb, var(--term-ink) 25%, transparent); }
.cmd .btn:hover { border-color: color-mix(in srgb, var(--term-ink) 45%, transparent); }
@media (max-width: 480px) { .vres-pair { grid-template-columns: minmax(0, 1fr); } }
/* Proof page: the agent-written fix and its diff */
.fix-card { margin-top: 20px; min-width: 0; }
.fix-card pre.file { max-height: 360px; overflow: auto; font-size: 12px; background: var(--card-2); padding: 10px; border-radius: 8px; margin-top: 8px; }
pre.diff .da { color: var(--ok); background: var(--ok-soft); display: inline-block; min-width: 100%; }
pre.diff .dd { color: var(--bad); background: var(--bad-soft); display: inline-block; min-width: 100%; }
pre.diff .dh { color: var(--muted); }
|