/* ProvenAlgo — "Ledger" theme */
@import url('https://fonts.googleapis.com/css2?family=Instrument+Serif:ital@0;1&family=IBM+Plex+Mono:wght@400;500;600&family=Inter+Tight:wght@400;500;600;700&display=swap');

:root{
  --paper:#f3efe6; --paper2:#ebe5d8; --card:#faf8f3;
  --ink:#151412; --ink2:#3a3833; --muted:#7a766c;
  --rule:#d6cfbf; --rule2:#c4bba7;
  --signal:#e2531f; --signal-ink:#fff;
  --pos:#1d6b45; --neg:#b3261e;
  --serif:"Instrument Serif",Georgia,"Times New Roman",serif;
  --mono:"IBM Plex Mono",ui-monospace,Menlo,Consolas,monospace;
  --sans:"Inter Tight",-apple-system,"Segoe UI",Roboto,Arial,sans-serif;
  --max:1180px;
}
*{box-sizing:border-box;margin:0;padding:0}
html{scroll-behavior:smooth}
body{font-family:var(--sans);background:var(--paper);color:var(--ink);line-height:1.55;-webkit-font-smoothing:antialiased;
  background-image:linear-gradient(var(--paper),var(--paper)),repeating-linear-gradient(0deg,transparent 0 31px,rgba(0,0,0,.025) 31px 32px);}
a{color:inherit}
.wrap{max-width:var(--max);margin:0 auto;padding:0 28px}
.mono{font-family:var(--mono)}
.serif{font-family:var(--serif);font-weight:400}

