#krabka-proofs{--px-accent:#ff4d2e;--px-accent-deep:#c82408;--px-accent-soft:#ff4d2e1f;--px-accent-text:#ff8466;--px-bg:#0c1322;--px-panel:#0f172a;--px-panel-raised:#141e33;--px-border:#ffffff1a;--px-border-strong:#fff3;--px-text:#f3f4f6;--px-text-soft:#d1d5db;--px-muted:#9ca3af;--px-ok:#45c178;--px-amber:#f7b73a;--px-error:#ff8466;--px-blue:#5fb3f5;--px-purple:#c084fc;--px-pink:#f472b6;--px-mono:"JetBrains Mono", "Fira Code", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;border:1px solid var(--px-border);background:var(--px-bg);color:var(--px-text);border-radius:12px;min-width:0;max-width:100%;margin:1rem 0;padding:1rem;font-size:.92rem;line-height:1.45}#krabka-proofs *,#krabka-proofs :before,#krabka-proofs :after{box-sizing:border-box}#krabka-proofs [hidden]{display:none!important}#krabka-proofs:not(.px-ready) .px-fallback{color:var(--px-muted);margin:0}#krabka-proofs .px-error{color:var(--px-error);overflow-wrap:anywhere;word-break:normal;margin:.6rem 0 0;font-size:.86rem}#krabka-proofs .px-mono{font-family:var(--px-mono);overflow-wrap:anywhere;word-break:normal}#krabka-proofs .px-visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}#krabka-proofs .px-layout{grid-template-columns:minmax(16rem,.3fr) minmax(0,1fr);align-items:start;gap:1.5rem;display:grid}@media (width<=60rem){#krabka-proofs .px-layout{grid-template-columns:minmax(0,1fr)}}#krabka-proofs .px-sidebar{min-width:0;position:sticky;top:6rem}#krabka-proofs .px-sidebar-controls{flex-direction:column;gap:.75rem;min-width:0;max-height:calc(100dvh - 10rem);margin-top:.75rem;display:flex}#krabka-proofs .px-sidebar-toggle{text-align:left;width:100%;font:inherit;background:0 0;border:0;display:block}#krabka-proofs .px-sidebar-toggle,#krabka-proofs .px-ob-source>summary{cursor:pointer;color:var(--px-text-soft);padding:.35rem 0;font-size:.8rem}#krabka-proofs .px-sidebar-toggle:before,#krabka-proofs .px-group-title:before,#krabka-proofs .px-ob-source>summary:before{content:"+";margin-right:.5rem}#krabka-proofs .px-sidebar:not(.px-folded)>.px-sidebar-toggle:before,#krabka-proofs details[open]>.px-group-title:before,#krabka-proofs .px-ob-source[open]>summary:before{content:"−"}@media (width<=60rem){#krabka-proofs .px-sidebar.px-folded>.px-sidebar-controls{display:none}#krabka-proofs .px-sidebar{position:static}#krabka-proofs .px-sidebar-controls{max-height:none}}#krabka-proofs .px-input,#krabka-proofs .px-btn{font:inherit;border:1px solid var(--px-border);background:var(--px-panel);color:var(--px-text);border-radius:7px;padding:.36rem .6rem;font-size:.84rem;transition:background .12s,border-color .12s,transform 50ms}#krabka-proofs .px-input{width:100%;max-width:100%}#krabka-proofs .px-input::placeholder{color:var(--px-muted);opacity:1}#krabka-proofs .px-input:focus,#krabka-proofs .px-btn:focus-visible,#krabka-proofs .px-chip:focus-visible,#krabka-proofs .px-item:focus-visible,#krabka-proofs summary:focus-visible{outline:2px solid var(--px-accent);outline-offset:2px;border-color:var(--px-accent)}#krabka-proofs .px-item:focus-visible,#krabka-proofs summary:focus-visible{outline-offset:-2px}#krabka-proofs .px-item.px-active:focus-visible{outline-color:var(--px-text)}#krabka-proofs .px-btn{cursor:pointer;overflow-wrap:anywhere;max-width:100%}#krabka-proofs .px-btn:hover{border-color:var(--px-accent);color:var(--px-accent)}#krabka-proofs .px-btn:active{transform:translateY(1px)}#krabka-proofs .px-btn:disabled,#krabka-proofs .px-btn[aria-disabled=true]{cursor:default;opacity:.55;border-color:var(--px-border);color:var(--px-text)}#krabka-proofs .px-btn.px-primary{color:#fff;background:#e0300f;border-color:#e0300f;font-weight:600}#krabka-proofs .px-btn.px-primary:hover:not(:disabled){background:var(--px-accent-deep);border-color:var(--px-accent-deep);color:#fff}#krabka-proofs .px-chips{flex-wrap:wrap;gap:.3rem;display:flex}#krabka-proofs .px-chip{border:1px solid var(--px-border);color:var(--px-muted);font:inherit;cursor:pointer;background:0 0;border-radius:999px;align-items:center;gap:.3rem;padding:.12rem .55rem;font-size:.72rem;font-weight:600;line-height:1.5;transition:background .12s,border-color .12s,color .12s;display:inline-flex}#krabka-proofs .px-chip:hover{border-color:var(--px-border-strong);color:var(--px-text)}#krabka-proofs .px-chip[aria-pressed=true]{background:var(--px-accent-soft);color:var(--px-accent-text);border-color:#ff4d2e80}#krabka-proofs .px-chip-n{font-family:var(--px-mono);opacity:.8;font-size:.6875rem;font-weight:400}#krabka-proofs .px-count{color:var(--px-muted);font-variant-numeric:tabular-nums;margin:0;padding:0 .2rem;font-size:.72rem}#krabka-proofs .px-list{min-width:0;min-height:0;padding-right:.2rem;overflow-y:auto}@media (width<=60rem){#krabka-proofs .px-list{border:1px solid var(--px-border);background:var(--px-panel);border-radius:10px;max-height:280px;padding:.4rem}}#krabka-proofs .px-group{margin-bottom:.6rem}#krabka-proofs .px-group-title{text-transform:uppercase;letter-spacing:.06em;color:var(--px-muted);overflow-wrap:anywhere;cursor:pointer;justify-content:space-between;gap:.5rem;margin:0 0 .2rem;padding:0 .5rem;font-size:.6875rem;font-weight:700;display:flex}#krabka-proofs .px-group-title>span:first-of-type{flex:1}#krabka-proofs .px-group-title .px-group-n{font-family:var(--px-mono);letter-spacing:0;text-transform:none;font-weight:400}#krabka-proofs .px-item{width:100%;min-width:0;min-height:1.5rem;color:var(--px-text);font:inherit;text-align:left;cursor:pointer;background:0 0;border:1px solid #0000;border-radius:8px;grid-template-columns:minmax(0,1fr) auto;align-items:baseline;column-gap:.5rem;margin:0;padding:.15rem .4rem;transition:background .12s,border-color .12s;display:grid}#krabka-proofs .px-item:hover{background:var(--px-panel);border-color:var(--px-border)}#krabka-proofs .px-item.px-active{background:var(--px-panel);border-color:var(--px-accent);box-shadow:inset 3px 0 0 var(--px-accent)}#krabka-proofs .px-item-name{min-width:0;font-family:var(--px-mono);white-space:nowrap;text-overflow:ellipsis;font-size:.76rem;overflow:hidden}#krabka-proofs .px-item-meta{font-family:var(--px-mono);color:var(--px-muted);text-align:left;white-space:nowrap;font-variant-numeric:tabular-nums;font-size:.6875rem}#krabka-proofs .px-empty{color:var(--px-muted);margin:0;padding:.4rem .5rem;font-size:.82rem}#krabka-proofs .px-detail{flex-direction:column;gap:1rem;min-width:0;display:flex}#krabka-proofs .px-detail>*{min-width:0}#krabka-proofs .px-head{border-bottom:1px solid var(--px-border);min-width:0;padding-bottom:.6rem}#krabka-proofs .px-title-row{flex-wrap:wrap;align-items:center;gap:.35rem .6rem;min-width:0;display:flex}#krabka-proofs .px-title{font-family:var(--px-mono);color:var(--px-text);overflow-wrap:anywhere;word-break:normal;min-width:0;margin:0;font-size:1.05rem;font-weight:700;line-height:1.3}#krabka-proofs .px-title .px-title-impl{color:var(--px-muted);font-weight:500}#krabka-proofs .px-module{font-family:var(--px-mono);color:var(--px-accent);overflow-wrap:anywhere;font-size:.78rem}#krabka-proofs .px-kind{border:1px solid var(--px-border-strong);background:var(--px-panel-raised);letter-spacing:.05em;text-transform:uppercase;color:var(--px-text-soft);border-radius:999px;padding:.06rem .5rem;font-size:.6875rem;font-weight:700;line-height:1.5;display:inline-block}#krabka-proofs .px-kind-kernel{color:var(--px-accent-text);background:var(--px-accent-soft);border-color:#ff4d2e73}#krabka-proofs .px-kind-lemma{color:var(--px-blue);border-color:#5fb3f573}#krabka-proofs .px-kind-helper{color:var(--px-ok);border-color:#45c17873}#krabka-proofs .px-links{flex-wrap:wrap;align-items:baseline;gap:.3rem .8rem;min-width:0;margin:.45rem 0 0;font-size:.78rem;display:flex}#krabka-proofs .px-link{color:var(--px-muted);border-bottom:1px dotted var(--px-border-strong);overflow-wrap:anywhere;text-decoration:none}#krabka-proofs .px-link:hover{color:var(--px-text);border-bottom-color:var(--px-accent)}#krabka-proofs .px-link-primary{color:var(--px-accent-text);border-bottom-color:#ff4d2e73}#krabka-proofs .px-ledger-kernels{font-family:var(--px-mono);color:var(--px-text-soft);overflow-wrap:anywhere;font-size:.72rem}#krabka-proofs .px-stats{color:var(--px-muted);flex-wrap:wrap;align-items:baseline;gap:.2rem .7rem;min-width:0;margin:.5rem 0 0;font-size:.76rem;display:flex}#krabka-proofs .px-stats b{color:var(--px-text);font-variant-numeric:tabular-nums;font-weight:600}#krabka-proofs .px-section{background:var(--px-panel);border:1px solid var(--px-border);border-radius:10px;min-width:0;padding:1rem}#krabka-proofs .px-section-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.3rem .8rem;margin-bottom:.5rem;display:flex}#krabka-proofs .px-section-title{text-transform:uppercase;letter-spacing:.06em;color:var(--px-muted);margin:0;font-size:.72rem;font-weight:700}#krabka-proofs .px-section-hint{color:var(--px-muted);overflow-wrap:anywhere;font-size:.74rem}#krabka-proofs .px-note{color:var(--px-text-soft);overflow-wrap:anywhere;word-break:normal;margin:0;font-size:.78rem;line-height:1.5}#krabka-proofs .px-note+.px-note{margin-top:.4rem}#krabka-proofs .px-note code{font-family:var(--px-mono);color:var(--px-accent-text);overflow-wrap:anywhere;font-size:.74rem}#krabka-proofs .px-tree{flex-direction:column;gap:.35rem;min-width:0;display:flex}#krabka-proofs .px-goal,#krabka-proofs .px-node{border-left:2px solid var(--px-border);min-width:0;padding-left:.45rem}#krabka-proofs .px-goal{border-left-color:#ff4d2e73}#krabka-proofs .px-goal>summary,#krabka-proofs .px-node>summary{cursor:pointer;border-radius:6px;flex-wrap:wrap;align-items:baseline;gap:.2rem .6rem;min-width:0;padding:.18rem .25rem .18rem 1.25rem;list-style:none;display:flex;position:relative}#krabka-proofs .px-goal>summary::-webkit-details-marker,#krabka-proofs .px-node>summary::-webkit-details-marker{display:none}#krabka-proofs .px-goal>summary:hover,#krabka-proofs .px-node>summary:hover{background:#ffffff08}#krabka-proofs .px-goal>summary:before,#krabka-proofs .px-node>summary:before{content:"";border-right:1.6px solid var(--px-muted);border-bottom:1.6px solid var(--px-muted);width:.4rem;height:.4rem;transition:transform .12s;position:absolute;top:.6rem;left:.25rem;transform:rotate(-45deg)}#krabka-proofs .px-goal[open]>summary:before,#krabka-proofs .px-node[open]>summary:before{transform:rotate(45deg)}#krabka-proofs .px-goal-name{font-family:var(--px-mono);color:var(--px-text);overflow-wrap:anywhere;word-break:normal;min-width:0;font-size:.8rem;font-weight:600}#krabka-proofs .px-node-name{font-family:var(--px-mono);color:var(--px-amber);overflow-wrap:anywhere;font-size:.76rem}#krabka-proofs .px-node-meta,#krabka-proofs .px-goal-meta{color:var(--px-muted);font-variant-numeric:tabular-nums;font-size:.7rem}#krabka-proofs .px-children{flex-direction:column;gap:.15rem;min-width:0;margin:.15rem 0 .2rem .5rem;display:flex}#krabka-proofs .px-leaf{border-radius:6px;flex-wrap:wrap;align-items:center;gap:.25rem .5rem;min-width:0;padding:.14rem .25rem;font-size:.74rem;display:flex}#krabka-proofs .px-leaf:hover{background:#ffffff08}#krabka-proofs .px-leaf-idx{min-width:1.4rem;font-family:var(--px-mono);color:var(--px-muted);text-align:right;font-variant-numeric:tabular-nums;flex:none;font-size:.6875rem}#krabka-proofs .px-prover{cursor:help;border:1px solid var(--px-border-strong);font-family:var(--px-mono);color:var(--px-text-soft);background:var(--px-panel-raised);border-radius:999px;flex:none;padding:.02rem .45rem;font-size:.6875rem;font-weight:600;line-height:1.5;display:inline-block;position:relative}#krabka-proofs .px-prover-alt-ergo{color:var(--px-blue);background:#5fb3f51a;border-color:#5fb3f580}#krabka-proofs .px-prover-z3{color:var(--px-amber);background:#f7b73a1a;border-color:#f7b73a80}#krabka-proofs .px-prover-cvc5{color:var(--px-purple);background:#c084fc1a;border-color:#c084fc80}#krabka-proofs .px-prover-cvc4{color:var(--px-pink);background:#f472b61a;border-color:#f472b680}#krabka-proofs .px-leaf-time{min-width:3.6rem;font-family:var(--px-mono);color:var(--px-text-soft);text-align:right;font-variant-numeric:tabular-nums;flex:none;font-size:.7rem}#krabka-proofs .px-bar{background:#ffffff0f;border-radius:999px;flex:60px;min-width:40px;height:.4rem;overflow:hidden}#krabka-proofs .px-bar>span{background:var(--px-blue);opacity:.8;border-radius:999px;height:100%;display:block}#krabka-proofs .px-leaf-z3 .px-bar>span{background:var(--px-amber)}#krabka-proofs .px-leaf-cvc5 .px-bar>span{background:var(--px-purple)}#krabka-proofs .px-leaf-cvc4 .px-bar>span{background:var(--px-pink)}#krabka-proofs .px-live{width:14rem;font-family:var(--px-mono);color:var(--px-muted);white-space:nowrap;text-overflow:ellipsis;flex:none;font-size:.6875rem;overflow:hidden}#krabka-proofs .px-live:empty{display:none}@media (width<=40rem){#krabka-proofs .px-live{white-space:normal;overflow-wrap:anywhere;word-break:normal;flex:100%;width:auto}}#krabka-proofs .px-live-proved{color:var(--px-ok)}#krabka-proofs .px-live-unproved,#krabka-proofs .px-live-error{color:var(--px-error)}#krabka-proofs .px-live-timeout,#krabka-proofs .px-live-diverged{color:var(--px-amber)}#krabka-proofs .px-live-running{color:var(--px-text-soft)}#krabka-proofs .px-live-skipped{color:var(--px-muted);font-style:italic}#krabka-proofs .px-obfilter{flex:12rem;max-width:100%;padding:.26rem .5rem;font-size:.78rem}#krabka-proofs .px-oblist{flex-direction:column;min-width:0;display:flex}#krabka-proofs .px-ob{border-top:1px solid var(--px-border);grid-template-columns:minmax(0,1fr);gap:.35rem;min-width:0;padding:.75rem .25rem;display:grid}#krabka-proofs .px-ob:first-child{border-top:none}#krabka-proofs .px-ob-head{flex-wrap:wrap;align-items:baseline;gap:.15rem .6rem;min-width:0;display:flex}#krabka-proofs .px-ob-expl{color:var(--px-text);overflow-wrap:anywhere;font-size:.78rem;font-weight:600}#krabka-proofs .px-ob-count{font-family:var(--px-mono);color:var(--px-amber);font-size:.6875rem}#krabka-proofs .px-ob-span{font-family:var(--px-mono);color:var(--px-muted);overflow-wrap:anywhere;word-break:normal;font-size:.6875rem;text-decoration:none}#krabka-proofs a.px-ob-span{border-bottom:1px dotted var(--px-border-strong)}#krabka-proofs a.px-ob-span:hover{color:var(--px-text);border-bottom-color:var(--px-accent)}#krabka-proofs .px-ob-formula{border:1px solid var(--px-border);min-width:0;max-width:100%;max-height:18rem;font-family:var(--px-mono);color:var(--px-text-soft);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;border-radius:6px;margin:.5rem 0;padding:.5rem;font-size:.78rem;line-height:1.6;overflow:auto}#krabka-proofs .px-prover-help{z-index:10;border:1px solid var(--px-border-strong);background:var(--px-panel-raised);width:min(18rem,55vw);color:var(--px-text);white-space:normal;border-radius:7px;padding:.65rem;font:.8rem/1.5 Inter,sans-serif;display:none;position:fixed}#krabka-proofs .px-prover:not([data-dismissed]):hover .px-prover-help,#krabka-proofs .px-prover:not([data-dismissed]):focus .px-prover-help{display:block}#krabka-proofs .px-ob-summary{color:var(--px-text-soft);overflow-wrap:anywhere;margin:0;font-size:.86rem;line-height:1.6}#krabka-proofs .px-ob-source{min-width:0}#krabka-proofs .px-formula-toggle{color:var(--px-muted);cursor:pointer;align-items:center;gap:.5rem;margin-bottom:.75rem;font-size:.8rem;display:flex}#krabka-proofs .px-token-operator{color:var(--px-blue);font-weight:700}#krabka-proofs .px-token-literal{color:var(--px-amber)}#krabka-proofs .px-token-annotation{color:var(--px-muted)}#krabka-proofs .px-type-key{flex-wrap:wrap;gap:.75rem;margin-bottom:.75rem;font-size:.75rem;display:flex}#krabka-proofs .px-type-integer{color:var(--px-amber)}#krabka-proofs .px-type-boolean{color:var(--px-purple)}#krabka-proofs .px-type-unsigned{color:var(--px-ok)}#krabka-proofs .px-token-some,#krabka-proofs .px-token-none{border:1px solid;border-radius:4px;margin-inline:2px;padding:0 3px}#krabka-proofs .px-token-some{color:var(--px-ok);background:color-mix(in srgb, var(--px-ok) 12%, transparent)}#krabka-proofs .px-token-none{color:var(--px-muted);border-style:dashed}#krabka-proofs .px-formula-line{display:block}#krabka-proofs .px-coma>summary{cursor:pointer;flex-wrap:wrap;align-items:baseline;gap:.3rem .8rem;min-width:0;list-style:none;display:flex}#krabka-proofs .px-coma>summary::-webkit-details-marker{display:none}#krabka-proofs .px-coma>summary .px-section-title:before{content:"";border-right:1.6px solid var(--px-muted);border-bottom:1.6px solid var(--px-muted);width:.4rem;height:.4rem;margin-right:.45rem;transition:transform .12s;display:inline-block;transform:rotate(-45deg)translateY(-1px)}#krabka-proofs .px-coma[open]>summary .px-section-title:before{transform:rotate(45deg)translateY(-2px)}#krabka-proofs .px-coma-body{min-width:0;margin-top:.5rem}#krabka-proofs .px-pre{border:1px solid var(--px-border);background:var(--px-bg);max-height:32rem;font-family:var(--px-mono);color:var(--px-text-soft);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;tab-size:2;border-radius:7px;margin:.5rem 0 0;padding:.5rem .55rem;font-size:.7rem;line-height:1.45;overflow-y:auto}#krabka-proofs .px-check{border-left-width:4px;border-left-color:var(--px-border-strong)}#krabka-proofs .px-check.px-check-ok{border-left-color:var(--px-ok)}#krabka-proofs .px-check.px-check-partial{border-left-color:var(--px-amber)}#krabka-proofs .px-check.px-check-failed{border-left-color:var(--px-accent-deep)}#krabka-proofs .px-check-actions{flex-wrap:wrap;align-items:center;gap:.5rem .8rem;margin-top:.5rem;display:flex}#krabka-proofs .px-check-status{color:var(--px-text-soft);overflow-wrap:anywhere;font-variant-numeric:tabular-nums;margin:0;font-size:.78rem}#krabka-proofs .px-check-log{font-family:var(--px-mono);color:var(--px-muted);max-height:12rem;margin:.5rem 0 0;padding:0;font-size:.6875rem;line-height:1.45;list-style:none;overflow-y:auto}#krabka-proofs .px-check-log li{overflow-wrap:anywhere;word-break:normal;padding:.05rem 0}#krabka-proofs .px-check-log .px-log-error{color:var(--px-error)}#krabka-proofs .px-foot{border-top:1px solid var(--px-border);color:var(--px-muted);margin-top:.9rem;padding-top:.6rem;font-size:.76rem;line-height:1.5}#krabka-proofs .px-foot p{overflow-wrap:anywhere;margin:0}#krabka-proofs .px-foot p+p{margin-top:.35rem}#krabka-proofs .px-foot code{font-family:var(--px-mono);color:var(--px-text-soft);font-size:.72rem}#krabka-proofs.px-app{height:max(620px, calc(100dvh - var(--px-top,8.5rem) - .5rem));border-left:0;border-right:0;border-radius:0;margin:0;padding:.6rem;display:flex}#krabka-proofs.px-app .px-layout{flex:1;grid-template-rows:minmax(0,1fr);grid-template-columns:22rem minmax(0,1fr);align-items:stretch;gap:.6rem;width:100%;min-height:0}#krabka-proofs.px-app .px-sidebar{border:1px solid var(--px-border);background:var(--px-panel);border-radius:10px;flex-direction:column;min-height:0;padding:.7rem;display:flex;position:static;overflow:hidden}#krabka-proofs.px-app .px-sidebar-toggle{display:none}#krabka-proofs.px-app .px-sidebar-controls{flex:1;min-height:0;max-height:none;margin-top:0}#krabka-proofs.px-app .px-list{flex:1;padding-right:.3rem}#krabka-proofs .px-hint{border-top:1px solid var(--px-border);color:var(--px-muted);margin:0;padding-top:.5rem;font-size:.72rem}#krabka-proofs .px-hint kbd{font:inherit;font-family:var(--px-mono);border:1px solid var(--px-border-strong);color:var(--px-text-soft);border-radius:4px;margin-right:.15rem;padding:0 .3rem;font-size:.7rem}#krabka-proofs .px-item[data-kind=kernel] .px-item-name{color:var(--px-text);font-weight:600}#krabka-proofs .px-item[data-kind=helper] .px-item-name,#krabka-proofs .px-item[data-kind=lemma] .px-item-name,#krabka-proofs .px-item[data-kind=derived] .px-item-name{color:var(--px-text-soft)}#krabka-proofs.px-app .px-detail{border:1px solid var(--px-border);background:var(--px-panel);border-radius:10px;flex-direction:column;gap:0;min-height:0;display:flex;overflow:hidden}#krabka-proofs.px-app .px-detail>.px-head{border-bottom:0;flex:none;padding:.85rem 1.1rem .7rem}#krabka-proofs .px-tabs{border-bottom:1px solid var(--px-border);flex-wrap:wrap;flex:none;gap:.15rem;padding:0 .7rem;display:flex}#krabka-proofs .px-tab{color:var(--px-muted);font:inherit;white-space:nowrap;cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;align-items:center;gap:.4rem;margin-bottom:-1px;padding:.55rem .8rem;font-size:.84rem;font-weight:600;display:inline-flex}#krabka-proofs .px-tab:hover{color:var(--px-text)}#krabka-proofs .px-tab:focus-visible{outline:2px solid var(--px-accent);outline-offset:-2px;border-radius:6px}#krabka-proofs .px-tab-active{color:var(--px-text);border-bottom-color:var(--px-accent)}#krabka-proofs .px-tab-n{color:var(--px-muted);font-family:var(--px-mono);background:#ffffff14;border-radius:999px;padding:0 .4rem;font-size:.6875rem;font-weight:500}#krabka-proofs .px-panels{min-width:0}#krabka-proofs.px-app .px-panels{flex:1;min-height:0;padding:1rem 1.1rem 1.4rem;overflow-y:auto}#krabka-proofs .px-panels>.px-section{margin-top:0}@media (width<=60rem){#krabka-proofs.px-app{height:auto;padding:.6rem;display:block}#krabka-proofs.px-app .px-layout{grid-template-rows:none;grid-template-columns:minmax(0,1fr)}#krabka-proofs.px-app .px-sidebar{overflow:visible}#krabka-proofs.px-app .px-sidebar-toggle{display:block}#krabka-proofs.px-app .px-sidebar-controls{margin-top:.5rem}#krabka-proofs.px-app .px-list{max-height:18rem}#krabka-proofs.px-app .px-detail{scroll-margin-top:5rem;overflow:visible}#krabka-proofs.px-app .px-panels{padding:.9rem .8rem 1.2rem;overflow:visible}}#krabka-proofs .px-code-bar{flex-wrap:wrap;align-items:center;gap:.4rem 1rem;margin:.5rem 0 0;display:flex}#krabka-proofs .px-code-status{min-width:0;color:var(--px-muted);overflow-wrap:anywhere;flex:12rem;font-size:.78rem}#krabka-proofs .px-code-status.px-error{color:var(--px-error);margin:0}#krabka-proofs .px-btn-sm{padding:.18rem .55rem;font-size:.76rem}#krabka-proofs .px-pre.px-code{counter-reset:px-line;max-height:max(10rem, calc(100dvh - var(--px-top,8.5rem) - 19.5rem));white-space:pre;overflow-wrap:normal;color:#e5e7eb;padding:.6rem 0;font-size:.74rem;line-height:1.55;overflow:auto}#krabka-proofs .px-pre.px-code.px-wrap{white-space:pre-wrap;overflow-wrap:anywhere}@media (width<=60rem){#krabka-proofs .px-pre.px-code{max-height:70dvh}}#krabka-proofs .px-code.px-wrap .px-line{text-indent:-4.1rem;padding-left:4.1rem}#krabka-proofs .px-code .px-line{min-width:100%;padding-right:.8rem;display:inline-block}#krabka-proofs .px-code .px-line:before{counter-increment:px-line;content:counter(px-line);text-align:right;text-indent:0;color:#8b949e;border-right:1px solid var(--px-border);user-select:none;width:3.4rem;margin-right:.7rem;padding-right:.9rem;display:inline-block}#krabka-proofs .px-code .px-line:hover{background:#ffffff0a}#krabka-proofs .px-hl-keyword{color:#ff8466}#krabka-proofs .px-hl-type{color:#fcd9a8}#krabka-proofs .px-hl-literal{color:#ffb39e}#krabka-proofs .px-hl-string{color:#86efac}#krabka-proofs .px-hl-number{color:#fdba74}#krabka-proofs .px-hl-op{color:#93c5fd}#krabka-proofs .px-hl-comment{color:#8b949e}#krabka-proofs .px-hl-attr{color:#9ca3af}#krabka-proofs .px-hl-expl{color:#c4b5fd;font-weight:600}@media (pointer:coarse){#krabka-proofs .px-item{padding-block:.4rem}#krabka-proofs .px-group-title{padding-block:.5rem}#krabka-proofs .px-chip{padding-block:.4rem}#krabka-proofs .px-btn,#krabka-proofs .px-input,#krabka-proofs .px-formula-toggle{min-height:2rem}#krabka-proofs .px-input,#krabka-proofs .px-obfilter{font-size:1rem}#krabka-proofs .px-sidebar-toggle,#krabka-proofs .px-ob-source>summary{padding-block:.5rem}#krabka-proofs .px-goal>summary,#krabka-proofs .px-node>summary{padding-block:.48rem}#krabka-proofs .px-goal>summary:before,#krabka-proofs .px-node>summary:before{top:.9rem}#krabka-proofs .px-prover{padding-block:.45rem}#krabka-proofs .px-link,#krabka-proofs a.px-ob-span{min-height:2rem;text-decoration:underline dotted var(--px-border-strong);text-underline-offset:.25em;border-bottom:0;align-items:center;display:inline-flex}}@media (forced-colors:active){#krabka-proofs .px-item.px-active{outline-offset:-2px;outline:2px solid highlight;font-weight:700}#krabka-proofs .px-tab-active{border-bottom-color:highlight}#krabka-proofs .px-bar{border:1px solid canvastext}#krabka-proofs .px-bar>span{forced-color-adjust:none;opacity:1;background:canvastext}}