Download static/extra.css from premmm/slopproof: direct link, hf CLI and curl.
- Browser
- Download file 6.53 kB
-
https://huggingface.co/spaces/premmm/slopproof/resolve/main/static/extra.css
- Command line
-
hf download hf://spaces/premmm/slopproof/static/extra.css
-
curl -L -o extra.css https://huggingface.co/spaces/premmm/slopproof/resolve/main/static/extra.css
6.53 kB
| /* 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); } | |