html,body{color:#d8d8da;background:#0a0a0f;height:auto;margin:0;padding:0;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;line-height:1.5}main{max-width:1100px;margin:0 auto;padding:2em 1.5em}h1{color:#f0f0f0;margin:0 0 .4em}h2{color:#f0f0f0;margin-top:1.5em}.lead{color:#aab;margin-top:0}.hint{color:#777;font-size:.85em;font-weight:400}.math{background:#15151a;border:1px solid #222;border-radius:4px;margin:1.5em 0;padding:1em 1.2em}.math p{margin:.4em 0}.indent{padding-left:1.5em}button{color:#eaffea;cursor:pointer;background:#2a4d3a;border:1px solid #3f7d5e;border-radius:4px;padding:.6em 1.6em;font-family:inherit;font-size:1em}button:hover{background:#3a6d4a}button:disabled{color:#555;cursor:default;background:#222;border-color:#333}input[type=number]{color:#eaffea;background:#15151a;border:1px solid #444;border-radius:4px;width:5em;padding:.4em .6em;font-family:inherit;font-size:1em}.controls{flex-wrap:wrap;align-items:center;gap:1.4em .8em;margin:1em 0;display:flex}.controls .group{align-items:center;gap:.5em;display:flex}.controls .group-label,.controls label{color:#aab}.err{color:#f88}code{background:#15151a;border-radius:3px;padding:.1em .4em}table{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%;margin-top:1em;font-size:.9em}th,td{text-align:left;border-bottom:1px solid #1f1f25;padding:5px 10px}th{color:#aab;white-space:nowrap;background:#15151a;font-weight:500}td.right{text-align:right}td.dim{color:#555}tr.row-r{border-top:1px solid #2a2a30}tr.solution-row{cursor:pointer}tr.solution-row:hover,tr.solution-row.expanded{background:#15151a}tr.detail-row{background:#0d0d12}tr.detail-row td.detail-cell{border-bottom:1px solid #2a2a30;padding:1.2em 1.5em}.detail-block h3{color:#aab;margin:1.4em 0 .5em;font-size:1em;font-weight:500}.detail-block ul{margin:.4em 0;padding-left:1.5em}.detail-block li{margin:.2em 0}.detail-block details{margin:.4em 0}.detail-block summary{cursor:pointer;color:#d8d8da;padding:.2em 0;font-weight:500}.detail-block summary:hover{color:#f0f0f0}table.matrix{border-collapse:collapse;font-variant-numeric:tabular-nums;margin:.5em 0 1em;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.85em}table.matrix td{text-align:right;white-space:nowrap;border:0;padding:.1em .7em}table.matrix td.dim{color:#444}table.relations,table.eigenvalues{font-variant-numeric:tabular-nums;width:auto;margin:.5em 0;font-size:.92em}table.relations th,table.relations td,table.eigenvalues th,table.eigenvalues td{border:0;padding:4px 16px 4px 0}table.relations th,table.eigenvalues th{color:#aab;background:0 0;border-bottom:1px solid #2a2a30;font-weight:500}.relation-pass{color:#6a9;font-weight:600}.relation-fail{color:#f88;font-weight:600}.summary{color:#aab;margin-top:1em;font-size:.95em}a,a:visited{color:#6a9;text-decoration:none}a:hover{color:#aef;text-decoration:underline}.kv-list p{margin:.3em 0}.kv-list strong{color:#f0f0f0}