/* Certora — certificate issuer & verifier (Ownware family, indigo) */
:root{
  --accent:#4f46e5; --accent-dark:#4338ca; --accent-soft:#eef2ff;
  --ink:#0f172a; --sub:#5b6470; --line:#e5e7eb; --bg:#f6f7fb; --card:#fff;
  --green:#15803d; --greenbg:#dcfce7; --greenline:#a7f3d0;
  --amber:#b45309; --amberbg:#fef3c7; --amberline:#fde68a;
  --red:#b91c1c;   --redbg:#fee2e2;   --redline:#fecaca;
  --none:#94a3b8;  --nonebg:#f1f5f9;
  --radius:12px; --shadow:0 1px 2px rgba(16,24,40,.04),0 1px 3px rgba(16,24,40,.06);
}
*{box-sizing:border-box}
html,body{margin:0;background:var(--bg);color:var(--ink);
  font:15px/1.55 -apple-system,BlinkMacSystemFont,"Segoe UI",Inter,Roboto,Helvetica,Arial,sans-serif}
a{color:var(--accent);text-decoration:none} a:hover{text-decoration:underline}
h1{font-size:1.5rem;margin:0 0 4px;letter-spacing:-.01em} h2{font-size:1.05rem;margin:0 0 12px} h3{margin:0}
.muted{color:var(--sub)} .small{font-size:.85rem} .center{text-align:center}
.num{text-align:right;font-variant-numeric:tabular-nums}
.mono{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.9em}

.btn{display:inline-flex;align-items:center;gap:7px;background:var(--accent);color:#fff;border:none;
  padding:10px 18px;border-radius:9px;font:inherit;font-weight:600;cursor:pointer;box-shadow:var(--shadow);transition:.12s}
