.pp-root{flex:1;min-height:0;display:flex}.pp-palette{width:var(--pp-w, 196px);flex:0 0 var(--pp-w, 196px);border-right:1px solid var(--rule);border-top:1px solid var(--rule);border-top-right-radius:14px;background:#f6efda;padding:1rem .85rem;display:flex;flex-direction:column;overflow:hidden}.pp-scroll{flex:1;min-height:0;overflow-y:auto}.pp-selector-row{display:flex;gap:6px;margin-bottom:.85rem}.pp-ruleset-sel{flex:1;min-width:0}.pp-rules-head{display:flex;align-items:baseline;justify-content:space-between;gap:.5rem;margin:0 0 .85rem}.pp-palette h2{font-family:var(--sans);font-size:.72rem;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-soft);margin:0}.pp-toggle{font-family:var(--sans);font-size:.68rem;color:var(--ink-soft);background:none;border:none;padding:0;cursor:pointer;text-decoration:underline;white-space:nowrap}.pp-toggle:hover{color:var(--accent)}#pp-cards.names-only .pp-card{padding:.4rem .5rem;margin-bottom:.4rem}.pp-name{display:inline-block;line-height:1.2}.pp-details{max-width:34rem;width:calc(100vw - 3rem);max-height:80vh;overflow:auto;padding:1.5rem 1.7rem;border:1.5px solid var(--ink);border-radius:12px;background:var(--paper);color:var(--ink);box-shadow:3px 4px #2b2b2b38;font-family:var(--serif, Georgia, "Times New Roman", serif);line-height:1.55}.pp-details::backdrop{background:#2b2b2b47}.pp-details-close{position:absolute;top:.4rem;right:.6rem;border:none;background:none;font-size:1.5rem;line-height:1;color:var(--ink-soft);cursor:pointer}.pp-details-close:hover{color:var(--accent)}.pp-details-body h2{font-family:var(--sans);font-size:1.05rem;margin:0 0 .6rem}.pp-details-body h3{font-family:var(--sans);font-size:.78rem;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-soft);margin:1.1rem 0 .4rem}.pp-details-body p{margin:0 0 .7rem}.pp-details-body ul{margin:0 0 .7rem;padding-left:1.2rem}.pp-details-body li{margin:.25rem 0}.pp-details-body code{font-family:ui-monospace,Menlo,Consolas,monospace;font-size:.86em;background:#2b2b2b0f;padding:.05em .3em;border-radius:4px}.pp-details-body hr{border:none;border-top:1px solid var(--rule);margin:1rem 0 .7rem}.pp-details-body em{color:var(--ink-soft);font-size:.9rem}.pp-resizer{flex:0 0 7px;cursor:col-resize;background:transparent;transition:background .1s}.pp-resizer:hover,.pp-resizer.pp-resizing{background:#9a5b2e2e}.pp-card{background:#fffdf6;border:1.5px solid var(--rule);border-radius:8px;padding:.5rem 1.5rem .5rem .5rem;margin-bottom:.7rem;cursor:grab;user-select:none;text-align:center;box-shadow:1px 1px #2b2b2b1a;transition:border-color .1s,box-shadow .1s}.pp-card:hover{border-color:var(--accent);box-shadow:2px 2px #2b2b2b21}.pp-card:active{cursor:grabbing}.pp-rule{display:inline-block;position:relative;line-height:1.25}.pp-rule .pp-prem{display:flex;gap:1.1em;justify-content:center;align-items:flex-end;min-height:1.15em}.pp-rule .pp-prem>span{flex:0 0 auto;white-space:nowrap}.pp-rule .pp-prem.pp-empty{min-height:.5em}.pp-rule .pp-barrow{position:relative;height:12px;margin:2px 0}.pp-rule .pp-barc{display:block;width:100%;height:12px}.pp-rule .pp-tag{position:absolute;left:100%;top:50%;transform:translateY(-50%);margin-left:.25em;font-family:ui-monospace,Menlo,Consolas,monospace;font-size:.72em;font-weight:600;color:var(--accent)}.pp-rule .pp-concl{min-height:1.15em}.pp-stage{flex:1;min-width:0;position:relative}.pp-canvas-host{position:absolute;inset:0;background:var(--paper);overflow:hidden}.pp-canvas-host canvas{display:block;width:100%;height:100%}.pp-labels{position:absolute;inset:0;pointer-events:none;overflow:hidden}.pp-label{position:absolute;transform:translate(-50%,-50%);white-space:nowrap;font-size:1.05rem}.pp-label .katex{background:none;padding:0}.pp-tag-el{position:absolute;transform:translateY(-50%);transform-origin:left center;white-space:nowrap;font-size:.85rem;color:var(--accent);pointer-events:auto;cursor:pointer}.pp-tag-el .katex{background:none;padding:0}.pp-tag-del{display:none;margin-left:.3em;padding:0;border:none;background:none;color:var(--ink-soft);font-size:.8em;line-height:1;vertical-align:middle;cursor:pointer}.pp-tag-el:hover .pp-tag-del{display:inline-block}.pp-tag-del:hover{color:#9a2b2b}.pp-root-actions{position:absolute;display:none;flex-direction:column;gap:1px;transform:translateY(-50%);z-index:5;padding:1px;background:#fdfaf0d1;border-radius:7px}.pp-node-act{border:none;background:none;padding:2px 5px;font-size:.95rem;line-height:1;color:var(--ink-soft);cursor:pointer}.pp-node-act:hover{color:var(--accent)}#pp-del-tree:hover{color:#9a2b2b}#pp-measure{position:absolute;visibility:hidden;top:-9999px;left:-9999px;font-size:1.05rem}.pp-top-actions{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:.85rem}.pp-icon-btn{padding:.3rem .5rem;font-size:1rem;line-height:1}.pp-btn{font-family:var(--sans);font-size:.8rem;color:var(--ink);background:#fff;border:1px solid var(--rule);border-radius:7px;padding:.3rem .7rem;cursor:pointer}.pp-btn:hover{background:#f6efda}.pp-btn:active{transform:translateY(1px)}.pp-btn:disabled{opacity:.4;cursor:default}#pp-ghost{position:fixed;pointer-events:none;z-index:50;display:none;background:#fffdf6;border:1.5px dashed var(--accent);border-radius:8px;padding:.5rem 1.5rem .5rem .6rem;box-shadow:2px 3px #2b2b2b2e;opacity:.95;text-align:center;transform:translate(-50%,-118%)}#pp-edit{position:fixed;z-index:60;display:none;width:86px;font-family:var(--serif);font-size:1rem;text-align:center;padding:.15rem .35rem;border:1.5px solid var(--accent);border-radius:6px;background:#fff;box-shadow:2px 3px #2b2b2b2e;transform:translate(-50%,-50%)}#pp-edit:focus{outline:2px solid rgba(154,91,46,.22)}#pp-edit.pp-edit-error{border-color:#9a2b2b;box-shadow:0 0 0 2px #9a2b2b40}#pp-edit.pp-edit-rule{width:64px;font-family:ui-monospace,Menlo,Consolas,monospace;font-size:.82rem;font-weight:600;text-align:left;color:var(--accent);transform:translateY(-50%)}