*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}
:root{--bg:#0f1117;--surface:#1a1d27;--border:#2a2d3a;--text:#e4e4e7;--muted:#71717a;--accent:#6366f1;--accent-hover:#818cf8;--success:#22c55e;--error:#ef4444;--warning:#f59e0b;--mono:'JetBrains Mono',monospace;--sans:'Inter',system-ui,sans-serif}
body{font-family:var(--sans);background:var(--bg);color:var(--text);line-height:1.6;min-height:100vh}
a{color:var(--accent);text-decoration:none}a:hover{color:var(--accent-hover)}
.container{max-width:1100px;margin:0 auto;padding:0 1.5rem}

/* Nav */
nav{background:var(--surface);border-bottom:1px solid var(--border);padding:1rem 0}
nav .container{display:flex;align-items:center;gap:2rem}
nav .logo{font-size:1.1rem;font-weight:700;color:var(--text);letter-spacing:-0.02em}
nav .logo span{color:var(--accent)}
nav .links{display:flex;gap:1.5rem}
nav .links a{color:var(--muted);font-size:.875rem;font-weight:500;transition:color .15s}
nav .links a:hover,nav .links a.active{color:var(--text)}

/* Cards */
.card{background:var(--surface);border:1px solid var(--border);border-radius:.75rem;padding:1.5rem;margin-bottom:1rem}
.card h2{font-size:1rem;font-weight:600;margin-bottom:1rem;color:var(--muted);text-transform:uppercase;letter-spacing:.05em;font-size:.75rem}

/* Stats */
.stats{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:1rem;margin:1.5rem 0}
.stat{background:var(--surface);border:1px solid var(--border);border-radius:.75rem;padding:1.25rem}
.stat .label{font-size:.75rem;color:var(--muted);text-transform:uppercase;letter-spacing:.05em;margin-bottom:.25rem}
.stat .value{font-size:1.5rem;font-weight:700;font-family:var(--mono)}
.stat.success .value{color:var(--success)}
.stat.accent .value{color:var(--accent)}

/* Table */
table{width:100%;border-collapse:collapse}
th,td{padding:.75rem 1rem;text-align:left;border-bottom:1px solid var(--border)}
th{font-size:.75rem;color:var(--muted);text-transform:uppercase;letter-spacing:.05em;font-weight:600}
td{font-size:.875rem}
tr:hover{background:rgba(99,102,241,.04)}
.mono{font-family:var(--mono);font-size:.8rem}
.hash{max-width:180px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}

/* Badge */
.badge{display:inline-block;padding:.15rem .5rem;border-radius:.25rem;font-size:.75rem;font-weight:600}
.badge-success{background:rgba(34,197,94,.15);color:var(--success)}
.badge-warning{background:rgba(245,158,11,.15);color:var(--warning)}
.badge-error{background:rgba(239,68,68,.15);color:var(--error)}
.badge-info{background:rgba(99,102,241,.15);color:var(--accent)}

/* Block detail */
.field{display:flex;gap:1rem;padding:.5rem 0;border-bottom:1px solid var(--border)}
.field:last-child{border-bottom:none}
.field .key{min-width:160px;color:var(--muted);font-size:.8rem;text-transform:uppercase;letter-spacing:.03em;font-weight:600}
.field .val{font-family:var(--mono);font-size:.85rem;word-break:break-all}

/* Verify form */
.form-group{margin-bottom:1rem}
.form-group label{display:block;font-size:.8rem;color:var(--muted);margin-bottom:.375rem;text-transform:uppercase;letter-spacing:.03em;font-weight:600}
textarea,input[type=text]{width:100%;background:var(--bg);border:1px solid var(--border);border-radius:.5rem;padding:.75rem;color:var(--text);font-family:var(--mono);font-size:.85rem;resize:vertical}
textarea:focus,input[type=text]:focus{outline:none;border-color:var(--accent)}
button{background:var(--accent);color:#fff;border:none;padding:.625rem 1.5rem;border-radius:.5rem;font-weight:600;cursor:pointer;font-size:.875rem;transition:background .15s}
button:hover{background:var(--accent-hover)}

/* Verify result */
.result{margin-top:1rem;padding:1rem;border-radius:.5rem;font-family:var(--mono);font-size:.85rem}
.result.valid{background:rgba(34,197,94,.1);border:1px solid rgba(34,197,94,.3);color:var(--success)}
.result.invalid{background:rgba(239,68,68,.1);border:1px solid rgba(239,68,68,.3);color:var(--error)}
.result .steps{margin-top:.75rem;font-size:.8rem;color:var(--muted);line-height:1.8}
.result .steps .pass{color:var(--success)}
.result .steps .fail{color:var(--error)}

/* Navigation */
.block-nav{display:flex;justify-content:space-between;margin:1.5rem 0}
.block-nav a{color:var(--accent);font-size:.875rem}

/* Page header */
.page-header{padding:1.5rem 0;border-bottom:1px solid var(--border);margin-bottom:1.5rem}
.page-header h1{font-size:1.25rem;font-weight:700}
.page-header p{color:var(--muted);font-size:.875rem;margin-top:.25rem}

/* Loading */
.loading{text-align:center;padding:3rem;color:var(--muted)}
.error-msg{text-align:center;padding:2rem;color:var(--error)}

/* Proof tree */
.proof-tree{margin:1rem 0;padding:1rem;background:var(--bg);border-radius:.5rem;font-family:var(--mono);font-size:.8rem;line-height:2}
.proof-tree .level{padding-left:1.5rem;border-left:2px solid var(--border)}
.proof-tree .node{color:var(--accent)}
.proof-tree .sibling{color:var(--muted)}