Download static/app.css from premmm/slopproof: direct link, hf CLI and curl.
- Browser
- Download file 25.7 kB
-
https://huggingface.co/spaces/premmm/slopproof/resolve/main/static/app.css
- Command line
-
hf download hf://spaces/premmm/slopproof/static/app.css
-
curl -L -o app.css https://huggingface.co/spaces/premmm/slopproof/resolve/main/static/app.css
25.7 kB
| :root { | |
| --bg: #f6f7f9; --card: #ffffff; --card-2: #f1f3f6; --ink: #0f1419; --ink-2: #3a4450; --muted: #6a7480; | |
| --line: #e2e6eb; --line-2: #d3d9e0; | |
| --accent: #3157ff; --accent-ink: #ffffff; --accent-soft: #e8edff; | |
| --ok: #0e8a5f; --ok-soft: #e3f5ee; --warn: #b26b00; --warn-soft: #fff2db; | |
| --bad: #c92f2f; --bad-soft: #fde8e8; --fab: #7a3fd1; --fab-soft: #f1e9fd; | |
| --term: #0d1117; --term-ink: #d6dde6; | |
| --shadow: 0 1px 2px rgba(16, 24, 40, .05), 0 4px 16px rgba(16, 24, 40, .06); | |
| --radius: 14px; --on-status: #ffffff; | |
| color-scheme: light; | |
| } | |
| @media (prefers-color-scheme: dark) { | |
| :root:not([data-theme="light"]) { | |
| --bg: #0b0e13; --card: #12161d; --card-2: #181d26; --ink: #e8edf3; --ink-2: #c3ccd6; --muted: #8b96a3; | |
| --line: #232a35; --line-2: #2e3744; --accent: #7c96ff; --accent-ink: #0b0e13; --accent-soft: #1b2340; | |
| --ok: #3ccf91; --ok-soft: #10281f; --warn: #f0b04a; --warn-soft: #2a2010; --bad: #ff6b61; --bad-soft: #2d1414; | |
| --fab: #b48cff; --fab-soft: #221a33; --term: #07090c; --shadow: 0 1px 2px rgba(0, 0, 0, .4); color-scheme: dark; --on-status: #0b0e13; | |
| } | |
| } | |
| :root[data-theme="dark"] { | |
| --bg: #0b0e13; --card: #12161d; --card-2: #181d26; --ink: #e8edf3; --ink-2: #c3ccd6; --muted: #8b96a3; | |
| --line: #232a35; --line-2: #2e3744; --accent: #7c96ff; --accent-ink: #0b0e13; --accent-soft: #1b2340; | |
| --ok: #3ccf91; --ok-soft: #10281f; --warn: #f0b04a; --warn-soft: #2a2010; --bad: #ff6b61; --bad-soft: #2d1414; | |
| --fab: #b48cff; --fab-soft: #221a33; --term: #07090c; --shadow: 0 1px 2px rgba(0, 0, 0, .4); color-scheme: dark; --on-status: #0b0e13; | |
| } | |
| * { box-sizing: border-box; } | |
| html { scroll-behavior: smooth; } | |
| body { margin: 0; background: var(--bg); color: var(--ink); font: 15px/1.55 "IBM Plex Sans", system-ui, sans-serif; -webkit-font-smoothing: antialiased; } | |
| a { color: var(--accent); text-decoration: none; } | |
| a:hover { text-decoration: underline; } | |
| code, .mono, pre { font-family: "IBM Plex Mono", ui-monospace, monospace; } | |
| code { font-size: .88em; background: var(--card-2); border: 1px solid var(--line); padding: 1px 5px; border-radius: 5px; word-break: break-word; } | |
| pre { white-space: pre-wrap; word-break: break-word; margin: 0; } | |
| h1, h2, h3 { letter-spacing: -.02em; margin: 0; } | |
| .muted { color: var(--muted); } | |
| .hidden { display: none ; } | |
| /* Top bar */ | |
| .top { position: sticky; top: 0; z-index: 20; display: flex; align-items: center; gap: 24px; padding: 12px 28px; | |
| background: color-mix(in srgb, var(--bg) 82%, transparent); backdrop-filter: blur(10px); border-bottom: 1px solid var(--line); } | |
| .brand { display: flex; align-items: center; gap: 10px; color: var(--ink); } | |
| .brand:hover { text-decoration: none; } | |
| .brand .mark { color: var(--accent); display: grid; place-items: center; } | |
| .brand b { display: block; font-size: 16px; letter-spacing: -.01em; } | |
| .brand small { display: block; color: var(--muted); font-size: 12px; margin-top: -2px; } | |
| nav { display: flex; gap: 4px; flex: 1; } | |
| nav a { color: var(--ink-2); padding: 7px 12px; border-radius: 8px; font-weight: 500; font-size: 14px; } | |
| nav a:hover { background: var(--card-2); text-decoration: none; } | |
| nav a.active { background: var(--ink); color: var(--bg); } | |
| .tools { display: flex; gap: 6px; } | |
| .icon-btn { display: grid; place-items: center; width: 36px; height: 36px; border-radius: 9px; border: 1px solid var(--line); | |
| background: var(--card); color: var(--ink-2); cursor: pointer; } | |
| .icon-btn:hover { border-color: var(--line-2); text-decoration: none; } | |
| main { max-width: 1180px; margin: 0 auto; padding: 28px 24px 60px; } | |
| footer { display: flex; justify-content: space-between; gap: 16px; flex-wrap: wrap; max-width: 1180px; margin: 0 auto; | |
| padding: 18px 24px 40px; color: var(--muted); font-size: 13px; border-top: 1px solid var(--line); } | |
| /* Cards and buttons */ | |
| .card { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 22px; box-shadow: var(--shadow); } | |
| .kicker { font-size: 12px; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--muted); } | |
| .btn { display: inline-flex; align-items: center; justify-content: center; gap: 8px; height: 42px; padding: 0 18px; border-radius: 10px; | |
| border: 1px solid var(--line); background: var(--card); color: var(--ink); font: inherit; font-weight: 600; cursor: pointer; white-space: nowrap; } | |
| .btn:hover { border-color: var(--line-2); text-decoration: none; } | |
| .btn.primary { background: var(--accent); border-color: var(--accent); color: var(--accent-ink); } | |
| .btn.primary:hover { filter: brightness(1.06); } | |
| .btn:disabled { opacity: .55; cursor: not-allowed; } | |
| .btn.small { height: 32px; padding: 0 12px; font-size: 13px; border-radius: 8px; } | |
| input[type=url], input[type=text], input[type=password], input[type=search], textarea { | |
| width: 100%; padding: 11px 14px; border: 1px solid var(--line-2); border-radius: 10px; background: var(--card); color: var(--ink); font: inherit; } | |
| input::placeholder, textarea::placeholder { color: var(--muted); opacity: 1; } | |
| input:focus, textarea:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); outline-offset: 1px; border-color: var(--accent); } | |
| .row { display: flex; gap: 10px; align-items: center; } | |
| .row.wrap { flex-wrap: wrap; } | |
| .between { justify-content: space-between; } | |
| .grow { flex: 1; } | |
| /* Home */ | |
| .hero { display: grid; grid-template-columns: 1.15fr .85fr; gap: 20px; align-items: stretch; margin-bottom: 28px; } | |
| .hero h1 { font-size: clamp(30px, 4.2vw, 46px); line-height: 1.08; } | |
| .hero h1 em { font-style: normal; color: var(--accent); } | |
| .hero p.lead { color: var(--ink-2); font-size: 17px; margin: 14px 0 0; max-width: 60ch; } | |
| .kpis { display: grid; gap: 10px; grid-auto-rows: 1fr; } | |
| .kpi { display: flex; gap: 14px; align-items: center; background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 14px 16px; } | |
| .kpi .n { font-size: 30px; font-weight: 700; letter-spacing: -.02em; min-width: 92px; } | |
| .kpi .n.ok { color: var(--ok); } .kpi .n.bad { color: var(--bad); } .kpi .n.accent { color: var(--accent); } | |
| .kpi .l { color: var(--ink-2); font-size: 14px; line-height: 1.35; } | |
| .triage-form .url-row { display: flex; gap: 10px; } | |
| .triage-form .url-row input { font-size: 16px; height: 50px; } | |
| .triage-form .url-row .btn { height: 50px; padding: 0 26px; } | |
| .options { display: flex; flex-wrap: wrap; gap: 14px; align-items: center; margin-top: 14px; } | |
| .switch { display: inline-flex; align-items: center; gap: 10px; cursor: pointer; user-select: none; font-weight: 500; } | |
| .switch input { appearance: none; width: 38px; height: 22px; border-radius: 99px; background: var(--line-2); position: relative; cursor: pointer; transition: background .15s; margin: 0; } | |
| .switch input::after { content: ""; position: absolute; top: 3px; left: 3px; width: 16px; height: 16px; border-radius: 50%; background: #fff; transition: left .15s; } | |
| .switch input:checked { background: var(--accent); } | |
| .switch input:checked::after { left: 19px; } | |
| .switch input:disabled { opacity: .5; } | |
| #passcode { width: 190px; height: 36px; padding: 6px 12px; } | |
| .paste summary { cursor: pointer; color: var(--muted); margin-top: 12px; } | |
| .paste .grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin-top: 10px; } | |
| .paste textarea { margin-top: 10px; min-height: 140px; } | |
| .examples { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 16px; align-items: center; } | |
| .ex { display: inline-flex; align-items: center; gap: 8px; padding: 7px 12px; border-radius: 99px; border: 1px solid var(--line); | |
| background: var(--card-2); color: var(--ink-2); font-size: 13px; cursor: pointer; } | |
| .ex:hover { border-color: var(--line-2); color: var(--ink); text-decoration: none; } | |
| .tag { display: inline-flex; align-items: center; font-size: 12px; font-weight: 600; padding: 2px 8px; border-radius: 99px; letter-spacing: .02em; white-space: nowrap; } | |
| .tag.slop { background: var(--fab-soft); color: var(--fab); } .tag.real { background: var(--bad-soft); color: var(--bad); } | |
| .tag.invalid { background: var(--card-2); color: var(--muted); } | |
| .form-msg { margin-top: 12px; font-size: 14px; } | |
| .form-msg.err { color: var(--bad); } | |
| .section-title { display: flex; align-items: baseline; justify-content: space-between; margin: 34px 0 12px; } | |
| .section-title h2 { font-size: 20px; } | |
| .recent { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 10px; } | |
| .recent a { display: block; background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 12px 14px; color: var(--ink); } | |
| .recent a:hover { border-color: var(--line-2); text-decoration: none; } | |
| .recent .t { font-weight: 600; font-size: 14px; display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; word-break: break-word; } | |
| .recent .m { color: var(--muted); font-size: 12px; margin-top: 6px; display: flex; gap: 8px; align-items: center; } | |
| .steps3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; } | |
| .steps3 .card { padding: 18px; } | |
| .steps3 b { display: block; margin: 6px 0 4px; } | |
| .steps3 p { margin: 0; color: var(--ink-2); font-size: 14px; } | |
| /* Run view */ | |
| .run-head { display: grid; grid-template-columns: 1fr auto; gap: 16px; align-items: start; } | |
| .run-head h1 { font-size: 22px; line-height: 1.3; word-break: break-word; } | |
| .run-meta { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-top: 8px; color: var(--muted); font-size: 13px; } | |
| .status { display: inline-flex; align-items: center; gap: 7px; font-size: 12px; font-weight: 700; letter-spacing: .04em; text-transform: uppercase; | |
| padding: 4px 10px; border-radius: 99px; background: var(--card-2); color: var(--ink-2); } | |
| .status.running, .status.queued { background: var(--accent-soft); color: var(--accent); } | |
| .status.done { background: var(--ok-soft); color: var(--ok); } | |
| .status.error, .status.interrupted { background: var(--bad-soft); color: var(--bad); } | |
| .status .pulse { width: 7px; height: 7px; border-radius: 50%; background: currentColor; animation: pulse 1.2s infinite; } | |
| @keyframes pulse { 50% { opacity: .25; } } | |
| .progress { height: 6px; background: var(--card-2); border-radius: 99px; overflow: hidden; margin-top: 16px; } | |
| .progress > div { height: 100%; background: var(--accent); border-radius: 99px; transition: width .4s ease; } | |
| .run-grid { display: grid; grid-template-columns: minmax(0, 1fr) 320px; gap: 20px; margin-top: 20px; align-items: start; } | |
| .side { position: sticky; top: 84px; display: grid; gap: 14px; } | |
| .side .card { padding: 18px; } | |
| .side dl { margin: 10px 0 0; display: grid; grid-template-columns: auto 1fr; gap: 6px 14px; font-size: 13px; } | |
| .side dt { color: var(--muted); } .side dd { margin: 0; text-align: right; font-family: "IBM Plex Mono", monospace; } | |
| .clock { font-size: 30px; font-weight: 700; letter-spacing: -.02em; font-variant-numeric: tabular-nums; } | |
| .now { font-size: 13px; color: var(--ink-2); margin-top: 4px; min-height: 2.6em; word-break: break-word; } | |
| .report-card details summary { cursor: pointer; color: var(--muted); font-size: 13px; } | |
| .report-card pre { max-height: 360px; overflow: auto; font-size: 12.5px; background: var(--card-2); padding: 12px; border-radius: 10px; margin-top: 10px; } | |
| .timeline { list-style: none; margin: 0; padding: 0; position: relative; } | |
| .timeline::before { content: ""; position: absolute; left: 17px; top: 10px; bottom: 10px; width: 2px; background: var(--line); } | |
| .st { position: relative; padding-left: 50px; margin-bottom: 12px; } | |
| .st .icon { position: absolute; left: 4px; top: 12px; width: 28px; height: 28px; border-radius: 50%; display: grid; place-items: center; | |
| background: var(--card); border: 2px solid var(--line-2); color: var(--muted); font-size: 13px; font-weight: 700; z-index: 1; } | |
| .st.running .icon { border-color: var(--accent); color: var(--accent); } | |
| .st.running .icon::after { content: ""; position: absolute; inset: -5px; border-radius: 50%; border: 2px solid transparent; border-top-color: var(--accent); animation: spin .9s linear infinite; } | |
| @keyframes spin { to { transform: rotate(360deg); } } | |
| .st.done .icon { background: var(--ok); border-color: var(--ok); color: var(--on-status); } | |
| .st.warn .icon { background: var(--warn); border-color: var(--warn); color: var(--on-status); } | |
| .st.failed .icon { background: var(--bad); border-color: var(--bad); color: var(--on-status); } | |
| .st.skipped .icon { border-style: dashed; } | |
| .st .box { background: var(--card); border: 1px solid var(--line); border-radius: 12px; box-shadow: var(--shadow); overflow: hidden; } | |
| .st.pending .box, .st.skipped .box { box-shadow: none; background: transparent; border-style: dashed; } | |
| .st.running .box { border-color: color-mix(in srgb, var(--accent) 55%, var(--line)); } | |
| .st .hd { display: flex; align-items: center; gap: 10px; padding: 12px 16px; cursor: pointer; } | |
| .st .hd .title { font-weight: 600; flex: 1; min-width: 0; } | |
| .st .hd .title small { display: block; font-weight: 400; color: var(--muted); font-size: 13px; margin-top: 1px; } | |
| .st.pending .hd .title, .st.skipped .hd .title { color: var(--muted); font-weight: 500; } | |
| .chip { font: 12.5px "IBM Plex Mono", monospace; color: var(--muted); border: 1px solid var(--line); border-radius: 6px; padding: 2px 7px; white-space: nowrap; } | |
| .st .when { font: 12.5px "IBM Plex Mono", monospace; color: var(--muted); min-width: 48px; text-align: right; } | |
| .st .chev { color: var(--muted); transition: transform .15s; } | |
| .st.open .chev { transform: rotate(90deg); } | |
| .st .bd { display: none; padding: 2px 16px 16px; border-top: 1px solid var(--line); } | |
| .st.open .bd { display: block; } | |
| .st .bd:empty { display: none; } | |
| .facts { display: grid; gap: 10px; margin-top: 12px; } | |
| .fact { display: grid; grid-template-columns: 22px 1fr; gap: 10px; font-size: 14px; } | |
| .fact .ic { width: 22px; height: 22px; border-radius: 6px; display: grid; place-items: center; font-size: 12px; font-weight: 700; } | |
| .fact.good .ic { background: var(--ok-soft); color: var(--ok); } .fact.bad .ic { background: var(--bad-soft); color: var(--bad); } | |
| .fact.meh .ic { background: var(--card-2); color: var(--muted); } | |
| .fact .sub { color: var(--muted); font-size: 13px; margin-top: 3px; word-break: break-word; } | |
| .term { background: var(--term); color: var(--term-ink); border-radius: 10px; padding: 12px 14px; font: 12.5px/1.5 "IBM Plex Mono", monospace; | |
| max-height: 460px; overflow: auto; white-space: pre-wrap; word-break: break-word; margin-top: 12px; } | |
| .term .cmd { color: #7ee787; } .term .fail { color: #ffa198; } .term .ok { color: #7ee787; } .term .file { color: #79c0ff; } .term .dim { color: #8b949e; } | |
| .ldiff summary { cursor: pointer; } | |
| .ldiff pre { font-size: 12px; background: var(--card-2); border: 1px solid var(--line); border-radius: 8px; padding: 8px; max-height: 320px; overflow: auto; margin-top: 6px; } | |
| .ldiff .add { color: var(--bad); } .ldiff .del { color: var(--ok); } | |
| .verdict { border-width: 2px; margin-top: 8px; } | |
| #r-verdict { scroll-margin-top: 80px; } | |
| .vsum { display: flex; align-items: center; gap: 14px; margin-top: 16px; padding: 12px 14px 12px 12px; border: 2px solid var(--line); | |
| border-radius: 12px; background: var(--card); box-shadow: var(--shadow); animation: rise .35s ease; } | |
| .vsum .vbadge { white-space: nowrap; } | |
| .vsum .vtext { flex: 1; min-width: 0; font-weight: 600; line-height: 1.35; } | |
| .vsum .vtext small { display: block; font-weight: 400; color: var(--muted); font-size: 13px; margin-top: 2px; } | |
| .vsum .btn { white-space: nowrap; } | |
| @keyframes rise { from { opacity: 0; transform: translateY(6px); } } | |
| @media (max-width: 640px) { .vsum { flex-wrap: wrap; } .vsum .btn { width: 100%; justify-content: center; } } | |
| .verdict .vhead { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; } | |
| .vbadge { font-weight: 800; letter-spacing: .05em; padding: 6px 12px; border-radius: 8px; color: var(--on-status); font-size: 14px; } | |
| .v-CONFIRMED { border-color: var(--bad); } .v-CONFIRMED .vbadge { background: var(--bad); } | |
| .v-PLAUSIBLE { border-color: var(--warn); } .v-PLAUSIBLE .vbadge { background: var(--warn); } | |
| .v-NOT_REPRODUCED { border-color: var(--ok); } .v-NOT_REPRODUCED .vbadge { background: var(--ok); } | |
| .v-FABRICATED { border-color: var(--fab); } .v-FABRICATED .vbadge { background: var(--fab); } | |
| .verdict h2 { font-size: 20px; line-height: 1.35; margin: 14px 0 6px; } | |
| .verdict .action { font-weight: 600; color: var(--ink-2); } | |
| .reply { position: relative; background: var(--card-2); border: 1px solid var(--line); border-radius: 10px; padding: 14px 16px; margin-top: 8px; font-size: 14px; } | |
| .reply pre { font-family: inherit; padding-right: 70px; } | |
| .reply .btn { position: absolute; top: 8px; right: 8px; } | |
| .ledger { width: 100%; border-collapse: collapse; font-size: 13px; margin-top: 8px; } | |
| .ledger th, .ledger td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--line); } | |
| .ledger th { color: var(--muted); font-weight: 500; } | |
| /* Benchmark */ | |
| .page-head h1 { font-size: 30px; } | |
| .page-head p { color: var(--ink-2); max-width: 75ch; margin: 8px 0 0; } | |
| .stats { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; margin: 22px 0; } | |
| .stat { background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 16px; } | |
| .stat .n { font-size: 30px; font-weight: 700; letter-spacing: -.02em; } | |
| .stat .n.ok { color: var(--ok); } .stat .n.accent { color: var(--accent); } | |
| .stat .l { color: var(--muted); font-size: 13px; } | |
| .compare { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; } | |
| .bars { display: grid; gap: 14px; margin-top: 12px; } | |
| .bar .lbl { display: flex; justify-content: space-between; font-size: 13px; color: var(--ink-2); margin-bottom: 5px; } | |
| .bar .track { height: 10px; background: var(--card-2); border-radius: 99px; overflow: hidden; } | |
| .bar .fill { height: 100%; border-radius: 99px; background: var(--accent); } | |
| .bar .fill.base { background: var(--muted); } .bar .fill.bad { background: var(--bad); } | |
| .legend { display: flex; gap: 14px; font-size: 12px; color: var(--muted); margin-top: 10px; } | |
| .legend i { display: inline-block; width: 10px; height: 10px; border-radius: 3px; margin-right: 6px; vertical-align: -1px; } | |
| .table-tools { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; margin-bottom: 12px; } | |
| .table-tools input { max-width: 280px; height: 38px; } | |
| .seg { flex-wrap: wrap; display: inline-flex; background: var(--card-2); border: 1px solid var(--line); border-radius: 10px; padding: 3px; } | |
| .seg button { border: 0; background: transparent; color: var(--ink-2); padding: 6px 12px; border-radius: 7px; font: inherit; font-size: 13px; font-weight: 500; cursor: pointer; } | |
| .seg button.active { background: var(--card); color: var(--ink); box-shadow: var(--shadow); } | |
| table.bench { width: 100%; border-collapse: collapse; font-size: 14px; } | |
| table.bench th { text-align: left; font-size: 12px; color: var(--muted); font-weight: 500; padding: 8px 10px; border-bottom: 1px solid var(--line); } | |
| table.bench td { padding: 11px 10px; border-bottom: 1px solid var(--line); vertical-align: top; } | |
| table.bench tbody tr { cursor: pointer; } | |
| table.bench tbody tr:hover td { background: var(--card-2); } | |
| .vt { font: 600 12px "IBM Plex Mono", monospace; } | |
| .vt.CONFIRMED { color: var(--bad); } .vt.PLAUSIBLE { color: var(--warn); } .vt.NOT_REPRODUCED { color: var(--ok); } .vt.FABRICATED { color: var(--fab); } | |
| /* Proof and how */ | |
| .proof-grid { display: grid; grid-template-columns: 1.1fr .9fr; gap: 20px; margin-top: 22px; } | |
| .proof-grid pre.file { max-height: 260px; overflow: auto; font-size: 12px; background: var(--card-2); padding: 10px; border-radius: 8px; margin-top: 8px; } | |
| .pipeline { display: grid; gap: 10px; padding: 0; margin: 16px 0 0; counter-reset: step; } | |
| .pipeline li { list-style: none; display: grid; grid-template-columns: 40px 1fr; gap: 12px; background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 14px 16px; } | |
| .pipeline li::before { counter-increment: step; content: counter(step); width: 30px; height: 30px; border-radius: 9px; background: var(--accent-soft); color: var(--accent); display: grid; place-items: center; font-weight: 700; } | |
| .pipeline b { display: block; } .pipeline span { color: var(--ink-2); font-size: 14px; } | |
| .rules { display: grid; grid-template-columns: repeat(2, 1fr); gap: 12px; margin-top: 12px; } | |
| .rules .card { padding: 16px; } .rules b { display: block; margin-bottom: 4px; } .rules p { margin: 0; color: var(--ink-2); font-size: 14px; } | |
| #toast { position: fixed; left: 50%; bottom: 24px; transform: translateX(-50%) translateY(20px); opacity: 0; transition: all .2s; | |
| background: var(--ink); color: var(--bg); padding: 10px 16px; border-radius: 10px; font-size: 14px; pointer-events: none; z-index: 50; } | |
| #toast.show { opacity: 1; transform: translateX(-50%); } | |
| .skeleton { height: 14px; border-radius: 6px; background: linear-gradient(90deg, var(--card-2), var(--line), var(--card-2)); background-size: 200% 100%; animation: sk 1.2s infinite; } | |
| @keyframes sk { to { background-position: -200% 0; } } | |
| @media (max-width: 960px) { | |
| .hero, .run-grid, .compare, .proof-grid { grid-template-columns: minmax(0, 1fr); } | |
| .side { position: static; order: -1; } | |
| .stats { grid-template-columns: repeat(2, 1fr); } | |
| .steps3, .rules { grid-template-columns: 1fr; } | |
| } | |
| @media (max-width: 640px) { | |
| .top { padding: 10px 16px; gap: 10px; flex-wrap: wrap; } | |
| .brand { flex: 1; } | |
| nav { order: 3; flex: 0 0 100%; overflow-x: auto; } | |
| nav a { white-space: nowrap; padding: 7px 9px; font-size: 13.5px; } | |
| .hide-xs { display: none; } | |
| #r-verdict { scroll-margin-top: 120px; } | |
| .retro { padding: 0 16px 18px; } .retro .titlebar { margin: 0 -16px 14px; } | |
| .term-line { font-size: 19px; } | |
| main { padding: 18px 16px 48px; } | |
| .triage-form .url-row { flex-direction: column; } | |
| .paste .grid2 { grid-template-columns: 1fr; } | |
| .st { padding-left: 42px; } .timeline::before { left: 13px; } .st .icon { left: 0; } | |
| .st .hd .chip { display: none; } | |
| table.bench .hide-sm { display: none; } | |
| .run-head { grid-template-columns: 1fr; } | |
| } | |
| /* Hero, 90s style: typed terminal lines, a blinking block cursor, a glitchy "Proof", CRT scanlines and a marquee. */ | |
| .retro { position: relative; padding: 0 24px 24px; border: 1px solid var(--line); background: var(--card); box-shadow: var(--shadow); | |
| border-radius: 14px; overflow: hidden; min-width: 0; } | |
| .retro .titlebar { display: flex; align-items: center; gap: 7px; margin: 0 -24px 18px; padding: 9px 14px; border-bottom: 1px solid var(--line); | |
| background: var(--card-2); font: 17px/1 "VT323", monospace; color: var(--muted); } | |
| .retro .titlebar i { width: 11px; height: 11px; border-radius: 50%; background: var(--line-2); } | |
| .retro .titlebar i:nth-child(1) { background: #ff5f57; } .retro .titlebar i:nth-child(2) { background: #febc2e; } .retro .titlebar i:nth-child(3) { background: #28c840; } | |
| .retro .titlebar span { margin-left: 8px; } | |
| .retro::after { content: ""; position: absolute; inset: 0; pointer-events: none; border-radius: inherit; | |
| background: repeating-linear-gradient(to bottom, transparent 0 2px, color-mix(in srgb, var(--ink) 5%, transparent) 2px 3px); | |
| animation: scan 8s linear infinite; } | |
| @keyframes scan { to { background-position: 0 120px; } } | |
| .term-line { font-family: "VT323", "IBM Plex Mono", monospace; font-size: 22px; line-height: 1.2; color: var(--ok); letter-spacing: .02em; min-height: 1.2em; } | |
| .term-line .prompt { color: var(--muted); margin-right: 8px; } | |
| .typed { min-height: 2.2em; } | |
| .cursor { display: inline-block; width: .5em; height: .95em; margin-left: 3px; background: currentColor; vertical-align: -.08em; animation: blink 1s steps(1) infinite; } | |
| @keyframes blink { 50% { opacity: 0; } } | |
| .glitch { position: relative; display: inline-block; color: var(--accent); text-shadow: 2px 0 rgba(255, 0, 110, .55), -2px 0 rgba(0, 210, 255, .55); animation: glitch 3.2s infinite; } | |
| @keyframes glitch { | |
| 0%, 90%, 100% { transform: none; text-shadow: 2px 0 rgba(255, 0, 110, .55), -2px 0 rgba(0, 210, 255, .55); } | |
| 91% { transform: translate(-2px, 1px) skewX(-6deg); text-shadow: -4px 0 rgba(255, 0, 110, .8), 4px 0 rgba(0, 210, 255, .8); } | |
| 93% { transform: translate(2px, -1px); text-shadow: 3px 0 rgba(255, 0, 110, .8), -3px 0 rgba(0, 210, 255, .8); } | |
| 95% { transform: none; } | |
| } | |
| .marquee { overflow: hidden; border-block: 1px dashed var(--line-2); margin: 0 0 26px; padding: 8px 0; mask-image: linear-gradient(90deg, transparent, #000 6%, #000 94%, transparent); } | |
| .marquee .track { display: inline-flex; gap: 40px; white-space: nowrap; animation: marquee 38s linear infinite; font-family: "VT323", monospace; font-size: 21px; color: var(--ink-2); } | |
| .marquee:hover .track { animation-play-state: paused; } | |
| .marquee .track b { color: var(--accent); font-weight: 400; } | |
| @keyframes marquee { to { transform: translateX(-50%); } } | |
| @media (prefers-reduced-motion: reduce) { | |
| .retro::after, .cursor, .glitch, .marquee .track { animation: none; } | |
| } | |
| .tour { position: sticky; top: 61px; z-index: 15; display: flex; gap: 14px; align-items: center; flex-wrap: wrap; | |
| padding: 10px 28px; background: var(--accent); color: var(--accent-ink); font-size: 14px; } | |
| .tour-n { font-family: "VT323", monospace; font-size: 20px; white-space: nowrap; } | |
| .tour-t { flex: 1; min-width: 240px; } | |
| .tour .btn { height: 30px; } | |
| .tour .btn:not(.primary) { background: transparent; color: var(--accent-ink); border-color: color-mix(in srgb, var(--accent-ink) 50%, transparent); } | |
| .tour .btn.primary { background: var(--accent-ink); color: var(--accent); border-color: var(--accent-ink); } | |
| @media (max-width: 640px) { .tour { top: 104px; padding: 10px 16px; } } | |
| .more { display: flex; justify-content: center; padding-top: 14px; border-top: 1px solid var(--line); margin-top: 4px; } | |