.lean4-panel{margin-top:12px;border:1px solid #27394b;border-top:2px solid #7ef2b5;background:#080f18;color:#e8effa;color-scheme:dark}.lean4-panel:not(.is-open){border-top-width:1px}.lean4-head{display:flex;align-items:center;gap:7px;width:100%;padding:8px 12px;background:#101b29;border:0;color:#7ef2b5;font:500 11px/1.5 var(--font-mono, ui-monospace, monospace);letter-spacing:.6px;text-align:left;cursor:pointer}.lean4-head svg{width:13px;height:13px;flex-shrink:0}.lean4-head small{color:#9cabbe;letter-spacing:0;font-weight:400}.lean4-head:focus-visible{outline:2px solid #78dfff;outline-offset:-2px}.lean4-body{max-height:420px;overflow:auto;border-top:1px solid #27394b;scrollbar-color:#344458 #0c1723;scrollbar-width:thin}.lean4-note{margin:0;padding:12px;font-size:11px;color:#b1c0d5}.lean4-code{margin:0;padding:10px 14px;font:11.5px/1.7 var(--font-mono, ui-monospace, SFMono-Regular, Menlo, monospace);white-space:pre-wrap;overflow-wrap:anywhere;border-bottom:1px solid #16263a}.lean4-code:last-child{border-bottom:0}.l4-kw{color:#dca7ff;font-weight:500}.l4-type{color:#78dfff}.l4-name{color:#82f5bd}.l4-ns{color:#5f7690}.l4-var{color:#e8effa}.l4-op{color:#ffd27b}.l4-lit{color:#ffbf86}.l4-comment{color:#a6bacd}.corpus-reader{height:100%;min-height:0;min-width:0;display:flex;flex-direction:column;background:var(--background,#fff);color:var(--foreground,#202124)}.corpus-reader .reader-header{display:flex;align-items:center;justify-content:space-between;gap:12px;flex-shrink:0;min-height:57px;padding:14px 20px;border-bottom:1px solid var(--border,#e4e4e7)}.corpus-reader .reader-header h2{display:flex;align-items:center;gap:8px;font-size:13px;font-weight:600;letter-spacing:-.15px;margin:0}.corpus-reader .reader-header h2 svg{width:16px;height:16px}.corpus-reader .reader-header>span{font-size:11px;color:var(--muted-foreground,#71717a);white-space:nowrap}.corpus-reader .reader-scroll{position:relative;overflow:auto;overscroll-behavior:contain;min-height:0;flex:1;scrollbar-gutter:stable}.corpus-reader .reader-group-heading{display:flex;align-items:center;gap:10px;justify-content:space-between;padding:13px 20px 6px;background:var(--muted,#f5f5f5)}.corpus-reader .reader-group-heading h3{margin:0;font-size:11px;line-height:1.5;font-weight:600;letter-spacing:.6px;text-transform:uppercase;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-source-text{padding:0;background:var(--muted,#f5f5f5);border-bottom:1px solid var(--border,#e4e4e7)}.corpus-reader .reader-source-text summary{list-style:none;display:block;cursor:pointer;font-size:11px;color:var(--muted-foreground,#71717a);width:100%;padding:0 0 11px}.corpus-reader .reader-source-summary{display:flex;align-items:center;gap:6px;min-height:32px;padding:0 20px}.corpus-reader .reader-source-text summary::-webkit-details-marker{display:none}.corpus-reader .reader-source-text summary svg{width:12px;height:12px;flex-shrink:0}.corpus-reader .reader-source-text summary svg:last-child{margin-left:auto}.corpus-reader .reader-source-text[open] summary svg:last-child{transform:rotate(180deg)}.corpus-reader .reader-source-text blockquote{margin:0 20px 14px;border-left:2px solid var(--primary,#eab308);padding:2px 0 2px 12px;font-size:12px;line-height:1.8;white-space:pre-line;overflow-wrap:anywhere;color:var(--foreground,#3f3f46)}.corpus-reader .reader-source-note,.corpus-reader .reader-source-only{padding:10px 20px 14px;margin:0;font-size:12px;line-height:1.7;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-source-note{padding:0 20px 14px}.corpus-reader .reader-source-only{border-bottom:1px solid var(--border,#e4e4e7)}.corpus-reader .reader-deferred{font-size:11px;font-weight:400;color:var(--muted-foreground,#71717a);white-space:nowrap}.corpus-reader .reader-construct{padding:0 20px 20px;border-bottom:1px solid var(--border,#e4e4e7);border-left:3px solid transparent;min-width:0}.corpus-reader .reader-construct.is-collapsed{padding-bottom:0}.corpus-reader .reader-construct.is-collapsed .reader-construct-trigger{padding-bottom:20px}.corpus-reader .reader-construct.is-selected{background:#fffced;border-left-color:#d7ae08}.corpus-reader .reader-construct.is-preview:not(.is-selected){border-left-color:#d7ae08;background:#fffef7}.corpus-reader .reader-construct-meta{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:8px;font-size:11px;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-construct-meta>span:first-child{font-family:var(--font-mono,ui-monospace,monospace);letter-spacing:.05px}.corpus-reader .reader-kind{font-size:11px;font-weight:400;border-color:transparent;padding:0;height:auto;line-height:1.5;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-construct-heading{margin:0}.corpus-reader .reader-construct-trigger{width:calc(100% + 40px);display:block;margin-inline:-20px;text-align:left;cursor:pointer;background:none;border:0;padding:19px 20px 8px;color:inherit;font-size:16px;font-weight:600;letter-spacing:-.25px;line-height:1.5}.corpus-reader .reader-construct-title{display:flex;align-items:baseline;justify-content:space-between;gap:12px}.corpus-reader .reader-construct-trigger svg{width:14px;height:14px;flex-shrink:0;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-body{font-size:13px;line-height:1.8;white-space:pre-line;overflow-wrap:anywhere;margin:0;color:#3f3f46}.corpus-reader .reader-body-preview{margin-top:8px;font-weight:400;letter-spacing:normal;display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:2;overflow:hidden;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-related-count{display:block;font-weight:400;letter-spacing:normal;margin:10px 0 0;font-size:11px;line-height:1.5;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-lean-note{margin:17px 0 0;padding:12px;border:1px solid var(--border,#e4e4e7);font-size:12px;line-height:1.6;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-shared-links{padding:10px 20px 14px;border-bottom:1px solid var(--border,#e4e4e7);display:flex;align-items:flex-start;flex-direction:column;gap:6px;font-size:11px;color:var(--muted-foreground,#71717a)}.corpus-reader .reader-shared-links button{display:inline-flex;align-items:center;gap:5px;text-align:left;text-decoration:underline;text-underline-offset:3px;cursor:pointer;color:var(--foreground,#3f3f46)}.corpus-reader .reader-shared-links svg{width:12px;height:12px;flex-shrink:0}.corpus-reader .reader-foot,.corpus-reader .reader-empty{margin:0;padding:18px 20px;font-size:11px;line-height:1.7;color:var(--muted-foreground,#71717a)}.corpus-reader :is(.reader-construct-trigger,.reader-source-text summary,.reader-shared-links button):focus-visible{outline:2px solid #b18a00;outline-offset:4px}.corpus-reader .lean-code{min-width:0;overflow:hidden;margin-top:18px;border:1px solid #27394b;border-top:2px solid #7ef2b5;background:#080f18;color:#e8effa;box-shadow:0 5px 15px #0000000b;color-scheme:dark}.corpus-reader .lean-header{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:11px 13px;background:#101b29}.corpus-reader .lean-heading{display:inline-flex;gap:7px;align-items:center;color:#7ef2b5;letter-spacing:1px;font:500 11px/1.5 var(--font-mono,ui-monospace,monospace)}.corpus-reader .lean-heading svg{width:14px;height:14px}.corpus-reader .lean-filename{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0;color:#b1c0d5;font:11px/1.5 var(--font-mono,ui-monospace,monospace)}.corpus-reader .lean-scroll{overflow:auto;max-height:460px;overscroll-behavior:contain;border-top:1px solid #27394b;scrollbar-color:#344458 #0c1723;scrollbar-width:thin}.corpus-reader .lean-scroll:focus-visible{outline:2px solid #78dfff;outline-offset:-2px}.corpus-reader .lean-pre{min-width:0;white-space:normal;margin:0;padding:13px 0 15px;font:12px/1.8 var(--font-mono,ui-monospace,SFMono-Regular,Menlo,monospace);color:#e8effa;tab-size:2}.corpus-reader .lean-pre code{font:inherit;color:inherit}.corpus-reader .lean-line{display:grid;grid-template-columns:43px minmax(0,1fr);min-height:1.8em;padding-right:16px}.corpus-reader .lean-line:hover{background:#112334}.corpus-reader .lean-line-number{position:sticky;left:0;display:inline-block;flex-shrink:0;min-width:43px;padding-right:10px;text-align:right;color:#9cabbe;border-right:1px solid #1b2b3d;background:#080f18;-webkit-user-select:none;user-select:none;font-size:11px}.corpus-reader .lean-line-content{display:block;min-width:0;padding-left:13px;white-space:pre-wrap;overflow-wrap:anywhere}.corpus-reader .lean-kw{color:#dca7ff;font-weight:500}.corpus-reader .lean-name{color:#82f5bd}.corpus-reader .lean-type{color:#78dfff}.corpus-reader .lean-ns{color:#a5b3c9}.corpus-reader .lean-op{color:#ffd27b}.corpus-reader .lean-lit{color:#ffbf86}.corpus-reader .lean-comment{color:#a6bacd}.corpus-reader .lean-footer{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:10px;padding:10px 12px;border-top:1px solid #27394b;background:#0c1723}.corpus-reader .lean-line-range{color:#b1c0d5;font-size:11px}.corpus-reader .lean-footer-actions,.corpus-reader .lean-nav-actions{display:flex;align-items:center;gap:10px}.corpus-reader .lean-action{border-color:#40566e;background:#162739;color:#d8e7fb;font-size:11px}.corpus-reader .lean-action:hover{background:#223b52;color:#fff}.corpus-reader .lean-action:focus-visible{outline:2px solid #78dfff;outline-offset:2px}.corpus-reader .lean-file-link{display:inline-flex;align-items:center;gap:5px;color:#b1c0d5;font-size:11px;text-decoration:none;white-space:nowrap;min-height:28px}.corpus-reader .lean-file-link:hover{color:#fff}.corpus-reader .lean-file-link svg{width:12px;height:12px}.corpus-reader .lean-file-link:focus-visible{outline:2px solid #78dfff;outline-offset:3px}.corpus-reader .lean-declaration-nav{display:flex;align-items:center;justify-content:space-between;gap:10px;border-top:1px solid #27394b;padding:7px 12px;font-size:11px;color:#b1c0d5}.corpus-reader .lean-message{padding:18px 14px;min-height:110px;font-size:12px;line-height:1.8;color:#b1c0d5}.corpus-reader .lean-message p{margin:0 0 12px}.corpus-reader .lean-loading{display:flex;align-items:center}.corpus-reader .lean-expand{width:100%;border-top:1px solid #27394b;border-radius:0;background:#101b29;color:#b1c0d5;font-size:11px}.corpus-reader .lean-expand:hover{background:#223b52;color:#fff}.corpus-reader .lean-export-note{margin:0;padding:11px 13px;border-top:1px solid #27394b;color:#b1c0d5;font-size:11px;line-height:1.65}.corpus-reader .reader-sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(max-width:800px){.corpus-reader{height:auto}.corpus-reader .reader-scroll{max-height:75dvh;flex:auto}.corpus-reader .reader-header{padding-inline:16px}.corpus-reader .reader-construct{padding:0 16px 17px}.corpus-reader .reader-construct-trigger{width:calc(100% + 32px);margin-inline:-16px;padding:17px 16px 8px}.corpus-reader .reader-source-summary{padding-inline:16px}.corpus-reader .reader-source-text blockquote{margin-inline:16px}.corpus-reader .reader-source-note{padding-inline:16px}.corpus-reader .reader-construct.is-collapsed{padding-bottom:0}.corpus-reader .reader-construct.is-collapsed .reader-construct-trigger{padding-bottom:17px}.corpus-reader .reader-group-heading{padding-inline:16px}.corpus-reader .lean-pre{font-size:11px}.corpus-reader .reader-scroll{scrollbar-gutter:auto}.corpus-reader .reader-construct-trigger{font-size:15px}}@media(pointer:coarse){.corpus-reader .reader-construct-trigger,.corpus-reader .reader-source-text summary,.corpus-reader .reader-shared-links button,.corpus-reader .lean-action,.corpus-reader .lean-file-link{min-height:44px}}.corpus-reader .reader-group-badges{display:inline-flex;gap:6px;align-items:center}.corpus-reader .reader-source-summary em{font-style:normal;color:var(--foreground,#3f3f46);opacity:.75}.reader-code{margin-top:16px;border:1px solid var(--border,#e4e4e7);background:#fafafa}.reader-code-head{padding:7px 12px;border-bottom:1px solid var(--border,#e4e4e7);font:11px/1.5 var(--font-mono,ui-monospace,monospace);color:var(--muted-foreground,#71717a)}.pr-code{margin:0;padding:10px 0;font:12px/1.75 var(--font-mono,ui-monospace,SFMono-Regular,Menlo,monospace);color:#27272a;white-space:normal}.pr-code code{font:inherit}.pr-line{display:grid;grid-template-columns:auto minmax(0,1fr)}.pr-line-number{min-width:38px;padding:0 10px 0 6px;text-align:right;color:#a1a1aa;-webkit-user-select:none;user-select:none;font-size:11px}.pr-line-content{display:block;min-width:0;padding:0 14px 0 4px;white-space:pre-wrap;overflow-wrap:anywhere}.pr-kw{color:#7c3aed;font-weight:600}.pr-ref{color:#0f766e}.pr-title{color:#18181b;font-weight:500}.pr-quote{color:#9a3412}.pr-deferred{color:#71717a;font-style:italic;background:#f4f4f5}.pr-cite{color:#0369a1}.pr-link{color:#0f766e}.pr-bullet{color:#a16207;padding-right:4px}.pr-comment{color:#71717a;font-style:italic}.pr-table{color:#3f3f46}.reader-qualifier{margin-left:8px;padding:0 5px;font-style:normal;font-family:var(--font-sans);font-size:10px;color:#0f766e;background:#f0fdfa;border:1px solid #ccfbf1}.pr-body{font-size:13px;line-height:1.75;color:#3f3f46;overflow-wrap:anywhere}.pr-body p{margin:0 0 6px}.pr-body ul{margin:2px 0 8px;padding-left:20px}.pr-body li{margin:2px 0}.pr-body li::marker{color:#a16207}.pr-table-wrap{margin:6px 0 10px;overflow-x:auto;border:1px solid var(--border,#e4e4e7)}.pr-table-view{width:100%;border-collapse:collapse;font-size:12px;line-height:1.5}.pr-table-view th{position:sticky;top:0;padding:6px 10px;text-align:left;font-weight:600;font-size:11px;color:#52525b;background:#f4f4f5;border-bottom:1px solid var(--border,#e4e4e7);white-space:nowrap}.pr-table-view td{padding:5px 10px;border-bottom:1px solid #f1f1f3;vertical-align:top}.pr-table-view tr:last-child td{border-bottom:0}.pr-table-view td:first-child{font-family:var(--font-mono,ui-monospace,monospace);font-size:11px;color:#0f766e;white-space:nowrap}.pr-body .pr-para{margin:0 0 6px}.pr-body ul{list-style:disc}.pr-body ul.pr-sub{list-style:circle;margin:2px 0 4px;padding-left:20px}.source-viewer{position:relative;display:flex;flex-direction:column;width:100%;height:100%;min-width:0;min-height:0;background:var(--background, #fff);color:var(--foreground, #18181b);font-size:12px}.source-original-link{display:inline-flex;align-items:center;gap:5px;padding:5px 0;color:var(--muted-foreground, #71717a);font-size:11px;text-decoration:none;white-space:nowrap}.source-original-link:hover{color:var(--foreground, #18181b);text-decoration:underline;text-underline-offset:3px}.source-original-link:focus-visible{outline:2px solid var(--foreground, #18181b);outline-offset:4px}.source-viewer-toolbar{position:relative;z-index:6;display:flex;flex:0 0 auto;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:4px 12px;padding:7px 13px;border-bottom:1px solid var(--border, #e4e4e7);background:var(--background, #fff)}.source-page-controls,.source-zoom-controls{display:flex;align-items:center;gap:2px}.source-page-select-label select{height:26px;min-width:40px;padding-left:6px;font:inherit;font-variant-numeric:tabular-nums;background:transparent;border:1px solid var(--border, #e4e4e7)}.source-page-select-label select:focus-visible{outline:2px solid var(--foreground, #18181b);outline-offset:1px}.source-page-total{padding-right:4px;color:var(--muted-foreground, #71717a);font-variant-numeric:tabular-nums}.source-zoom-value{min-width:32px;text-align:center;color:var(--muted-foreground, #71717a);font-size:10px;font-variant-numeric:tabular-nums}.source-zoom-controls [aria-pressed=true]{background:var(--muted, #f4f4f5)}.source-viewer-body{flex:1 1 0;min-height:0;overflow:auto;background:#f3f3f4;overscroll-behavior:contain;overflow-anchor:none;scroll-behavior:auto;scrollbar-gutter:stable}.source-viewer-body:focus-visible{outline:2px solid var(--foreground, #18181b);outline-offset:-2px}.source-viewer-pages{position:relative;min-width:100%}.source-page-item{position:relative;box-sizing:border-box;width:100%;padding:18px 22px}.source-viewer-paper{position:relative;margin-inline:auto;aspect-ratio:596 / 842;background:#fff;box-shadow:0 1px 5px #18181b13,0 0 0 1px #18181b0a}.source-viewer-paper>img{position:absolute;inset:0;display:block;width:100%;height:100%;object-fit:fill}.source-page-image-status{position:absolute;top:8px;right:8px;z-index:2;padding:5px 8px;max-width:calc(100% - 16px);background:#fff;color:#71717a;font-size:10px}.source-page-image-status.is-error{color:#9f1239;border:1px solid #fecdd3}.source-regions{position:absolute;inset:0;pointer-events:none}.source-region{position:absolute;display:block;margin:0;padding:0;border:1px solid #71717a40;background:#71717a04;cursor:pointer;pointer-events:auto;outline:none}.source-region:disabled{visibility:hidden;pointer-events:none}.source-region:hover,.source-region.is-preview{border-color:#a1620780;background:#facc151c;z-index:3}.source-region.is-selected{border:1.5px solid #c39c00;background:#facc153b;z-index:2}.source-region.is-selected.is-preview{background:#facc1550}.source-region:focus-visible{z-index:4;outline:2px solid #18181b;outline-offset:3px}.source-region-marker{position:absolute;right:0;top:0;display:none;align-items:center;gap:1px;height:13px;min-width:13px;padding:0 2px;background:#e4e4e7;color:#3f3f46;font-size:9px;line-height:1}.source-region:hover .source-region-marker,.source-region:focus-visible .source-region-marker,.source-region.is-preview .source-region-marker,.source-region.is-selected .source-region-marker{display:inline-flex}.source-region.is-selected .source-region-marker{background:#e5be20;color:#332d04}.source-region-choices{position:absolute;z-index:7;left:14px;right:14px;bottom:14px;display:grid;gap:4px;padding:8px 10px;border:1px solid var(--border, #e4e4e7);background:var(--background, #fff);box-shadow:0 2px 12px #18181b16}.source-region-choices>span{font-size:10px;color:var(--muted-foreground, #71717a)}.source-region-choices>div{display:flex;flex-wrap:wrap;gap:3px}.source-region-choices [aria-pressed=true]{box-shadow:inset 0 -2px 0 var(--primary, #facc15)}.source-page-fallbacks{position:absolute;z-index:5;top:23px;left:28px;right:28px;display:flex;flex-wrap:wrap;gap:5px;pointer-events:none}.source-page-fallbacks button{display:inline-flex;align-items:center;gap:4px;padding:4px 6px;border:1px solid #d4d4d8;background:#fff;color:#52525b;font:inherit;font-size:10px;cursor:pointer;pointer-events:auto;box-shadow:0 1px 4px #18181b0b}.source-page-fallbacks button.is-selected{border-color:#c39c00;background:#fef9c3}.source-page-fallbacks button:focus-visible{outline:2px solid #18181b;outline-offset:2px}.source-sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(max-width:800px){.source-viewer{height:auto}.source-viewer-body{flex:0 1 auto;height:62vh;max-height:70vh}.source-viewer-toolbar{gap:4px 6px;padding-inline:10px}.source-region-choices{left:8px;right:8px;bottom:8px}}@media(prefers-reduced-motion:reduce){.source-viewer *,.source-viewer *:before,.source-viewer *:after{scroll-behavior:auto!important;transition-duration:0s!important}}.source-doc-select select{height:26px;max-width:260px;padding:0 6px;font:inherit;font-size:11px;font-weight:500;background:transparent;border:1px solid var(--border, #e4e4e7);text-overflow:ellipsis}.source-extract-note{padding:5px 13px;font-size:10px;color:var(--muted-foreground, #71717a);border-bottom:1px solid var(--border, #e4e4e7);background:#fafafa}.source-page-label{margin:0 auto 4px;width:fit-content;font-size:10px;color:#a1a1aa;font-variant-numeric:tabular-nums}.source-viewer-paper{aspect-ratio:auto}.source-viewer-paper>img{object-fit:contain}.source-page-fallbacks{position:static;margin:6px auto 0;justify-content:center}.source-region.tone-pending{border-color:#c39c0099;background:#facc1514}.source-region.tone-accepted{border-color:#15803d99;background:#22c55e14}.source-region.tone-changes{border-color:#be123c99;background:#f43f5e14}.source-region.tone-accepted.is-selected{border:1.5px solid #15803d;background:#22c55e2e}.source-region.tone-changes.is-selected{border:1.5px solid #be123c;background:#f43f5e2e}.source-region.tone-accepted .source-region-marker{background:#bbf7d0;color:#14532d}.source-region.tone-changes .source-region-marker{background:#fecdd3;color:#881337}.source-original-link{max-width:200px;overflow:hidden}.source-original-link>:first-child{overflow:hidden;text-overflow:ellipsis}.source-doc-select select{max-width:230px}.source-region-marker{top:auto;bottom:calc(100% + 1px);right:-1.5px;height:14px;min-width:14px;justify-content:center;box-shadow:0 1px 2px #18181b26}.source-region-marker{top:-1px;bottom:auto;right:auto;left:calc(100% + 2px)}.source-region.tone-ghost{border:1px dashed transparent;background:transparent;cursor:help;z-index:1}.source-region.tone-ghost:hover{border-color:#a1a1aa;background:#71717a0a}.source-region.tone-ghost.is-open{border-color:#b45309;border-style:dashed;background:#fbbf2412}.ghost-note{position:absolute;z-index:8;min-width:300px;max-width:460px;padding:10px 12px 11px;border:1px solid #fde68a;background:#fffbeb;color:#713f12;font-size:12px;line-height:1.6;box-shadow:0 6px 20px #18181b24}.ghost-note p{margin:0 0 6px}.ghost-note-head{display:flex;align-items:center;gap:6px;margin-bottom:4px;font-size:10.5px;font-weight:600;letter-spacing:.4px;text-transform:uppercase;color:#92400e}.ghost-note-head svg{width:14px;height:14px}.ghost-note-head button{margin-left:auto;display:inline-flex;padding:2px;border:0;background:none;color:#92400e;cursor:pointer}.ghost-note-head button svg{width:13px;height:13px}.ghost-note-title{font-weight:600;color:#451a03}.ghost-note-title span{font-weight:400;color:#92400e}.ghost-note-links{display:grid;gap:3px;justify-items:start}.ghost-note-links button{display:inline-flex;align-items:center;gap:4px;padding:0;border:0;background:none;color:#92400e;font:inherit;font-weight:500;text-decoration:underline;text-underline-offset:3px;cursor:pointer}.ghost-note-links button svg{width:12px;height:12px}.formalization-workspace{display:grid;grid-template-columns:300px minmax(0,1fr);height:calc(100dvh - 176px);border-top:1px solid var(--border)}.fb-tree{overflow:auto;border-right:1px solid var(--border);background:#fafafa;padding:8px 0}.fb-tree-head{padding:8px 18px 12px;font:11px/1.5 var(--font-mono, ui-monospace, monospace);color:var(--muted-foreground)}.fb-tree button{display:grid;grid-template-columns:16px minmax(0,1fr) auto;gap:10px;align-items:start;width:100%;padding:9px 18px;text-align:left;background:none;border:0;border-left:3px solid transparent;font:inherit;color:inherit}.fb-tree button:hover{background:var(--muted)}.fb-tree button[aria-current]{background:#fffced;border-left-color:#d7ae08}.fb-tree button svg{width:15px;height:15px;margin-top:2px;color:var(--muted-foreground)}.fb-tree strong{display:block;font:600 12px/1.5 var(--font-mono, ui-monospace, monospace)}.fb-tree small{display:block;font-size:11px;color:var(--muted-foreground);line-height:1.4}.fb-tree em{font-style:normal;font-size:10px;color:var(--muted-foreground);padding-top:3px}.fb-file{display:flex;flex-direction:column;min-height:0}.fb-file-head{display:flex;align-items:center;gap:8px;padding:13px 20px;border-bottom:1px solid var(--border);font:600 13px/1.5 var(--font-mono, ui-monospace, monospace)}.fb-file-head svg{width:15px;height:15px}.fb-file-head span{margin-left:auto;font:11px/1.5 var(--font-sans);color:var(--muted-foreground)}.fb-file-body{overflow:auto;flex:1;min-height:0}.fb-block{position:relative;border-bottom:1px solid #f1f1f3}.fb-block:hover{background:#fcfcfc}.fb-open{position:absolute;top:8px;right:12px;padding:2px 8px;font-size:10px;border:1px solid var(--border);background:#fff;color:var(--muted-foreground);opacity:0}.fb-block:hover .fb-open,.fb-open:focus-visible{opacity:1}@media(max-width:800px){.formalization-workspace{grid-template-columns:minmax(0,1fr);height:auto}.fb-tree{max-height:220px}}.review-intro{height:auto;min-height:104px;align-items:flex-start}.review-intro p{line-height:1.7}.review-intro p strong{color:var(--foreground);font-weight:600}.review-commit{display:flex;align-items:center;flex-wrap:wrap;gap:0 2px}.review-commit svg{width:14px;height:14px;margin-right:5px}.review-commit code{font-size:11px;padding:0 4px;background:var(--muted)}.review-controls{display:grid;gap:7px;justify-items:end;min-width:300px}.review-reviewer{display:flex;align-items:center;gap:8px;font-size:11px;color:var(--muted-foreground)}.review-reviewer input{height:28px;width:190px;padding:0 8px;font:inherit;font-size:12px;color:var(--foreground);border:1px solid var(--border)}.review-progress{display:grid;gap:4px;justify-items:end;font-size:11px;color:var(--muted-foreground)}.review-progress>div{width:220px;height:4px;background:var(--muted)}.review-progress>div span{display:block;height:100%;background:#16a34a;transition:width .2s}.review-buttons{display:flex;gap:4px}.review-panel{display:flex;flex-direction:column;min-height:0;height:100%}.review-tabs{display:flex;gap:2px;padding:0 14px;border-bottom:1px solid var(--border);flex-shrink:0}.review-tabs button{display:inline-flex;align-items:center;gap:7px;padding:17px 12px 15px;font:inherit;font-size:13px;font-weight:500;color:var(--muted-foreground);background:none;border:0;border-bottom:2px solid transparent}.review-tabs button:hover{color:var(--foreground)}.review-tabs button[aria-selected=true]{color:var(--foreground);border-bottom-color:#d7ae08}.review-tabs button span{min-width:18px;padding:0 5px;font-size:10px;line-height:17px;text-align:center;background:var(--muted);color:var(--muted-foreground)}.review-scroll{flex:1;min-height:0;overflow:auto;overscroll-behavior:contain;scrollbar-gutter:stable}.review-footer{display:flex;align-items:center;gap:8px;padding:11px 16px;border-top:1px solid var(--border);background:#fafafa;flex-shrink:0}.review-note{flex:1;min-width:0;height:32px;padding:0 10px;font:inherit;font-size:12px;border:1px solid var(--border);background:#fff}.review-footer.is-signed-off{background:#f0fdf4;border-top-color:#bbf7d0}.review-footer.is-returned{background:#fff1f2;border-top-color:#fecdd3}.review-outcome{display:flex;align-items:center;gap:10px;width:100%;font-size:12px}.review-outcome>svg{width:20px;height:20px;color:#15803d;flex-shrink:0}.is-returned .review-outcome>svg{color:#be123c}.review-outcome>div{flex:1;display:grid;gap:1px}.review-outcome span{color:var(--muted-foreground);font-size:11px}.rv-list{padding-bottom:30px}.rv-commit{margin:14px 18px 4px;border:1px solid var(--border);background:#fafafa}.rv-commit summary{display:flex;gap:9px;align-items:flex-start;padding:10px 12px;list-style:none;cursor:pointer}.rv-commit summary::-webkit-details-marker{display:none}.rv-commit summary svg{width:15px;height:15px;margin-top:2px;color:var(--muted-foreground);flex-shrink:0}.rv-commit summary span{display:grid;gap:2px;font-size:12px}.rv-commit summary small{font-size:11px;color:var(--muted-foreground)}.rv-commit pre{margin:0;padding:4px 14px 14px 36px;font:11px/1.65 var(--font-mono, ui-monospace, monospace);white-space:pre-wrap;color:#3f3f46}.rv-item{margin-top:14px;border-top:1px solid var(--border);border-bottom:1px solid var(--border);border-left:3px solid transparent}.rv-item.is-selected{border-left-color:#d7ae08}.rv-item.is-accepted{border-left-color:#16a34a}.rv-item.is-changes{border-left-color:#e11d48}.rv-item-head{display:grid;gap:4px;width:100%;padding:13px 18px 10px;text-align:left;background:var(--muted);border:0;font:inherit;color:inherit}.rv-item-title{display:flex;align-items:center;justify-content:space-between;gap:10px}.rv-item-title>span:first-child{font-size:11px;font-weight:600;letter-spacing:.6px;text-transform:uppercase;color:var(--muted-foreground)}.rv-item-sub{display:flex;align-items:center;gap:6px;font-size:11px;color:var(--muted-foreground)}.rv-item-sub svg{width:12px;height:12px}.rv-source{background:var(--muted);padding:0 18px 12px}.rv-source blockquote{margin:0;border-left:2px solid var(--primary, #eab308);padding:2px 0 2px 12px;font-size:12px;line-height:1.8;color:var(--foreground);white-space:pre-line;overflow-wrap:anywhere}.rv-note{margin:8px 0 0;font-size:11.5px;line-height:1.65;color:var(--muted-foreground)}.rv-annotation{display:flex;gap:9px;margin:12px 18px 0;padding:10px 12px;border:1px solid #fde68a;background:#fffbeb;font-size:12px;line-height:1.6;color:#713f12}.rv-annotation svg{width:15px;height:15px;flex-shrink:0;margin-top:2px}.rv-annotation p{margin:0 0 4px}.rv-annotation button{display:inline-flex;align-items:center;gap:4px;padding:0;border:0;background:none;color:#92400e;font:inherit;font-weight:500;text-decoration:underline;text-underline-offset:3px}.rv-annotation button svg{width:12px;height:12px;margin:0}.rv-empty{margin:12px 18px 0;font-size:12px;color:var(--muted-foreground)}.rv-block{margin:12px 18px 0;padding:12px 14px 10px;border:1px solid var(--border);background:#fff}.rv-block.is-added{border-left:3px solid #22c55e}.rv-block.is-modified{border-left:3px solid #f59e0b}.rv-block-meta{display:flex;justify-content:space-between;align-items:center;gap:10px;font:11px/1.5 var(--font-mono, ui-monospace, monospace);color:var(--muted-foreground)}.rv-block-tags{display:inline-flex;align-items:center;gap:8px;font-family:var(--font-sans)}.rv-block h4{margin:6px 0 4px;font-size:15px;font-weight:600;letter-spacing:-.2px}.rv-block-body{margin:0 0 10px;font-size:13px;line-height:1.75;color:#3f3f46;white-space:pre-line;overflow-wrap:anywhere}.rv-status{font-size:10px;height:18px;padding:0 6px}.rv-status-added{color:#15803d;border-color:#bbf7d0;background:#f0fdf4}.rv-status-modified{color:#b45309;border-color:#fde68a;background:#fffbeb}.rv-status-removed{color:#be123c;border-color:#fecdd3;background:#fff1f2}.rv-state{font-size:10px;height:18px;padding:0 6px;text-transform:none;letter-spacing:0}.rv-state-pending{color:#71717a}.rv-state-accepted{color:#15803d;border-color:#bbf7d0;background:#f0fdf4}.rv-state-changes{color:#be123c;border-color:#fecdd3;background:#fff1f2}.rv-added-code{border:1px solid #dcfce7;background:#f7fef9}.rv-added-code .pr-line-number{color:#86c79b}.rv-before,.rv-suggestion{border:1px solid #fde68a;background:#fffdf5}.rv-suggestion{margin-top:8px;border-color:#c7d2fe;background:#f8f9ff}.rv-before-head{display:flex;align-items:center;flex-wrap:wrap;gap:6px;padding:7px 10px;border-bottom:1px solid #fde68a;font-size:11px;color:#92400e}.rv-suggestion .rv-before-head{border-bottom-color:#c7d2fe;color:#3730a3}.rv-before-head svg{width:13px;height:13px}.rv-before-head code{font-size:11px}.rv-before-head button{margin-left:auto;display:inline-flex;align-items:center;gap:4px;padding:0;border:0;background:none;font:inherit;color:inherit;text-decoration:underline;text-underline-offset:3px}.rv-before-head button svg{width:11px;height:11px}.rv-diff{padding:10px 12px;font:12px/1.8 var(--font-mono, ui-monospace, monospace);white-space:pre-wrap;overflow-wrap:anywhere;color:#3f3f46}.rv-diff-del{background:#ffe4e6;color:#9f1239;text-decoration:line-through;text-decoration-color:#fda4af}.rv-diff-add{background:#dcfce7;color:#14532d}.rv-edit{display:inline-flex;align-items:center;gap:5px;margin-top:8px;padding:0;border:0;background:none;font:inherit;font-size:11px;color:var(--muted-foreground)}.rv-edit:hover{color:var(--foreground)}.rv-edit svg{width:12px;height:12px}.rv-editor{margin-top:8px;display:grid;gap:6px}.rv-editor textarea{width:100%;padding:9px 10px;font:12px/1.7 var(--font-mono, ui-monospace, monospace);border:1px solid #a5b4fc;background:#fff;resize:vertical}.rv-editor>div{display:flex;gap:6px}.rv-comments{margin:12px 18px 0;display:grid;gap:8px}.rv-comment{padding:8px 10px;border:1px solid var(--border);background:#fcfcfc;font-size:12px}.rv-comment>div{display:flex;gap:8px;align-items:baseline}.rv-comment>div span{font-size:10px;color:var(--muted-foreground)}.rv-comment p{margin:3px 0 0;line-height:1.6;white-space:pre-wrap}.rv-composer{display:flex;gap:6px;align-items:flex-start}.rv-composer textarea{flex:1;min-width:0;padding:7px 9px;font:inherit;font-size:12px;border:1px solid var(--border);resize:vertical}.rv-actions{display:flex;align-items:center;gap:6px;padding:12px 18px 14px}.rv-edit-count{margin-left:auto;font-size:11px;color:#3730a3}.rv-suite{margin:14px 18px 4px;padding:10px 12px;border:1px solid #bbf7d0;background:#f0fdf4;font-size:12px;line-height:1.6;color:#14532d}.rv-section-title{margin:20px 18px 0;font-size:11px;font-weight:600;letter-spacing:.6px;text-transform:uppercase;color:var(--muted-foreground)}.rv-test{margin:10px 18px 0;padding:12px 14px;border:1px solid var(--border)}.rv-test.is-answer-changed{border-left:3px solid #f59e0b}.rv-test.is-added{border-left:3px solid #22c55e}.rv-test h4{margin:6px 0 4px;font-size:15px;font-weight:600}.rv-test-comment{margin:0 0 8px;font-size:12px;line-height:1.65;color:var(--muted-foreground)}.rv-answer{display:grid;gap:6px;margin:8px 0}.rv-answer-row{display:grid;grid-template-columns:minmax(0,1fr) 16px minmax(0,1fr);gap:8px;align-items:center;font-size:12px;line-height:1.6}.rv-answer-row svg{width:14px;height:14px;color:#b45309}.rv-answer-before{padding:7px 9px;background:#fff1f2;color:#9f1239}.rv-answer-after{padding:7px 9px;background:#f0fdf4;color:#14532d;font-weight:500}.rv-facts{margin-top:8px;font-size:12px}.rv-facts>span{font-size:10px;font-weight:600;letter-spacing:.5px;text-transform:uppercase;color:var(--muted-foreground)}.rv-facts ul{margin:3px 0 0;padding-left:16px;line-height:1.65;color:#3f3f46}.rv-facts code{font-size:10.5px;color:#0369a1}.rv-pass{display:flex;align-items:center;gap:5px;margin:10px 0 0;font-size:11px;color:#15803d}.rv-pass svg{width:13px;height:13px}.rv-intro-note{margin:14px 18px 0;font-size:12px;line-height:1.65;color:var(--muted-foreground)}.rv-finding{margin:12px 18px 0;border:1px solid var(--border)}.rv-finding.is-acknowledged,.rv-finding.is-raised{border-left:3px solid #16a34a}.rv-finding-head{display:flex;justify-content:space-between;align-items:center;gap:10px;width:100%;padding:10px 14px;background:var(--muted);border:0;font:inherit;font-size:12px;font-weight:600;text-align:left;color:inherit}.rv-finding-head code{font-size:12px;margin-right:4px}.rv-finding-text{padding:10px 14px 0;font-size:12.5px;line-height:1.7;color:#27272a;overflow-wrap:anywhere}.rv-finding-text p{margin:4px 0 0}.rv-finding-text .rv-diff{padding:6px 0 0;font-family:var(--font-sans);font-size:12.5px}.rv-label{display:block;font-size:10px;font-weight:600;letter-spacing:.5px;text-transform:uppercase;color:var(--muted-foreground)}.rv-finding-dl{display:grid;grid-template-columns:96px minmax(0,1fr);gap:6px 12px;margin:10px 14px 0;font-size:12px;line-height:1.6}.rv-finding-dl dt{font-size:10px;font-weight:600;letter-spacing:.4px;text-transform:uppercase;color:var(--muted-foreground);padding-top:2px}.rv-finding-dl dd{margin:0;color:#3f3f46;overflow-wrap:anywhere}.rv-finding-dl code,.rv-finding-text code{font-size:11px;color:#0369a1}.rv-file{margin:10px 18px 0;border:1px solid var(--border)}.rv-file summary{display:flex;align-items:center;gap:8px;padding:9px 12px;font-size:12px;cursor:pointer;list-style:none}.rv-file summary::-webkit-details-marker{display:none}.rv-file summary svg{width:14px;height:14px;color:var(--muted-foreground)}.rv-file-stat{margin-left:auto;font:11px var(--font-mono, ui-monospace, monospace)}.rv-file-stat b{color:#15803d;font-weight:500}.rv-file-stat i{color:#be123c;font-style:normal}.rv-file pre{margin:0;padding:8px 0;max-height:420px;overflow:auto;border-top:1px solid var(--border);font:11px/1.7 var(--font-mono, ui-monospace, monospace);white-space:pre-wrap;overflow-wrap:anywhere}.rv-file pre span{display:block;padding:0 12px}.rv-file pre .is-add{background:#f0fdf4;color:#14532d}.rv-file pre .is-del{background:#fff1f2;color:#9f1239}@media(max-width:800px){.review-controls{justify-items:start;min-width:0}.review-footer{flex-wrap:wrap}}.rv-title-change{display:grid;grid-template-columns:84px minmax(0,1fr);align-items:baseline;border-top:1px solid #fef3c7}.rv-title-change:first-of-type{border-top:0}.rv-title-change>span{padding:10px 0 0 10px;font-size:10px;font-weight:600;letter-spacing:.4px;text-transform:uppercase;color:#b45309}.rv-title-change .rv-diff{padding-left:4px}.rv-swap-arrow{width:12px;height:12px;vertical-align:-1px;color:#b45309}.rv-block.is-linked{cursor:pointer}.rv-block.is-linked:hover{background:#fffef7}.rv-block.is-selected{background:#fffced;box-shadow:inset 0 0 0 1px #e8c547}.rv-block:focus-visible{outline:2px solid #b18a00;outline-offset:2px}.rv-block .pr-body{margin-bottom:4px}.rv-relation{margin:0 0 6px;font-size:11.5px;color:#0f766e}.rv-relation code{font-size:11px}.rv-hint{margin:12px 18px -4px;font-size:11px;color:var(--muted-foreground)}.rv-swap-arrow{display:inline-block}.rv-source summary{display:flex;align-items:center;gap:6px;padding:2px 0;font-size:11px;color:var(--muted-foreground);list-style:none;cursor:pointer}.rv-source summary::-webkit-details-marker{display:none}.rv-source summary:hover{color:var(--foreground)}.rv-source summary>svg{width:12px;height:12px;flex-shrink:0}.rv-source .rv-source-chevron{margin-left:auto;transition:transform .15s}.rv-source[open] .rv-source-chevron{transform:rotate(180deg)}.rv-source[open] summary{margin-bottom:8px}.rv-source-deferred{margin-left:6px;padding:0 5px;border:1px solid var(--border);font-size:10px}.rv-item-head{padding-bottom:8px}.rv-terms{display:grid;gap:8px;margin-top:12px;padding-top:10px;border-top:1px dashed var(--border)}.rv-term{padding:10px 12px 8px;border:1px solid #ccfbf1;border-left:3px solid #14b8a6;background:#f8fffd;cursor:pointer}.rv-term:hover{background:#f0fdfa}.rv-term.is-selected{box-shadow:inset 0 0 0 1px #5eead4;background:#f0fdfa}.rv-term h5{margin:4px 0;font-size:13.5px;font-weight:600}.rv-term .pr-body{font-size:12.5px}.rv-term-note{margin:4px 0 0;font-size:11.5px;line-height:1.6;color:#0f766e}.rv-term-note code{font-size:11px}.rv-term-note q{color:#134e4a;font-weight:500}.rv-ref-vocab{text-decoration:underline dotted;text-underline-offset:3px;cursor:help}.review-title-row{display:flex;align-items:center;gap:14px;flex-wrap:wrap}.review-title-row .page-heading{margin-bottom:7px}.review-changeset select{height:30px;margin-bottom:7px;padding:0 8px;font:inherit;font-size:12px;font-weight:500;border:1px solid #e5d28a;background:#fffbeb;color:#713f12}.review-dot{padding:0 6px}.rv-source-deferred.is-amended{border-color:#fde68a;background:#fffbeb;color:#92400e}.rv-source-diff{border:1px solid #fde68a;background:#fffdf5;margin-bottom:4px}.rv-source-diff .rv-diff{font-family:var(--font-sans);font-size:12.5px}.rv-vocab{margin-top:12px;border:1px solid #ccfbf1;background:#fbfffe}.rv-vocab>summary{display:flex;align-items:center;gap:8px;padding:7px 10px;list-style:none;cursor:pointer;font-size:11px;color:#0f766e}.rv-vocab>summary::-webkit-details-marker{display:none}.rv-vocab>summary>span{font-weight:600;letter-spacing:.4px;text-transform:uppercase;font-size:10.5px}.rv-vocab>summary small{color:#5b8f88;font-size:11px}.rv-vocab>summary .rv-source-chevron{width:12px;height:12px;margin-left:auto;transition:transform .15s}.rv-vocab[open]>summary .rv-source-chevron{transform:rotate(180deg)}.rv-vocab[open]>summary{border-bottom:1px solid #ccfbf1}.rv-vocab .rv-term{margin:8px 10px}.rv-reused{margin:8px 10px 10px;display:grid;gap:3px}.rv-reused-row{display:grid;grid-template-columns:130px minmax(0,1fr);gap:8px;font-size:12px;color:#3f3f46}.rv-reused-row code{font-size:11px;color:#0f766e}.rv-title-row{display:flex;align-items:center;justify-content:space-between;gap:10px}.rv-title-row h4,.rv-title-row h5{flex:1;min-width:0}.rv-edit-icon{display:inline-flex;align-items:center;justify-content:center;width:26px;height:26px;flex-shrink:0;padding:0;border:1px solid transparent;background:none;color:var(--muted-foreground);opacity:0;transition:opacity .12s;cursor:pointer}.rv-edit-icon svg{width:14px;height:14px}.rv-edit-icon:hover{color:var(--foreground);border-color:var(--border);background:#fff}.rv-block-head:hover .rv-edit-icon,.rv-edit-icon:focus-visible,.rv-edit-icon[aria-pressed=true]{opacity:1}.rv-edit-icon[aria-pressed=true]{color:#3730a3;border-color:#c7d2fe;background:#eef2ff}.rv-editor{margin:4px 0 8px}.rv-list.is-changes{min-height:100%;padding:14px 14px 28px;background:#f4f4f5}.is-changes .rv-commit{margin:0 0 14px;background:#fff}.is-changes .rv-item{margin:0 0 16px;background:#fff;border:1px solid #e4e4e7;border-left-width:3px;box-shadow:0 1px 3px #18181b0d}.is-changes .rv-item:last-child{margin-bottom:0}.is-changes .rv-item.is-selected{box-shadow:0 0 0 1px #e8c547,0 2px 8px #18181b14}.is-changes .rv-item-head{border-bottom:1px solid #ececef}.is-changes .rv-item-title>span:first-child{color:#3f3f46}.is-changes .rv-source{padding-top:8px}.is-changes .rv-block{margin-left:16px;margin-right:16px}@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){:root,:host{--shimmer-angle:20deg}*,:before,:after,::backdrop{--tw-translate-x:0;--tw-translate-y:0;--tw-translate-z:0;--tw-border-style:solid;--tw-font-weight:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-outline-style:solid;--tw-duration:initial;--tw-animation-delay:0s;--tw-animation-direction:normal;--tw-animation-duration:initial;--tw-animation-fill-mode:none;--tw-animation-iteration-count:1;--tw-enter-blur:0;--tw-enter-opacity:1;--tw-enter-rotate:0;--tw-enter-scale:1;--tw-enter-translate-x:0;--tw-enter-translate-y:0;--tw-exit-blur:0;--tw-exit-opacity:1;--tw-exit-rotate:0;--tw-exit-scale:1;--tw-exit-translate-x:0;--tw-exit-translate-y:0;--scroll-fade-t:0px;--scroll-fade-b:0px;--scroll-fade-s:0px;--scroll-fade-e:0px;--scroll-fade-mask:initial;--shimmer-image:initial;--shimmer-text-fill:initial}}}@layer theme{:root,:host{--font-sans:"Geist Variable", sans-serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--container-xs:20rem;--text-xs:.75rem;--text-xs--line-height:calc(1 / .75);--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--font-weight-medium:500;--leading-relaxed:1.625;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:"Geist Variable", sans-serif;--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}*{border-color:var(--border);outline-color:var(--ring)}@supports (color:color-mix(in lab,red,red)){*{outline-color:color-mix(in oklab,var(--ring) 50%,transparent)}}body{background-color:var(--background);color:var(--foreground)}html{font-family:Geist Variable,sans-serif}}@layer components;@layer utilities{.pointer-events-none{pointer-events:none}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.top-0{top:0}.right-2{right:calc(var(--spacing) * 2)}.bottom-0{bottom:0}.isolate{isolation:isolate}.z-10{z-index:10}.z-50{z-index:50}.container{width:100%}@media(min-width:40rem){.container{max-width:40rem}}@media(min-width:48rem){.container{max-width:48rem}}@media(min-width:64rem){.container{max-width:64rem}}@media(min-width:80rem){.container{max-width:80rem}}@media(min-width:96rem){.container{max-width:96rem}}.-mx-1{margin-inline:calc(var(--spacing) * -1)}.block{display:block}.flex{display:flex}.hidden{display:none}.inline{display:inline}.inline-flex{display:inline-flex}.table{display:table}.size-2\.5{width:calc(var(--spacing) * 2.5);height:calc(var(--spacing) * 2.5)}.size-4{width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4)}.size-6{width:calc(var(--spacing) * 6);height:calc(var(--spacing) * 6)}.size-7{width:calc(var(--spacing) * 7);height:calc(var(--spacing) * 7)}.size-8{width:calc(var(--spacing) * 8);height:calc(var(--spacing) * 8)}.size-9{width:calc(var(--spacing) * 9);height:calc(var(--spacing) * 9)}.h-5{height:calc(var(--spacing) * 5)}.h-6{height:calc(var(--spacing) * 6)}.h-7{height:calc(var(--spacing) * 7)}.h-8{height:calc(var(--spacing) * 8)}.h-9{height:calc(var(--spacing) * 9)}.h-px{height:1px}.max-h-\(--available-height\){max-height:var(--available-height)}.w-\(--anchor-width\){width:var(--anchor-width)}.w-72{width:calc(var(--spacing) * 72)}.w-fit{width:fit-content}.w-full{width:100%}.max-w-xs{max-width:var(--container-xs)}.min-w-0{min-width:0}.min-w-36{min-width:calc(var(--spacing) * 36)}.flex-1{flex:1}.shrink-0{flex-shrink:0}.origin-\(--transform-origin\){transform-origin:var(--transform-origin)}.translate-y-\[calc\(-50\%-2px\)\]{--tw-translate-y: calc(-50% - 2px) ;translate:var(--tw-translate-x) var(--tw-translate-y)}.rotate-45{rotate:45deg}.cursor-default{cursor:default}.scroll-my-1{scroll-margin-block:var(--spacing)}.flex-col{flex-direction:column}.items-center{align-items:center}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.gap-1{gap:var(--spacing)}.gap-1\.5{gap:calc(var(--spacing) * 1.5)}.gap-2{gap:calc(var(--spacing) * 2)}.gap-2\.5{gap:calc(var(--spacing) * 2.5)}.overflow-hidden{overflow:hidden}.overflow-x-hidden{overflow-x:hidden}.overflow-y-auto{overflow-y:auto}.rounded-none{border-radius:0}.border{border-style:var(--tw-border-style);border-width:1px}.border-border{border-color:var(--border)}.border-input{border-color:var(--input)}.border-transparent{border-color:#0000}.bg-background{background-color:var(--background)}.bg-border{background-color:var(--border)}.bg-destructive\/10{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.bg-destructive\/10{background-color:color-mix(in oklab,var(--destructive) 10%,transparent)}}.bg-foreground{background-color:var(--foreground)}.bg-popover{background-color:var(--popover)}.bg-primary{background-color:var(--primary)}.bg-secondary{background-color:var(--secondary)}.bg-transparent{background-color:#0000}.bg-clip-padding{background-clip:padding-box}.fill-foreground{fill:var(--foreground)}.p-2\.5{padding:calc(var(--spacing) * 2.5)}.px-2{padding-inline:calc(var(--spacing) * 2)}.px-2\.5{padding-inline:calc(var(--spacing) * 2.5)}.px-3{padding-inline:calc(var(--spacing) * 3)}.py-0\.5{padding-block:calc(var(--spacing) * .5)}.py-1{padding-block:var(--spacing)}.py-1\.5{padding-block:calc(var(--spacing) * 1.5)}.py-2{padding-block:calc(var(--spacing) * 2)}.pr-2{padding-right:calc(var(--spacing) * 2)}.pr-8{padding-right:calc(var(--spacing) * 8)}.pl-2{padding-left:calc(var(--spacing) * 2)}.pl-2\.5{padding-left:calc(var(--spacing) * 2.5)}.text-left{text-align:left}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.text-xs\/relaxed{font-size:var(--text-xs);line-height:var(--leading-relaxed)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.whitespace-nowrap{white-space:nowrap}.text-background{color:var(--background)}.text-destructive{color:var(--destructive)}.text-foreground{color:var(--foreground)}.text-muted-foreground{color:var(--muted-foreground)}.text-popover-foreground{color:var(--popover-foreground)}.text-primary{color:var(--primary)}.text-primary-foreground{color:var(--primary-foreground)}.text-secondary-foreground{color:var(--secondary-foreground)}.underline-offset-4{text-underline-offset:4px}.shadow-md{--tw-shadow:0 4px 6px -1px var(--tw-shadow-color,#0000001a), 0 2px 4px -2px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring-1{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring-foreground\/10{--tw-ring-color:var(--foreground)}@supports (color:color-mix(in lab,red,red)){.ring-foreground\/10{--tw-ring-color:color-mix(in oklab, var(--foreground) 10%, transparent)}}.outline-hidden{--tw-outline-style:none;outline-style:none}@media(forced-colors:active){.outline-hidden{outline-offset:2px;outline:2px solid #0000}}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.transition-all{transition-property:all;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-colors{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.duration-100{--tw-duration:.1s;transition-duration:.1s}.outline-none{--tw-outline-style:none;outline-style:none}.select-none{-webkit-user-select:none;user-select:none}.file\:inline-flex::file-selector-button{display:inline-flex}.file\:h-6::file-selector-button{height:calc(var(--spacing) * 6)}.file\:border-0::file-selector-button{border-style:var(--tw-border-style);border-width:0}.file\:bg-transparent::file-selector-button{background-color:#0000}.file\:text-xs::file-selector-button{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.file\:font-medium::file-selector-button{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.file\:text-foreground::file-selector-button{color:var(--foreground)}.placeholder\:text-muted-foreground::placeholder{color:var(--muted-foreground)}@media(hover:hover){.hover\:bg-\[color-mix\(in_oklch\,var\(--secondary\)\,var\(--foreground\)_5\%\)\]:hover{background-color:var(--secondary)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-\[color-mix\(in_oklch\,var\(--secondary\)\,var\(--foreground\)_5\%\)\]:hover{background-color:color-mix(in oklch,var(--secondary),var(--foreground) 5%)}}.hover\:bg-destructive\/20:hover{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-destructive\/20:hover{background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.hover\:bg-muted:hover{background-color:var(--muted)}.hover\:bg-primary\/80:hover{background-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.hover\:bg-primary\/80:hover{background-color:color-mix(in oklab,var(--primary) 80%,transparent)}}.hover\:text-foreground:hover{color:var(--foreground)}.hover\:text-muted-foreground:hover{color:var(--muted-foreground)}.hover\:underline:hover{text-decoration-line:underline}}.focus\:bg-accent:focus{background-color:var(--accent)}.focus\:text-accent-foreground:focus,:is(.not-data-\[variant\=destructive\]\:focus\:\*\*\:text-accent-foreground:not([data-variant=destructive]):focus *){color:var(--accent-foreground)}.focus-visible\:border-destructive\/40:focus-visible{border-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.focus-visible\:border-destructive\/40:focus-visible{border-color:color-mix(in oklab,var(--destructive) 40%,transparent)}}.focus-visible\:border-ring:focus-visible{border-color:var(--ring)}.focus-visible\:ring-1:focus-visible{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.focus-visible\:ring-\[3px\]:focus-visible{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.focus-visible\:ring-destructive\/20:focus-visible{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.focus-visible\:ring-destructive\/20:focus-visible{--tw-ring-color:color-mix(in oklab, var(--destructive) 20%, transparent)}}.focus-visible\:ring-ring\/50:focus-visible{--tw-ring-color:var(--ring)}@supports (color:color-mix(in lab,red,red)){.focus-visible\:ring-ring\/50:focus-visible{--tw-ring-color:color-mix(in oklab, var(--ring) 50%, transparent)}}.active\:not-aria-\[haspopup\]\:translate-y-px:active:not([aria-haspopup]){--tw-translate-y:1px;translate:var(--tw-translate-x) var(--tw-translate-y)}.disabled\:pointer-events-none:disabled{pointer-events:none}.disabled\:cursor-not-allowed:disabled{cursor:not-allowed}.disabled\:bg-input\/50:disabled{background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.disabled\:bg-input\/50:disabled{background-color:color-mix(in oklab,var(--input) 50%,transparent)}}.disabled\:opacity-50:disabled{opacity:.5}.has-data-\[icon\=inline-end\]\:pr-1\.5:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 1.5)}.has-data-\[icon\=inline-end\]\:pr-2:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 2)}.has-data-\[icon\=inline-start\]\:pl-1\.5:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 1.5)}.has-data-\[icon\=inline-start\]\:pl-2:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 2)}.has-data-\[slot\=kbd\]\:pr-1\.5:has([data-slot=kbd]){padding-right:calc(var(--spacing) * 1.5)}.aria-expanded\:bg-muted[aria-expanded=true]{background-color:var(--muted)}.aria-expanded\:bg-secondary[aria-expanded=true]{background-color:var(--secondary)}.aria-expanded\:text-foreground[aria-expanded=true]{color:var(--foreground)}.aria-expanded\:text-secondary-foreground[aria-expanded=true]{color:var(--secondary-foreground)}.aria-invalid\:border-destructive[aria-invalid=true]{border-color:var(--destructive)}.aria-invalid\:ring-1[aria-invalid=true]{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.aria-invalid\:ring-destructive\/20[aria-invalid=true]{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.aria-invalid\:ring-destructive\/20[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--destructive) 20%, transparent)}}.data-placeholder\:text-muted-foreground[data-placeholder]{color:var(--muted-foreground)}.data-\[align-trigger\=true\]\:animate-none[data-align-trigger=true]{animation:none}.data-\[side\=bottom\]\:top-1[data-side=bottom]{top:var(--spacing)}.data-\[side\=bottom\]\:slide-in-from-top-2[data-side=bottom]{--tw-enter-translate-y:calc(2*var(--spacing)*-1)}.data-\[side\=inline-end\]\:top-1\/2\![data-side=inline-end]{top:50%!important}.data-\[side\=inline-end\]\:-left-1[data-side=inline-end]{left:calc(var(--spacing) * -1)}.data-\[side\=inline-end\]\:-translate-y-1\/2[data-side=inline-end]{--tw-translate-y: -50% ;translate:var(--tw-translate-x) var(--tw-translate-y)}.data-\[side\=inline-end\]\:slide-in-from-left-2[data-side=inline-end]{--tw-enter-translate-x:calc(2*var(--spacing)*-1)}.data-\[side\=inline-start\]\:top-1\/2\![data-side=inline-start]{top:50%!important}.data-\[side\=inline-start\]\:-right-1[data-side=inline-start]{right:calc(var(--spacing) * -1)}.data-\[side\=inline-start\]\:-translate-y-1\/2[data-side=inline-start]{--tw-translate-y: -50% ;translate:var(--tw-translate-x) var(--tw-translate-y)}.data-\[side\=inline-start\]\:slide-in-from-right-2[data-side=inline-start]{--tw-enter-translate-x:calc(2*var(--spacing))}.data-\[side\=left\]\:top-1\/2\![data-side=left]{top:50%!important}.data-\[side\=left\]\:-right-1[data-side=left]{right:calc(var(--spacing) * -1)}.data-\[side\=left\]\:-translate-y-1\/2[data-side=left]{--tw-translate-y: -50% ;translate:var(--tw-translate-x) var(--tw-translate-y)}.data-\[side\=left\]\:slide-in-from-right-2[data-side=left]{--tw-enter-translate-x:calc(2*var(--spacing))}.data-\[side\=right\]\:top-1\/2\![data-side=right]{top:50%!important}.data-\[side\=right\]\:-left-1[data-side=right]{left:calc(var(--spacing) * -1)}.data-\[side\=right\]\:-translate-y-1\/2[data-side=right]{--tw-translate-y: -50% ;translate:var(--tw-translate-x) var(--tw-translate-y)}.data-\[side\=right\]\:slide-in-from-left-2[data-side=right]{--tw-enter-translate-x:calc(2*var(--spacing)*-1)}.data-\[side\=top\]\:-bottom-2\.5[data-side=top]{bottom:calc(var(--spacing) * -2.5)}.data-\[side\=top\]\:slide-in-from-bottom-2[data-side=top]{--tw-enter-translate-y:calc(2*var(--spacing))}.data-\[size\=default\]\:h-8[data-size=default]{height:calc(var(--spacing) * 8)}.data-\[size\=sm\]\:h-7[data-size=sm]{height:calc(var(--spacing) * 7)}.data-\[size\=sm\]\:rounded-none[data-size=sm]{border-radius:0}:is(.\*\*\:data-\[slot\=kbd\]\:relative *)[data-slot=kbd]{position:relative}:is(.\*\*\:data-\[slot\=kbd\]\:isolate *)[data-slot=kbd]{isolation:isolate}:is(.\*\*\:data-\[slot\=kbd\]\:z-50 *)[data-slot=kbd]{z-index:50}:is(.\*\*\:data-\[slot\=kbd\]\:rounded-none *)[data-slot=kbd]{border-radius:0}:is(.\*\:data-\[slot\=select-value\]\:line-clamp-1>*)[data-slot=select-value]{-webkit-line-clamp:1;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}:is(.\*\:data-\[slot\=select-value\]\:flex>*)[data-slot=select-value]{display:flex}:is(.\*\:data-\[slot\=select-value\]\:items-center>*)[data-slot=select-value]{align-items:center}:is(.\*\:data-\[slot\=select-value\]\:gap-1\.5>*)[data-slot=select-value]{gap:calc(var(--spacing) * 1.5)}.data-\[state\=delayed-open\]\:animate-in[data-state=delayed-open]{animation:enter var(--tw-animation-duration,var(--tw-duration,.15s))var(--tw-ease,ease)var(--tw-animation-delay,0s)var(--tw-animation-iteration-count,1)var(--tw-animation-direction,normal)var(--tw-animation-fill-mode,none)}.data-\[state\=delayed-open\]\:fade-in-0[data-state=delayed-open]{--tw-enter-opacity:0}.data-\[state\=delayed-open\]\:zoom-in-95[data-state=delayed-open]{--tw-enter-scale:.95}@media(min-width:48rem){.md\:text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}}.dark\:border-input:is(.dark *){border-color:var(--input)}.dark\:bg-destructive\/20:is(.dark *){background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:bg-destructive\/20:is(.dark *){background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.dark\:bg-input\/30:is(.dark *){background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.dark\:bg-input\/30:is(.dark *){background-color:color-mix(in oklab,var(--input) 30%,transparent)}}@media(hover:hover){.dark\:hover\:bg-destructive\/30:is(.dark *):hover{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:hover\:bg-destructive\/30:is(.dark *):hover{background-color:color-mix(in oklab,var(--destructive) 30%,transparent)}}.dark\:hover\:bg-input\/50:is(.dark *):hover{background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.dark\:hover\:bg-input\/50:is(.dark *):hover{background-color:color-mix(in oklab,var(--input) 50%,transparent)}}.dark\:hover\:bg-muted\/50:is(.dark *):hover{background-color:var(--muted)}@supports (color:color-mix(in lab,red,red)){.dark\:hover\:bg-muted\/50:is(.dark *):hover{background-color:color-mix(in oklab,var(--muted) 50%,transparent)}}}.dark\:focus-visible\:ring-destructive\/40:is(.dark *):focus-visible{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:focus-visible\:ring-destructive\/40:is(.dark *):focus-visible{--tw-ring-color:color-mix(in oklab, var(--destructive) 40%, transparent)}}.dark\:disabled\:bg-input\/80:is(.dark *):disabled{background-color:var(--input)}@supports (color:color-mix(in lab,red,red)){.dark\:disabled\:bg-input\/80:is(.dark *):disabled{background-color:color-mix(in oklab,var(--input) 80%,transparent)}}.dark\:aria-invalid\:border-destructive\/50:is(.dark *)[aria-invalid=true]{border-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:aria-invalid\:border-destructive\/50:is(.dark *)[aria-invalid=true]{border-color:color-mix(in oklab,var(--destructive) 50%,transparent)}}.dark\:aria-invalid\:ring-destructive\/40:is(.dark *)[aria-invalid=true]{--tw-ring-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.dark\:aria-invalid\:ring-destructive\/40:is(.dark *)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--destructive) 40%, transparent)}}.data-open\:animate-in:where([data-state=open]),.data-open\:animate-in:where([data-open]:not([data-open=false])){animation:enter var(--tw-animation-duration,var(--tw-duration,.15s))var(--tw-ease,ease)var(--tw-animation-delay,0s)var(--tw-animation-iteration-count,1)var(--tw-animation-direction,normal)var(--tw-animation-fill-mode,none)}.data-open\:fade-in-0:where([data-state=open]),.data-open\:fade-in-0:where([data-open]:not([data-open=false])){--tw-enter-opacity:0}.data-open\:zoom-in-95:where([data-state=open]),.data-open\:zoom-in-95:where([data-open]:not([data-open=false])){--tw-enter-scale:.95}.data-closed\:animate-out:where([data-state=closed]),.data-closed\:animate-out:where([data-closed]:not([data-closed=false])){animation:exit var(--tw-animation-duration,var(--tw-duration,.15s))var(--tw-ease,ease)var(--tw-animation-delay,0s)var(--tw-animation-iteration-count,1)var(--tw-animation-direction,normal)var(--tw-animation-fill-mode,none)}.data-closed\:fade-out-0:where([data-state=closed]),.data-closed\:fade-out-0:where([data-closed]:not([data-closed=false])){--tw-exit-opacity:0}.data-closed\:zoom-out-95:where([data-state=closed]),.data-closed\:zoom-out-95:where([data-closed]:not([data-closed=false])){--tw-exit-scale:.95}.data-disabled\:pointer-events-none:where([data-disabled=true]),.data-disabled\:pointer-events-none:where([data-disabled]:not([data-disabled=false])){pointer-events:none}.data-disabled\:opacity-50:where([data-disabled=true]),.data-disabled\:opacity-50:where([data-disabled]:not([data-disabled=false])){opacity:.5}.data-horizontal\:h-px:where([data-orientation=horizontal]){height:1px}.data-horizontal\:w-full:where([data-orientation=horizontal]){width:100%}.data-vertical\:w-px:where([data-orientation=vertical]){width:1px}.data-vertical\:self-stretch:where([data-orientation=vertical]){align-self:stretch}.\[\&_svg\]\:pointer-events-none svg{pointer-events:none}.\[\&_svg\]\:shrink-0 svg{flex-shrink:0}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-3 svg:not([class*=size-]){width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-3\.5 svg:not([class*=size-]){width:calc(var(--spacing) * 3.5);height:calc(var(--spacing) * 3.5)}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-4 svg:not([class*=size-]){width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4)}@media(hover:hover){.\[a\]\:hover\:bg-destructive\/20:is(a):hover{background-color:var(--destructive)}@supports (color:color-mix(in lab,red,red)){.\[a\]\:hover\:bg-destructive\/20:is(a):hover{background-color:color-mix(in oklab,var(--destructive) 20%,transparent)}}.\[a\]\:hover\:bg-muted:is(a):hover{background-color:var(--muted)}.\[a\]\:hover\:bg-primary\/80:is(a):hover{background-color:var(--primary)}@supports (color:color-mix(in lab,red,red)){.\[a\]\:hover\:bg-primary\/80:is(a):hover{background-color:color-mix(in oklab,var(--primary) 80%,transparent)}}.\[a\]\:hover\:bg-secondary\/80:is(a):hover{background-color:var(--secondary)}@supports (color:color-mix(in lab,red,red)){.\[a\]\:hover\:bg-secondary\/80:is(a):hover{background-color:color-mix(in oklab,var(--secondary) 80%,transparent)}}.\[a\]\:hover\:text-muted-foreground:is(a):hover{color:var(--muted-foreground)}}:is(.\*\:\[span\]\:last\:flex>*):is(span):last-child{display:flex}:is(.\*\:\[span\]\:last\:items-center>*):is(span):last-child{align-items:center}:is(.\*\:\[span\]\:last\:gap-2>*):is(span):last-child{gap:calc(var(--spacing) * 2)}.\[\&\>svg\]\:pointer-events-none>svg{pointer-events:none}.\[\&\>svg\]\:size-3\!>svg{width:calc(var(--spacing) * 3)!important;height:calc(var(--spacing) * 3)!important}}@property --tw-animation-delay{syntax:"*";inherits:false;initial-value:0s}@property --tw-animation-direction{syntax:"*";inherits:false;initial-value:normal}@property --tw-animation-duration{syntax:"*";inherits:false}@property --tw-animation-fill-mode{syntax:"*";inherits:false;initial-value:none}@property --tw-animation-iteration-count{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-translate-y{syntax:"*";inherits:false;initial-value:0}@property --scroll-fade-t{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-b{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-s{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-e{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-mask{syntax:"*";inherits:false}@property --shimmer-angle{syntax:"<angle>";inherits:true;initial-value:20deg}@property --shimmer-image{syntax:"*";inherits:false}@property --shimmer-text-fill{syntax:"*";inherits:false}@media(prefers-reduced-motion:reduce){.shimmer{-webkit-text-fill-color:currentColor;background-image:none;animation:none}}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-cyrillic-ext-wght-normal-DjL33-gN.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-cyrillic-wght-normal-BEAKL7Jp.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-vietnamese-wght-normal-6IgcOCM7.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-latin-ext-wght-normal-DC-KSUi6.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-latin-wght-normal-BgDaEnEv.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--background:oklch(100% 0 0);--foreground:oklch(14.1% .005 285.823);--card:oklch(100% 0 0);--card-foreground:oklch(14.1% .005 285.823);--popover:oklch(100% 0 0);--popover-foreground:oklch(14.1% .005 285.823);--primary:oklch(85.2% .199 91.936);--primary-foreground:oklch(42.1% .095 57.708);--secondary:oklch(96.7% .001 286.375);--secondary-foreground:oklch(21% .006 285.885);--muted:oklch(96.7% .001 286.375);--muted-foreground:oklch(55.2% .016 285.938);--accent:oklch(96.7% .001 286.375);--accent-foreground:oklch(21% .006 285.885);--destructive:oklch(57.7% .245 27.325);--border:oklch(92% .004 286.32);--input:oklch(92% .004 286.32);--ring:oklch(70.5% .015 286.067);--chart-1:oklch(87.1% .006 286.286);--chart-2:oklch(55.2% .016 285.938);--chart-3:oklch(44.2% .017 285.786);--chart-4:oklch(37% .013 285.805);--chart-5:oklch(27.4% .006 286.033);--radius:.625rem;--sidebar:oklch(98.5% 0 0);--sidebar-foreground:oklch(14.1% .005 285.823);--sidebar-primary:oklch(68.1% .162 75.834);--sidebar-primary-foreground:oklch(98.7% .026 102.212);--sidebar-accent:oklch(96.7% .001 286.375);--sidebar-accent-foreground:oklch(21% .006 285.885);--sidebar-border:oklch(92% .004 286.32);--sidebar-ring:oklch(70.5% .015 286.067)}.dark{--background:oklch(14.1% .005 285.823);--foreground:oklch(98.5% 0 0);--card:oklch(21% .006 285.885);--card-foreground:oklch(98.5% 0 0);--popover:oklch(21% .006 285.885);--popover-foreground:oklch(98.5% 0 0);--primary:oklch(79.5% .184 86.047);--primary-foreground:oklch(42.1% .095 57.708);--secondary:oklch(27.4% .006 286.033);--secondary-foreground:oklch(98.5% 0 0);--muted:oklch(27.4% .006 286.033);--muted-foreground:oklch(70.5% .015 286.067);--accent:oklch(27.4% .006 286.033);--accent-foreground:oklch(98.5% 0 0);--destructive:oklch(70.4% .191 22.216);--border:oklch(100% 0 0/.1);--input:oklch(100% 0 0/.15);--ring:oklch(55.2% .016 285.938);--chart-1:oklch(87.1% .006 286.286);--chart-2:oklch(55.2% .016 285.938);--chart-3:oklch(44.2% .017 285.786);--chart-4:oklch(37% .013 285.805);--chart-5:oklch(27.4% .006 286.033);--sidebar:oklch(21% .006 285.885);--sidebar-foreground:oklch(98.5% 0 0);--sidebar-primary:oklch(79.5% .184 86.047);--sidebar-primary-foreground:oklch(98.7% .026 102.212);--sidebar-accent:oklch(27.4% .006 286.033);--sidebar-accent-foreground:oklch(98.5% 0 0);--sidebar-border:oklch(100% 0 0/.1);--sidebar-ring:oklch(55.2% .016 285.938)}@property --tw-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-translate-z{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-duration{syntax:"*";inherits:false}@keyframes enter{0%{opacity:var(--tw-enter-opacity,1);transform:translate3d(var(--tw-enter-translate-x,0),var(--tw-enter-translate-y,0),0)scale3d(var(--tw-enter-scale,1),var(--tw-enter-scale,1),var(--tw-enter-scale,1))rotate(var(--tw-enter-rotate,0));filter:blur(var(--tw-enter-blur,0))}}@keyframes exit{to{opacity:var(--tw-exit-opacity,1);transform:translate3d(var(--tw-exit-translate-x,0),var(--tw-exit-translate-y,0),0)scale3d(var(--tw-exit-scale,1),var(--tw-exit-scale,1),var(--tw-exit-scale,1))rotate(var(--tw-exit-rotate,0));filter:blur(var(--tw-exit-blur,0))}}:root{font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}html,body,#root{margin:0;min-width:320px;min-height:100%}body{font-size:14px}button,a,summary,select{-webkit-tap-highlight-color:transparent}button:not(:disabled),summary,select{cursor:pointer}button:focus-visible,a:focus-visible,summary:focus-visible,select:focus-visible{outline:2px solid #a87900;outline-offset:3px}.app-shell{width:100%;min-height:100dvh;background:var(--background)}.app-header{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:0 30px;height:72px;border-bottom:1px solid var(--border)}.app-brand{display:flex;gap:14px;align-items:center;color:var(--foreground);text-decoration:none}.app-brand strong{font-size:23px;font-weight:700;letter-spacing:-1px}.app-brand span{border-left:1px solid var(--border);padding-left:14px;font-size:13px;color:var(--muted-foreground)}.app-navigation{display:flex;gap:8px}.app-navigation a{min-width:84px;height:36px;padding:0 15px;text-decoration:none;font-size:13px;color:var(--muted-foreground)}.app-navigation a:hover{color:var(--foreground);background:var(--muted)}.app-navigation a[aria-current=page]{color:var(--foreground);border-color:#d1ac39;background:#fffbeb}.corpus-page{position:relative}.corpus-intro{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:23px 30px;height:104px}.page-heading{margin:0 0 7px;font-size:24px;line-height:1.2;font-weight:600;letter-spacing:-.65px}.corpus-intro p{color:var(--muted-foreground);font-size:12px;margin:0}.corpus-intro p span{padding:0 7px}.formalization-trigger{gap:8px}.workspace{display:grid;grid-template-columns:minmax(0,48fr) minmax(0,52fr);border-top:1px solid var(--border);height:calc(100dvh - 176px);min-height:0}.workspace>*{min-height:0;min-width:0}.workspace>:first-child{border-right:1px solid var(--border)}.corpus-page[hidden],.workspace[hidden],.formalization-workspace[hidden]{display:none}.app-shell.is-formalization{height:100dvh;min-height:0;display:flex;flex-direction:column;overflow:hidden}.app-shell.is-formalization .app-header,.app-shell.is-formalization .corpus-intro{flex-shrink:0}.corpus-page.is-formalization{flex:1;min-height:0;display:flex;flex-direction:column}.corpus-page.is-formalization[hidden]{display:none}.formalization-workspace{flex:1;min-height:0;overflow:hidden;border-top:1px solid var(--border)}.formalization-loading{padding:24px;color:var(--muted-foreground);font-size:13px}.questions-loading{padding:24px 30px;color:var(--muted-foreground);font-size:13px}.skip-link{position:fixed;top:-60px;left:15px;z-index:100;padding:12px;background:var(--background);color:var(--foreground);border:1px solid var(--border)}.skip-link:focus{top:10px}@media(min-width:1600px){.app-header,.corpus-intro{padding-inline:38px}}@media(max-width:800px){.app-header{height:auto;min-height:72px;padding:16px 18px;flex-wrap:wrap;gap:12px}.app-brand{gap:10px}.app-brand span{padding-left:10px;font-size:12px}.app-navigation a{padding-inline:12px}.corpus-intro{height:auto;min-height:110px;padding:20px 18px;align-items:flex-start;flex-wrap:wrap;gap:15px}.page-heading{font-size:23px}.workspace{grid-template-columns:minmax(0,1fr);height:auto;min-height:0}.workspace>:first-child{border-right:0;border-bottom:1px solid var(--border)}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important}}.app-brand strong{font-size:19px;letter-spacing:-.5px}.nav-pill{margin-left:7px;padding:1px 6px;border:1px solid #e5d28a;background:#fef9c3;color:#713f12;font-size:10px;font-weight:500}