.principles-section .stance{max-width:56ch;margin:0 0 28px;font-size:clamp(17px,1.6vw,20px)}.principles-section .derivation{padding-top:20px;border-top:1px solid var(--hairline)}.principles-section .deriv-head{margin:0 0 4px;font-size:21px}.principles-section .axioms,.principles-section .theorems,.principles-section .ns-list,.principles-section .check-list,.principles-section .legend-list{list-style:none;margin:0;padding:0}.principles-section .axioms{margin-bottom:22px}.principles-section .axioms li,.principles-section .theorems li,.principles-section .ns-list li{padding:10px 0;border-top:1px solid var(--hairline)}.principles-section .ax-claim{margin:0 0 3px;font-size:17px;font-weight:500}.principles-section .ax-id{display:inline-block;min-width:30px;color:var(--muted)}.principles-section .ax-from{margin-left:8px;color:var(--muted);white-space:nowrap}.principles-section .ax-because{margin:0 0 0 30px;color:var(--muted);font-size:14px}.principles-section .not-solved{margin-top:18px;padding-top:18px;border-top:1px solid var(--hairline)}.principles-section .ns-problem{margin:0 0 4px;font-size:15px}.principles-section .ns-cost{margin:0;color:var(--muted);font-size:14px}.principles-section .ns-cost-label{margin-right:7px;color:var(--muted)}.principles-section .legend{margin-bottom:8px;padding:14px 0;border-block:1px solid var(--hairline)}.principles-section .legend-lead,.principles-section .block-lead{margin:0 0 12px;color:var(--muted);font-size:14px}.principles-section .legend-list{display:grid;gap:7px}.principles-section .legend-item{display:grid;grid-template-columns:128px 1fr;gap:12px;font-size:14px}.principles-section .legend-def{color:var(--muted)}.principles-section .tier-tag{font:11px var(--font-mono);letter-spacing:.05em;white-space:nowrap}.principles-section .tier-glyph{margin-right:5px}.principles-section .tier-runnable .tier-tag,.principles-section .tier-stated .tier-tag{color:var(--muted)}.principles-section .tier-stated .tier-tag{border-bottom:1px dotted currentColor}.principles-section .pillar{padding:20px 0;border-bottom:1px solid var(--hairline)}.principles-section .pillar-head h3{margin-bottom:5px;font-size:18px}.principles-section .pillar-line,.principles-section .pillar-also{max-width:62ch;margin:0 0 14px;color:var(--muted);font-size:14px}.principles-section .instances{display:grid;grid-template-columns:repeat(3,1fr);gap:18px}.principles-section .ins-system{margin:0 0 4px;color:var(--muted)}.principles-section .ins-what{margin:0;font-size:14px}.principles-section .pillar-also{margin-top:14px}.principles-section .runnable{padding:16px 0 18px;border-bottom:1px solid var(--hairline)}.principles-section .accounts-head{padding-top:18px}.principles-section .block-label{margin:0 0 7px}.principles-section .check-list{display:grid;gap:10px}.principles-section .check-list li{display:grid;gap:3px}.principles-section .check-list code{font-size:13px;user-select:all;word-break:break-all}.principles-section .check-what{color:var(--muted);font-size:14px}.principles-section .instances-lead{margin-top:24px}.principles-section .principles-more{margin:17px 0 0;font-size:15px}@media(max-width:760px){.principles-section .instances,.principles-section .legend-item{grid-template-columns:1fr}}