.pr-panel{margin-block:1rem;border:1px solid var(--pt-line,#d0d7de);border-radius:.5rem;padding:.5rem 1rem}.pr-panel>summary{cursor:pointer;font-weight:600;padding-block:.25rem}.pr-setup{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem 1rem;margin-block:.5rem}.pr-files{display:flex;flex-wrap:wrap;align-items:center;gap:.35rem;margin-block:.75rem .25rem}.pr-panel~.nb .nb-details-toggle{display:none}@media print{.pr-panel,.pr-finish{display:none!important}}.pr-levels{display:flex;flex-wrap:wrap;gap:.25rem 1rem;border:0;padding:0;margin-block:.5rem}.pr-levels legend{float:inline-start;margin-inline-end:.5rem;font-weight:600}.pr-tree,.pr-tree ul{list-style:none;margin:0;padding:0}.pr-tree ul{padding-inline-start:1.5rem}.pr-node{display:flex;align-items:center;gap:.5rem;min-height:2rem}.pr-open,.pr-open-space{width:1.5rem;flex:none}.pr-open{border:0;background:0 0;cursor:pointer;padding:0;font-size:.9em}.pr-open::before{content:"▸";display:inline-block}[dir=rtl] .pr-open::before{content:"◂"}.pr-open[aria-expanded=true]::before{content:"▾"}.pr-name{cursor:pointer}.pr-name input{margin-inline-end:.25rem}.pr-avail{opacity:.6;font-size:.9em}.pr-count{width:4.5rem;padding:.1rem .3rem;border:1px solid var(--pt-line,#d0d7de);border-radius:.25rem;background:0 0}.pr-actions{display:flex;flex-wrap:wrap;gap:.5rem;margin-block:.75rem .25rem}.pr-actions button,.pr-copy{padding:.3rem .9rem;border:1px solid var(--pt-line,#d0d7de);border-radius:.375rem;cursor:pointer;background:0 0}.pr-add{font-weight:600}.pr-finish{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem 1rem;margin-block:1rem}.pr-finish[hidden]{display:none}.pr-finish-button{padding:.4rem 1.1rem;border:0;border-radius:.375rem;cursor:pointer;font-weight:600;background:var(--pt-tile);color:#fff}html.dark .pr-finish-button{color:#111}.pr-finish .pr-status{margin:0}.pr-link{display:flex;gap:.5rem;margin-block:.5rem}.pr-url{flex:1;min-width:0;direction:ltr;padding:.2rem .4rem;border:1px solid var(--pt-line,#d0d7de);border-radius:.25rem;background:0 0}.pr-byid{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;margin-block:.5rem}.pr-byid label{display:flex;flex:1;align-items:center;gap:.5rem;min-width:min(100%,18rem)}.pr-ids{flex:1;min-width:0;padding:.2rem .4rem;border:1px solid var(--pt-line,#d0d7de);border-radius:.25rem;background:0 0}.pr-ids-add{padding:.3rem .9rem;border:1px solid var(--pt-line,#d0d7de);border-radius:.375rem;cursor:pointer;background:0 0}.pr-status{margin:.25rem 0;min-height:1.5em;align-self:center}.pr-actions .pr-status{margin:0;font-weight:600}.pr-empty .pr-name{opacity:.45;cursor:default}.pr-help{margin-block-start:.75rem;padding-block-start:.5rem;border-block-start:1px solid var(--pt-line,#d0d7de);font-size:.9em;opacity:.85}.pr-help ul{margin:0;padding-inline-start:1.25rem;list-style:disc}.pr-task{font-weight:600;margin:0}.pr-id{float:inline-end;margin-inline-start:.75rem;font-size:.75rem;opacity:.55;font-variant-numeric:tabular-nums;direction:ltr;user-select:all}.pr-item-copy{float:inline-end;display:grid;place-items:center;width:1.4rem;height:1.1rem;padding:0;border:0;background:0 0;color:inherit;opacity:.55;cursor:pointer}.pr-item-copy:hover,.pr-item-copy:focus-visible{opacity:1}.pr-item-copy svg{width:.85rem;height:.85rem;fill:none;stroke:currentColor;stroke-width:1.5;stroke-linecap:round}.pr-item-copy.pr-copied svg{display:none}.pr-item-copy.pr-copied::after{content:"✓";font-size:.8rem}@media print{.pr-item-copy{display:none}}.pr-missing{font-style:italic;margin:0}.pr-helper h3{font-weight:600;margin-block:.75rem .25rem}.pr-helper p{margin-block:.5rem}.pr-helper ul{list-style:disc;padding-inline-start:1.25rem;margin-block:.5rem}.pr-helper li{margin-block:.35rem}.pr-helper .katex-display{margin-block:.6rem;overflow-x:auto;overflow-y:hidden}.nb[data-check=end] .pr-item .proof-check,.nb[data-check=none] .pr-item .proof-check{display:none}@container nb (max-width:46rem){.pr-item .geo-with-proof { display: block; }
}.pr-item>.pb-tool+.expr-tool{margin-block-start:.75rem}.nb[data-check=end] .pr-item .pb-check,.nb[data-check=none] .pr-item .pb-check{display:none}.pr-math{margin-block:.5rem;overflow-x:auto;overflow-y:hidden;text-align:left}.pr-text table{display:block;max-width:100%;overflow-x:auto;border-collapse:collapse;margin:0}.pr-text :where(th,td){border:1px solid var(--nb-rule);padding:0 .6rem;white-space:nowrap}.pr-text th{font-weight:700}.pr-rule{margin-block:.75rem;font-weight:600}.pr-rule[hidden]{display:none}