.nd-shell{max-width:1440px;color:var(--ink);margin:auto;padding:40px clamp(16px,4vw,64px) 70px}.nd-intro{border-bottom:1px solid var(--ink);margin-bottom:28px;padding:24px 0 32px}.nd-intro h1{margin:18px 0;font-size:clamp(38px,5vw,70px);line-height:1.05}.nd-intro h1 em{color:var(--accent,#a65337)}.nd-intro p{max-width:670px;line-height:1.6}.nd-system{border:1px solid;margin-top:12px;padding:8px 12px;font-size:12px;display:inline-block}.nd-workspace button,.nd-workspace input,.nd-workspace select,.nd-workspace textarea{font:inherit;color:inherit;background:0 0;border:1px solid;border-radius:4px}.nd-workspace button{cursor:pointer;padding:9px 12px}.nd-workspace button:disabled{opacity:.4;cursor:not-allowed}.nd-workspace button:hover:not(:disabled){background:color-mix(in srgb,currentColor 8%,transparent)}.nd-workspace :focus-visible{outline-offset:3px;outline:3px solid #b9713d}.nd-workspace label{gap:8px;font-size:13px;font-weight:600;display:grid}.nd-workspace input,.nd-workspace textarea,.nd-workspace select{background:var(--paper);width:100%;min-width:0;padding:10px}.nd-workspace textarea{resize:vertical}.nd-workspace small{font-weight:400;line-height:1.5}.nd-workspace summary{cursor:pointer;padding:8px 0;font-weight:600}.nd-workspace .nd-primary{background:var(--ink);color:var(--paper);padding:12px 16px}.nd-workspace .nd-primary:hover:not(:disabled){color:#fff;background:#9c4c32}.nd-problem{border:1px solid color-mix(in srgb,currentColor 30%,transparent);padding:18px}.nd-problem-fields{grid-template-columns:1fr 1fr;gap:24px;margin:20px 0;display:grid}.nd-hint,.nd-local{opacity:.8;font-size:12px;line-height:1.6}.nd-toolbar{flex-wrap:wrap;gap:8px;margin:22px 0;display:flex}.nd-mode{margin-right:auto;display:flex}.nd-mode button[aria-pressed=true]{background:var(--ink);color:var(--paper)}.nd-layout{grid-template-columns:minmax(0,1fr) 285px;align-items:start;gap:24px;display:grid}.nd-proof{border:1px solid color-mix(in srgb,currentColor 35%,transparent);min-width:0}.nd-proof header{border-bottom:1px solid color-mix(in srgb,currentColor 25%,transparent);padding:22px}.nd-proof h2{margin:10px 0;font-size:21px}.nd-proof h2 span{font-family:Georgia,serif}.nd-achieved{color:var(--ink);font-size:13px}.nd-scroll{min-height:190px;overflow:auto}.nd-lines{border-collapse:collapse;text-align:left;white-space:nowrap;width:100%;font-size:14px}.nd-lines th{text-transform:uppercase;letter-spacing:.08em;border-bottom:1px solid color-mix(in srgb,currentColor 20%,transparent);padding:14px 12px;font-size:11px}.nd-lines td{vertical-align:middle;border-bottom:1px solid color-mix(in srgb,currentColor 10%,transparent);height:56px;padding:0 10px}.nd-lines td:last-child button{padding:5px;font-size:11px}.nd-lines .nd-line-number{border:none;min-width:34px}.nd-formula{align-items:stretch;min-height:56px;font:19px Georgia,serif;display:flex}.nd-formula>span:last-child{align-self:center;padding:5px 0}.nd-bars{align-self:stretch;display:flex}.nd-bars i{border-left:2px solid;width:20px;display:block}.nd-assumption{border-bottom:1px solid}.nd-inaccessible .nd-formula{opacity:.6}.nd-line-error{white-space:normal;color:#ac382a;min-width:170px;max-width:320px;padding:6px 0;display:block}.nd-invalid{background:#cc44440d}.nd-empty{opacity:.7;padding:24px}.nd-proof-actions{border-top:1px solid;flex-wrap:wrap;align-items:center;gap:8px;padding:15px;font-size:12px;display:flex}.nd-proof-actions>span{flex:1 0 100%;margin-bottom:5px}.nd-hypothesis{flex-wrap:wrap;align-items:end;gap:8px;padding:16px;display:flex}.nd-hypothesis label{flex:1 0 180px}.nd-verify{margin:18px}.nd-verdict{padding:0 18px 18px;font-size:14px}.nd-verdict li{margin:8px 0}.nd-composer{background:color-mix(in srgb,var(--ink) 4%,var(--paper));border-top:3px solid #aa6747;padding:20px}.nd-composer h2{margin:8px 0 20px;font-size:23px}.nd-composer form{gap:15px;display:grid}.nd-rule-help{border-bottom:1px solid;margin:0;padding:10px 0;font-family:Georgia,serif;font-size:17px;line-height:1.6}.nd-proposal{border-left:3px solid #aa6747;padding:10px;font-size:13px;line-height:1.6}.nd-composer details{margin-top:24px;font-size:12px;line-height:1.7}.nd-export{border:1px solid;margin-top:25px;padding:18px}.nd-export label{max-width:340px;margin:14px 0}.nd-export textarea{min-height:200px;margin:16px 0;font:13px/1.6 monospace;display:block}.nd-export p{font-size:12px}.nd-export [role=status]{margin-left:12px;font-size:13px}.nd-message{background:var(--paper);z-index:2;border-left:3px solid #aa6747;padding:12px;font-size:14px;position:relative}.nd-message:empty{display:none}.nd-sr{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}@media (max-width:900px){.nd-layout{grid-template-columns:1fr}.nd-composer form{grid-template-columns:repeat(2,minmax(0,1fr))}.nd-composer .nd-rule-help,.nd-composer .nd-proposal{grid-column:1/-1}.nd-shell{padding-top:15px}}@media (max-width:540px){.nd-problem-fields,.nd-composer form{grid-template-columns:1fr}.nd-lines{min-width:580px}.nd-system{line-height:1.5}.nd-intro{padding-top:10px}.nd-toolbar{font-size:12px}.nd-proof header{padding:15px}.nd-composer{padding:16px}}