/* status strip */
.strip{background:var(--ink);color:#d9d4c7;font-family:var(--mono);font-size:11.5px;letter-spacing:.06em;text-transform:uppercase}
.strip .wrap{display:flex;gap:28px;height:34px;align-items:center;overflow:hidden;white-space:nowrap}
.strip b{color:#fff;font-weight:500}
.strip .sig{color:var(--signal)}
.blink{display:inline-block;width:7px;height:7px;background:var(--signal);margin-right:8px;animation:blink 1.4s steps(2) infinite}
@keyframes blink{50%{opacity:0}}

/* nav */
header.top{border-bottom:1.5px solid var(--ink)}
header.top nav{display:flex;align-items:center;justify-content:space-between;height:72px}
.brand{display:flex;align-items:baseline;gap:2px;text-decoration:none;font-family:var(--serif);font-size:30px;letter-spacing:-.3px}
.brand i{font-style:italic;color:var(--signal)}
.brand small{font-family:var(--mono);font-size:10px;letter-spacing:.12em;color:var(--muted);margin-left:10px;text-transform:uppercase;transform:translateY(-4px)}
.nav-links{display:flex;gap:30px;align-items:center;font-size:14px}
.nav-links a{text-decoration:none;color:var(--ink2)}
.nav-links a:hover{color:var(--signal)}
.btn{display:inline-flex;align-items:center;gap:10px;font-family:var(--mono);font-size:13px;letter-spacing:.04em;text-transform:uppercase;
  padding:12px 18px;border:1.5px solid var(--ink);background:var(--ink);color:var(--paper);text-decoration:none;cursor:pointer;transition:.15s}
.btn:hover{background:var(--signal);border-color:var(--signal);color:var(--signal-ink)}
.btn.ghost{background:transparent;color:var(--ink)}
.btn.ghost:hover{background:var(--ink);color:var(--paper);border-color:var(--ink)}
.btn.sm{padding:8px 12px;font-size:11.5px}
.btn.danger{background:transparent;color:var(--neg);border-color:var(--neg)}
.btn.danger:hover{background:var(--neg);color:#fff}

/* hero */
.hero{padding:76px 0 64px;border-bottom:1.5px solid var(--ink)}
.hero-grid{display:grid;grid-template-columns:1.25fr 1fr;gap:56px;align-items:end}
.kicker{font-family:var(--mono);font-size:12px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted);display:flex;gap:12px;align-items:center}
.kicker:before{content:"";width:28px;height:1.5px;background:var(--signal)}
h1.display{font-family:var(--serif);font-weight:400;font-size:clamp(56px,9vw,128px);line-height:.92;letter-spacing:-2.5px;margin:22px 0 28px}
h1.display i{color:var(--signal)}
.lede{font-size:19px;color:var(--ink2);max-width:520px}
.hero .actions{display:flex;gap:12px;margin-top:34px;flex-wrap:wrap}

/* ledger table */
.ledger{border:1.5px solid var(--ink);background:var(--card)}
.ledger-head{display:flex;justify-content:space-between;padding:12px 16px;border-bottom:1.5px solid var(--ink);font-family:var(--mono);font-size:11.5px;letter-spacing:.08em;text-transform:uppercase}
.ledger table{width:100%;border-collapse:collapse;font-size:14px}
.ledger td,.ledger th{padding:12px 16px;border-bottom:1px solid var(--rule);text-align:left;vertical-align:top}
.ledger th{font-family:var(--mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-weight:500}
.ledger tr:last-child td{border-bottom:0}
.ledger td.no{font-family:var(--mono);color:var(--muted);width:56px}
.ledger td.st{font-family:var(--mono);font-size:11.5px;white-space:nowrap;text-align:right}
.tag{display:inline-block;padding:2px 7px;border:1px solid currentColor;font-family:var(--mono);font-size:10.5px;letter-spacing:.06em;text-transform:uppercase}
.tag.ok{color:var(--pos)} .tag.wait{color:var(--signal)} .tag.off{color:var(--muted)} .tag.bad{color:var(--neg)}

/* sections */
section.blk{padding:84px 0;border-bottom:1.5px solid var(--ink)}
.sec-head{display:grid;grid-template-columns:140px 1fr;gap:28px;margin-bottom:46px}
.sec-no{font-family:var(--mono);font-size:13px;color:var(--signal);letter-spacing:.08em;padding-top:12px}
h2{font-family:var(--serif);font-weight:400;font-size:clamp(38px,5vw,64px);line-height:1;letter-spacing:-1.2px}
h2 i{color:var(--signal)}
.sec-head p{color:var(--ink2);font-size:17px;max-width:640px;margin-top:16px}

.cols{display:grid;grid-template-columns:repeat(3,1fr);border-top:1.5px solid var(--ink)}
.cols > div{padding:28px 28px 8px 0;border-right:1px solid var(--rule)}
.cols > div + div{padding-left:28px}
.cols > div:last-child{border-right:0}
.cols h3{font-family:var(--serif);font-weight:400;font-size:30px;line-height:1.1;margin:10px 0 12px}
.cols p{color:var(--ink2);font-size:15.5px}
.cols .mono{font-size:12px;color:var(--muted)}

.versus{display:grid;grid-template-columns:1fr 1fr;border:1.5px solid var(--ink)}
.versus > div{padding:28px}
.versus > div:first-child{border-right:1.5px solid var(--ink);background:var(--paper2)}
.versus h3{font-family:var(--mono);font-size:12px;letter-spacing:.1em;text-transform:uppercase;margin-bottom:14px}
.versus ul{list-style:none}
.versus li{padding:12px 0;border-bottom:1px dashed var(--rule2);font-size:16px;display:flex;gap:12px}
.versus li:last-child{border-bottom:0}
.versus .x{color:var(--neg);font-family:var(--mono)} .versus .v{color:var(--pos);font-family:var(--mono)}
.versus .them li{color:var(--muted);text-decoration:line-through;text-decoration-color:rgba(179,38,30,.5)}

.steps{display:grid;grid-template-columns:repeat(4,1fr);gap:0;border-top:1.5px solid var(--ink)}
.steps > div{padding:24px 22px 10px 0;position:relative}
.steps > div + div{padding-left:22px;border-left:1px solid var(--rule)}
.steps .n{font-family:var(--serif);font-size:72px;line-height:1;color:var(--rule2)}
.steps h3{font-family:var(--mono);font-size:13px;letter-spacing:.08em;text-transform:uppercase;margin:6px 0 8px}
.steps p{color:var(--ink2);font-size:15px}

.cta-band{background:var(--ink);color:var(--paper);padding:72px 0}
.cta-band .wrap{display:flex;justify-content:space-between;align-items:center;gap:30px;flex-wrap:wrap}
.cta-band h2{color:var(--paper)}
.cta-band .btn{background:var(--signal);border-color:var(--signal);color:#fff}
.cta-band .btn:hover{background:var(--paper);color:var(--ink);border-color:var(--paper)}

footer.foot{padding:44px 0 56px;font-size:13px;color:var(--ink2)}
.risk{border:1px solid var(--rule2);padding:20px 22px;line-height:1.7;margin-bottom:26px;background:var(--card)}
.risk b{font-family:var(--mono);font-size:11.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--neg);margin-right:8px}
.foot-row{display:flex;justify-content:space-between;flex-wrap:wrap;gap:10px;font-family:var(--mono);font-size:12px;color:var(--muted)}

/* ===== app (login / dashboard / admin) ===== */
.app-main{padding:56px 0 80px;min-height:calc(100vh - 220px)}
.auth{max-width:440px;margin:30px auto 0}
.auth h1{font-family:var(--serif);font-weight:400;font-size:56px;line-height:1;letter-spacing:-1px;margin:14px 0 10px}
.auth h1 i{color:var(--signal)}
.auth p.note{color:var(--ink2);margin-bottom:28px}
.panel{border:1.5px solid var(--ink);background:var(--card);padding:28px}
.field{margin-bottom:18px}
.field label{display:block;font-family:var(--mono);font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-bottom:7px}
.field input,.field select{width:100%;padding:12px 14px;border:1.5px solid var(--rule2);background:#fff;font:inherit;font-size:15px;color:var(--ink);border-radius:0;outline:none}
.field input:focus,.field select:focus{border-color:var(--ink)}
.msg{padding:12px 14px;margin-bottom:18px;font-size:14px;border:1.5px solid}
.msg.err{border-color:var(--neg);color:var(--neg);background:#fbefed}
.msg.ok{border-color:var(--pos);color:var(--pos);background:#eef6f0}
.auth .alt{margin-top:18px;font-family:var(--mono);font-size:12px;color:var(--muted)}

.dash-head{display:flex;justify-content:space-between;align-items:flex-end;gap:20px;flex-wrap:wrap;padding-bottom:22px;border-bottom:1.5px solid var(--ink);margin-bottom:28px}
.dash-head h1{font-family:var(--serif);font-weight:400;font-size:52px;line-height:1;letter-spacing:-1px}
.dash-head h1 i{color:var(--signal)}
.metrics{display:grid;grid-template-columns:repeat(4,1fr);border:1.5px solid var(--ink);background:var(--card)}
.metrics > div{padding:20px 22px;border-right:1px solid var(--rule)}
.metrics > div:last-child{border-right:0}
.metrics .k{font-family:var(--mono);font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.metrics .v{font-family:var(--mono);font-size:28px;margin-top:8px;color:var(--rule2)}
.chartbox{border:1.5px solid var(--ink);border-top:0;background:var(--card);height:300px;display:grid;place-items:center;text-align:center;padding:30px;
  background-image:repeating-linear-gradient(0deg,transparent 0 59px,var(--rule) 59px 60px)}
.chartbox p{font-family:var(--mono);font-size:13px;color:var(--muted);background:var(--card);padding:10px 14px;border:1px dashed var(--rule2)}
.grid2{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin-top:28px}
.panel h2{font-size:30px;margin-bottom:16px}
table.list{width:100%;border-collapse:collapse;font-size:14px}
table.list th,table.list td{padding:11px 12px;border-bottom:1px solid var(--rule);text-align:left}
table.list th{font-family:var(--mono);font-size:10.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);font-weight:500}
table.list td.mono{font-size:13px}
table.list form{display:inline}
.row-actions{display:flex;gap:6px;flex-wrap:wrap}

@media (max-width:960px){
  .hero-grid,.grid2{grid-template-columns:1fr}
  .cols,.steps{grid-template-columns:1fr 1fr}
  .cols > div:nth-child(2){border-right:0}
  .metrics{grid-template-columns:1fr 1fr}
  .metrics > div:nth-child(2){border-right:0}
  .metrics > div:nth-child(-n+2){border-bottom:1px solid var(--rule)}
  .sec-head{grid-template-columns:1fr;gap:6px}
  .nav-links .hide-sm{display:none}
}
@media (max-width:620px){
  .wrap{padding:0 18px}
  .cols,.steps,.versus{grid-template-columns:1fr}
  .cols > div,.cols > div + div{padding:22px 0;border-right:0;border-bottom:1px solid var(--rule)}
  .steps > div + div{padding-left:0;border-left:0;border-top:1px solid var(--rule)}
  .versus > div:first-child{border-right:0;border-bottom:1.5px solid var(--ink)}
  .brand small{display:none}
  .dash-head h1{font-size:40px}
  .metrics .v{font-size:22px}
  table.list{font-size:13px}
}

/* live dashboard */
.tabs{display:flex;gap:0;border:1.5px solid var(--ink);border-bottom:0;flex-wrap:wrap;background:var(--paper2)}
.tab{padding:12px 18px;font-family:var(--mono);font-size:12.5px;letter-spacing:.06em;text-transform:uppercase;text-decoration:none;color:var(--ink2);border-right:1px solid var(--rule)}
.tab:hover{color:var(--signal)}
.tab.on{background:var(--ink);color:var(--paper)}
.acct-bar{display:flex;gap:14px;align-items:center;flex-wrap:wrap;padding:14px 18px;border:1.5px solid var(--ink);border-bottom:0;background:var(--card);font-size:12.5px;color:var(--ink2)}
.demo-note{font-size:12px;color:var(--muted);padding:10px 18px;border:1.5px solid var(--ink);border-bottom:0;background:var(--paper2)}
.metrics .v.live{color:var(--ink)}
.metrics .v.sm{font-size:22px}
.metrics .v small{font-size:14px;color:var(--muted)}
.pos{color:var(--pos)!important} .neg{color:var(--neg)!important}
.chart-live{height:auto;display:block;padding:18px 16px 8px;background-image:none}