.btn:hover{background:var(--accent-dark);text-decoration:none} .btn:disabled{opacity:.5;cursor:not-allowed}
.btn.sm{padding:6px 12px;font-size:.85rem} .btn.lg{padding:12px 22px;font-size:1rem}
.btn.ghost{background:#fff;color:var(--ink);border:1px solid var(--line);box-shadow:none} .btn.ghost:hover{background:#f8fafc}
.btn.danger{background:#fff;color:var(--red);border:1px solid #f3d3d3;box-shadow:none} .btn.danger:hover{background:#fef2f2}
.btn.block{width:100%;justify-content:center}
.linklike{background:none;border:none;color:var(--red);cursor:pointer;font:inherit;padding:0}

label{display:block;font-size:.85rem;font-weight:600;color:#374151;margin:0 0 5px}
input,select,textarea{width:100%;padding:10px 12px;border:1px solid var(--line);border-radius:9px;font:inherit;background:#fff;color:var(--ink)}
input:focus,select:focus,textarea:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}
input[type=checkbox]{width:auto;transform:scale(1.25);accent-color:var(--accent);margin-right:4px}
textarea{min-height:76px;resize:vertical}
.field{margin-bottom:14px} .row{display:grid;grid-template-columns:1fr 1fr;gap:14px}
@media(max-width:640px){.row{grid-template-columns:1fr}}

.card{background:var(--card);border:1px solid var(--line);border-radius:var(--radius);padding:22px;box-shadow:var(--shadow)}

/* ------ pills ------ */
.pill{display:inline-block;padding:3px 10px;border-radius:20px;font-size:.76rem;font-weight:700;text-transform:capitalize}
.pill.off  {background:#eef1f6;color:#475569}
.pill.ok   {background:var(--greenbg);color:var(--green)}
.pill.warn {background:var(--amberbg);color:var(--amber)}
.pill.bad  {background:var(--redbg);color:var(--red)}
.pill.info {background:var(--accent-soft);color:var(--accent-dark)}

/* merge-token chips */
.tok{display:inline-block;background:var(--accent-soft);color:var(--accent-dark);font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  font-size:.8rem;padding:2px 7px;border-radius:6px;border:1px solid #dcdcfb;margin:0 3px 4px 0}

.alert{padding:11px 15px;border-radius:9px;margin-bottom:14px;font-size:.92rem}
.alert.ok{background:var(--greenbg);color:#065f46;border:1px solid var(--greenline)}
.alert.err{background:var(--redbg);color:#991b1b;border:1px solid var(--redline)}

/* ------ app shell ------ */
.app{display:grid;grid-template-columns:225px 1fr;min-height:100vh}
.side{background:#14152b;color:#c7c9e6;display:flex;flex-direction:column;padding:16px 12px;position:sticky;top:0;height:100vh}
.side .brand{font-size:1.15rem;font-weight:800;color:#fff;margin:6px 8px 20px;display:flex;align-items:center;gap:9px}
.side .brand .dot{width:16px;height:16px;border-radius:5px;background:var(--accent);transform:rotate(45deg)}
.side nav{display:flex;flex-direction:column;gap:2px}
.side nav a{color:#a9abd6;padding:9px 12px;border-radius:8px;display:flex;gap:10px;align-items:center;font-weight:500}
.side nav a:hover{background:#242648;color:#fff;text-decoration:none} .side nav a.on{background:var(--accent);color:#fff}
.side .navsec{color:#6d6f9c;font-size:.7rem;text-transform:uppercase;letter-spacing:.06em;font-weight:700;padding:12px 12px 4px}
.side .foot{margin-top:auto;border-top:1px solid #262845;padding-top:10px}
.main{padding:26px 30px;max-width:1180px}
.topbar{display:flex;justify-content:space-between;align-items:flex-end;margin-bottom:22px;gap:14px;flex-wrap:wrap}
@media(max-width:860px){.app{grid-template-columns:1fr}.side{position:static;height:auto}}

/* ------ KPI grid ------ */
.kpis{display:grid;grid-template-columns:repeat(4,1fr);gap:14px;margin-bottom:20px}
@media(max-width:860px){.kpis{grid-template-columns:repeat(2,1fr)}}
.kpi{background:#fff;border:1px solid var(--line);border-radius:12px;padding:16px 18px;box-shadow:var(--shadow)}
.kpi .l{font-size:.78rem;text-transform:uppercase;letter-spacing:.04em;color:var(--sub);font-weight:700}
.kpi .v{font-size:1.65rem;font-weight:800;margin-top:5px} .kpi.a .v{color:var(--accent)}
.kpi.green .v{color:var(--green)} .kpi.red .v{color:var(--red)}

/* ------ tables ------ */
table{width:100%;border-collapse:collapse;background:#fff}
th{text-align:left;font-size:.76rem;text-transform:uppercase;letter-spacing:.04em;color:var(--sub);font-weight:700;padding:10px 12px;border-bottom:1px solid var(--line)}
td{padding:11px 12px;border-bottom:1px solid var(--line);vertical-align:middle}
tr:last-child td{border-bottom:none} tbody tr:hover{background:#fafbfd}
tfoot th{border-top:1px solid var(--line);border-bottom:none;color:var(--ink);text-transform:none;font-size:.9rem}
.tbl{border:1px solid var(--line);border-radius:12px;overflow:hidden;box-shadow:var(--shadow)}
.empty{text-align:center;color:var(--sub);padding:34px 20px}
.codecell{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.82rem;letter-spacing:.02em}

/* ------ utilities ------ */
.flex{display:flex;gap:10px;align-items:center} .between{justify-content:space-between} .wrap{flex-wrap:wrap}
.grid2{display:grid;grid-template-columns:1fr 1fr;gap:18px} @media(max-width:860px){.grid2{grid-template-columns:1fr}}
.grid-side{display:grid;grid-template-columns:1fr 320px;gap:20px;align-items:start}@media(max-width:900px){.grid-side{grid-template-columns:1fr}}
hr{border:none;border-top:1px solid var(--line);margin:16px 0}
.hint{font-size:.85rem;color:var(--sub);margin-top:4px}
.disclaimer{font-size:.82rem;color:var(--sub);border-top:1px solid var(--line);margin-top:22px;padding-top:12px}
.picker{max-height:340px;overflow:auto;border:1px solid var(--line);border-radius:10px}
.picker label{display:flex;gap:9px;align-items:center;padding:8px 12px;border-bottom:1px solid var(--line);margin:0;font-weight:500;cursor:pointer}
.picker label:last-child{border-bottom:none} .picker label:hover{background:#fafbfd}

/* ------ public verify page ------ */
.verify-wrap{max-width:560px;margin:8vh auto;padding:20px}
.verify-brand{font-size:1.5rem;font-weight:800;margin-bottom:4px;display:flex;gap:9px;align-items:center}
.verify-brand .dot{width:18px;height:18px;background:var(--accent);border-radius:5px;transform:rotate(45deg)}
.vbadge{display:flex;gap:14px;align-items:center;padding:16px 20px;border-radius:12px;border:1px solid;margin-bottom:18px}
.vbadge .ico{width:40px;height:40px;border-radius:50%;flex:none;display:flex;align-items:center;justify-content:center;font-size:1.3rem;font-weight:800;color:#fff}
.vbadge.valid{background:var(--greenbg);border-color:var(--greenline)} .vbadge.valid .ico{background:var(--green)}
.vbadge.revoked{background:var(--redbg);border-color:var(--redline)} .vbadge.revoked .ico{background:var(--red)}
.vbadge.miss{background:var(--nonebg);border-color:var(--line)} .vbadge.miss .ico{background:var(--none)}
.vrow{display:flex;justify-content:space-between;gap:14px;padding:10px 0;border-bottom:1px solid var(--line)}
.vrow:last-child{border-bottom:none} .vrow .k{color:var(--sub);font-size:.85rem} .vrow .v{font-weight:600;text-align:right}
.hp{position:absolute;left:-9999px;top:-9999px;height:0;width:0;overflow:hidden}

/* ------ print ------ */
@media print{
  .side,.topbar .btn,.noprint{display:none!important}
  .app{grid-template-columns:1fr} .main{max-width:none;padding:0}
  .card,.tbl{box-shadow:none;border-color:#ccc}
}