:root{--pv-font-sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans SC", "PingFang SC", "Microsoft YaHei", sans-serif;--pv-font-mono: ui-monospace, SFMono-Regular, "Cascadia Mono", "JetBrains Mono", Menlo, Consolas, "Liberation Mono", monospace;--pv-bg-canvas: #f6f8fa;--pv-bg: #ffffff;--pv-bg-subtle: #f6f8fa;--pv-bg-muted: #f4f4f5;--pv-fg: #1f2328;--pv-fg-secondary: #59636e;--pv-fg-muted: #71717a;--pv-fg-faint: #a1a1aa;--pv-border: #d8dee4;--pv-border-strong: #d1d9e0;--pv-accent: #0969da;--pv-accent-strong: #0860ca;--pv-accent-active: #0757b5;--pv-accent-bg: #ddf4ff;--pv-accent-border: #54aeff66;--pv-ok: #1a7f37;--pv-ok-bg: #dafbe1;--pv-ok-border: #aceebb;--pv-warn: #9a6700;--pv-warn-bg: #fff8c5;--pv-warn-border: #d4a72c66;--pv-danger: #cf222e;--pv-danger-bg: #ffebe9;--pv-danger-border: #ff818266;--pv-info: #0969da;--pv-info-bg: #ddf4ff;--pv-info-border: #54aeff66;--pv-purple: #8250df;--pv-purple-bg: #fbefff;--pv-purple-border: #be8fff;--pv-radius: 6px;--pv-radius-sm: 6px;--pv-radius-btn: 8px;--pv-radius-lg: 12px;--pv-radius-pill: 999px;--pv-shadow-sm: 0 2px 2px rgba(0, 0, 0, .04);--pv-shadow: 0 1px 1px rgba(0, 0, 0, .02), 0 4px 8px -4px rgba(0, 0, 0, .04), 0 16px 24px -8px rgba(0, 0, 0, .06);--pv-shadow-lg: 0 1px 1px rgba(0, 0, 0, .02), 0 8px 16px -4px rgba(0, 0, 0, .04), 0 24px 32px -8px rgba(0, 0, 0, .06);--pv-duration-fast: .15s;--pv-duration: .2s;--pv-duration-slow: .3s;--pv-ease: cubic-bezier(.175, .885, .32, 1.1);--pv-font-size: 14px;--pv-font-size-sm: 13px;--pv-font-size-xs: 12px;--pv-line-height: 1.6;--pv-heading-tracking: -.01em}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;padding:0}html,body,#root{height:100%}body{font-family:var(--pv-font-sans);font-size:var(--pv-font-size);line-height:var(--pv-line-height);color:var(--pv-fg);background:var(--pv-bg);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}::selection{background:var(--pv-accent-bg)}h1,h2,h3,h4{font-family:var(--pv-font-sans);font-weight:600;letter-spacing:var(--pv-heading-tracking);color:var(--pv-fg);margin:0 0 .5em}h1{font-size:1.5rem}h2{font-size:1.22rem}h3{font-size:1.05rem}a{color:var(--pv-accent);text-decoration:none;transition:color var(--pv-duration-fast) var(--pv-ease)}a:hover{text-decoration:underline}code,pre,.pv-mono{font-family:var(--pv-font-mono);font-size:.92em}.pv-container{max-width:1280px;margin:0 auto;padding:0 24px}.pv-container--wide{max-width:none;margin:0}.pv-muted{color:var(--pv-fg-muted)}.pv-faint{color:var(--pv-fg-faint)}.pv-accent{color:var(--pv-accent)}*{scrollbar-width:thin;scrollbar-color:var(--pv-border-strong) transparent}*::-webkit-scrollbar{width:10px;height:10px}*::-webkit-scrollbar-track{background:transparent}*::-webkit-scrollbar-thumb{background:var(--pv-border-strong);border-radius:var(--pv-radius-pill);border:2px solid transparent;background-clip:content-box}*::-webkit-scrollbar-thumb:hover{background-color:var(--pv-fg-faint)}.pv-btn{display:inline-flex;align-items:center;gap:6px;border:1px solid var(--pv-border-strong);background:var(--pv-bg);color:var(--pv-fg);font:inherit;font-size:13px;line-height:1;padding:7px 12px;border-radius:var(--pv-radius-btn);cursor:pointer;-webkit-user-select:none;user-select:none;white-space:nowrap;transition:background-color var(--pv-duration-fast) var(--pv-ease),border-color var(--pv-duration-fast) var(--pv-ease),color var(--pv-duration-fast) var(--pv-ease),box-shadow var(--pv-duration-fast) var(--pv-ease),transform var(--pv-duration-fast) var(--pv-ease)}.pv-btn:hover{background:var(--pv-bg-muted);box-shadow:var(--pv-shadow-sm)}.pv-btn:active{background:var(--pv-bg-subtle);transform:scale(.98);box-shadow:none}.pv-btn:focus-visible{outline:2px solid var(--pv-accent);outline-offset:2px}.pv-btn:disabled{opacity:.55;cursor:not-allowed}.pv-btn--primary{background:var(--pv-accent);border-color:var(--pv-accent);color:#fff;box-shadow:var(--pv-shadow-sm)}.pv-btn--primary:hover{background:var(--pv-accent-strong);border-color:var(--pv-accent-strong);box-shadow:var(--pv-shadow)}.pv-btn--primary:active{background:var(--pv-accent-active);border-color:var(--pv-accent-active);box-shadow:none}.pv-btn--danger{color:var(--pv-danger);border-color:var(--pv-danger-border);background:var(--pv-danger-bg)}.pv-btn--danger:hover{background:color-mix(in srgb,var(--pv-danger-bg),var(--pv-danger) 10%)}.pv-btn--ghost{border-color:transparent;background:transparent;color:var(--pv-fg-secondary)}.pv-btn--ghost:hover{background:var(--pv-bg-muted);color:var(--pv-fg);box-shadow:none}.pv-btn--sm{padding:4px 8px;font-size:12px}.pv-input,.pv-textarea{width:100%;border:1px solid var(--pv-border-strong);background:var(--pv-bg);color:var(--pv-fg);font:inherit;font-size:13px;padding:7px 10px;border-radius:var(--pv-radius-sm);outline:none;transition:border-color var(--pv-duration-fast) var(--pv-ease),box-shadow var(--pv-duration-fast) var(--pv-ease)}.pv-input:focus,.pv-textarea:focus{border-color:var(--pv-accent);box-shadow:0 0 0 3px var(--pv-accent-bg)}.pv-input::placeholder,.pv-textarea::placeholder{color:var(--pv-fg-faint)}.pv-field label{display:block;font-size:12px;color:var(--pv-fg-secondary);margin-bottom:4px}.pv-badge{display:inline-flex;align-items:center;gap:4px;font-size:12px;line-height:1;padding:3px 8px;border-radius:var(--pv-radius-pill);border:1px solid var(--pv-border);background:var(--pv-bg-subtle);color:var(--pv-fg-secondary);white-space:nowrap}.pv-badge--info{color:var(--pv-info);background:var(--pv-info-bg);border-color:var(--pv-info-border)}.pv-badge--purple{color:var(--pv-purple);background:var(--pv-purple-bg);border-color:var(--pv-purple-border)}.pv-badge--ok{color:var(--pv-ok);background:var(--pv-ok-bg);border-color:var(--pv-ok-border)}.pv-badge--warn{color:var(--pv-warn);background:var(--pv-warn-bg);border-color:var(--pv-warn-border)}.pv-badge--danger{color:var(--pv-danger);background:var(--pv-danger-bg);border-color:var(--pv-danger-border)}.pv-dot{width:6px;height:6px;border-radius:50%;background:currentColor;flex:none}.pv-dot--pulse{animation:pv-pulse 1.8s ease-in-out infinite}@keyframes pv-pulse{0%,to{opacity:1;transform:scale(1)}50%{opacity:.45;transform:scale(.82)}}.pv-card{border:1px solid var(--pv-border);background:var(--pv-bg);border-radius:var(--pv-radius);box-shadow:var(--pv-shadow-sm)}.pv-dialog-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;background:#1f232866;-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px);display:flex;align-items:flex-start;justify-content:center;padding:9vh 16px 16px;z-index:100;animation:pv-fade-in var(--pv-duration-slow) var(--pv-ease)}.pv-dialog{width:560px;max-width:100%;max-height:84vh;display:flex;flex-direction:column;background:var(--pv-bg);border:1px solid var(--pv-border-strong);border-radius:var(--pv-radius-lg);box-shadow:var(--pv-shadow-lg);animation:pv-dialog-in var(--pv-duration-slow) var(--pv-ease)}.pv-dialog-head{display:flex;align-items:center;justify-content:space-between;padding:12px 16px;border-bottom:1px solid var(--pv-border)}.pv-dialog-title{font-weight:600;font-size:15px}.pv-dialog-close{-webkit-appearance:none;-moz-appearance:none;appearance:none;border:none;background:none;font-size:18px;line-height:1;color:var(--pv-fg-muted);cursor:pointer;padding:2px 6px}.pv-dialog-close:hover{color:var(--pv-fg)}.pv-dialog-body{padding:16px;overflow-y:auto}.pv-dialog-footer{display:flex;justify-content:flex-end;gap:8px;padding:12px 16px;border-top:1px solid var(--pv-border);background:var(--pv-bg);border-radius:0 0 var(--pv-radius-lg) var(--pv-radius-lg)}.pv-form{display:flex;flex-direction:column;gap:12px}@keyframes pv-fade-in{0%{opacity:0}to{opacity:1}}@keyframes pv-dialog-in{0%{opacity:0;transform:translateY(4px) scale(.98)}to{opacity:1;transform:none}}.pv-tabs{display:flex;border-bottom:1px solid var(--pv-border);gap:2px}.pv-tab{-webkit-appearance:none;-moz-appearance:none;appearance:none;background:none;border:none;border-bottom:2px solid transparent;color:var(--pv-fg-muted);font:inherit;font-size:13px;padding:8px 12px;cursor:pointer;margin-bottom:-1px;border-radius:var(--pv-radius-sm) var(--pv-radius-sm) 0 0;transition:color var(--pv-duration-fast) var(--pv-ease),border-color var(--pv-duration-fast) var(--pv-ease)}.pv-tab:focus-visible{outline:2px solid var(--pv-accent);outline-offset:-2px}.pv-tab--active{color:var(--pv-accent);border-bottom-color:var(--pv-accent);font-weight:600}.pv-empty{padding:48px 24px;text-align:center;color:var(--pv-fg-muted);border:1px dashed var(--pv-border-strong);border-radius:var(--pv-radius)}.pv-empty .pv-empty-title{font-weight:600;color:var(--pv-fg-secondary);margin-bottom:4px}.pv-spinner{width:14px;height:14px;border:2px solid var(--pv-border-strong);border-top-color:var(--pv-accent);border-radius:50%;animation:pv-spin .8s linear infinite;display:inline-block}@keyframes pv-spin{to{transform:rotate(360deg)}}.pv-topbar{position:sticky;top:0;z-index:50;border-bottom:1px solid var(--pv-border);background:#ffffffd9;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px)}.pv-topbar-inner{display:flex;align-items:center;gap:16px;height:48px}.pv-brand{font-weight:700;color:var(--pv-fg);letter-spacing:.2px;white-space:nowrap;font-size:14px}.pv-brand em{font-style:normal;color:var(--pv-accent)}.pv-topbar .pv-spacer{flex:1}.pv-nav{display:flex;gap:4px}.pv-navlink{font-size:13px;color:var(--pv-fg-muted);padding:5px 10px;border-radius:var(--pv-radius-sm);border:1px solid transparent;transition:color var(--pv-duration-fast) var(--pv-ease),background-color var(--pv-duration-fast) var(--pv-ease),border-color var(--pv-duration-fast) var(--pv-ease)}.pv-navlink:hover{color:var(--pv-fg);background:var(--pv-bg-muted);text-decoration:none}.pv-navlink--active{color:var(--pv-accent);background:var(--pv-accent-bg);border-color:var(--pv-accent-border)}.pv-panel{border:1px solid var(--pv-border);background:var(--pv-bg);border-radius:var(--pv-radius);display:flex;flex-direction:column;flex:1;min-height:0}.pv-panel-head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:10px 14px;border-bottom:1px solid var(--pv-border)}.pv-panel-title{font-size:12px;font-weight:600;color:var(--pv-fg-secondary);letter-spacing:.3px}.pv-table{width:100%;border-collapse:collapse;font-size:13px}.pv-table th{text-align:left;font-size:12px;font-weight:600;color:var(--pv-fg-secondary);border-bottom:1px solid var(--pv-border-strong);padding:8px 12px;letter-spacing:.2px}.pv-table td{padding:9px 12px;border-bottom:1px solid var(--pv-border);vertical-align:middle}.pv-table tbody tr:last-child td{border-bottom:none}.pv-table tbody tr:hover{background:var(--pv-bg-subtle)}.pv-stat{display:flex;justify-content:space-between;align-items:baseline;gap:12px;padding:6px 0;font-size:13px}.pv-stat span{color:var(--pv-fg-muted);font-size:12px}.pv-stat b{font-weight:600}.pv-log{font-family:var(--pv-font-mono);font-size:12.5px;line-height:1.7}.pv-log-line{white-space:pre-wrap}.pv-log-time{color:var(--pv-fg-faint);margin-right:6px}.pv-log--ok{color:var(--pv-ok)}@media(prefers-reduced-motion:reduce){.pv-btn,.pv-input,.pv-textarea,.pv-tab,.pv-navlink,.pv-dialog-backdrop,.pv-dialog{transition:none;animation:none}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}.pv-project-shell{height:100%;min-height:0;overflow:hidden;display:flex;flex-direction:column}.pv-project-main{flex:1;min-height:0;display:flex;flex-direction:column;padding:16px 24px 20px}.pv-project-head{display:flex;align-items:center;justify-content:space-between;gap:16px;margin-bottom:18px}.pv-project-title-wrap{display:flex;align-items:center;gap:10px;min-width:0}.pv-project-head .pv-page-title{margin:0}.pv-project-meta{display:inline-flex;align-items:center;gap:8px;color:var(--pv-fg-secondary);font-size:13px;line-height:1;white-space:nowrap}.pv-status-dot{width:8px;height:8px;border-radius:50%;background:currentColor;flex:none}.pv-status-dot--info{color:var(--pv-info)}.pv-status-dot--warn{color:var(--pv-warn)}.pv-status-dot--purple{color:var(--pv-purple)}.pv-status-dot--neutral{color:var(--pv-fg-faint)}.pv-status-dot--ok{color:var(--pv-ok)}.pv-status-dot--danger{color:var(--pv-danger)}.pv-status-dot--pulse{animation:pv-pulse 1.8s ease-in-out infinite}.pv-project-sep{color:var(--pv-border-strong);font-size:12px}.pv-project-prover{font-family:var(--pv-font-mono, monospace);font-size:12px;color:var(--pv-fg-muted);letter-spacing:.02em}.pv-check-ok{display:inline-flex;align-items:center;gap:6px;font-size:12px;color:var(--pv-ok)}.pv-btn--icon{width:30px;height:30px;padding:0;justify-content:center;border-radius:var(--pv-radius);border-color:transparent;background:transparent;color:var(--pv-fg-secondary)}.pv-btn--icon:hover{background:var(--pv-bg-muted);color:var(--pv-fg);box-shadow:none}.pv-btn--icon:active{background:var(--pv-bg-subtle);transform:scale(.94);box-shadow:none}.pv-btn--icon.pv-btn--primary{background:transparent;border-color:transparent;color:var(--pv-accent);box-shadow:none}.pv-btn--icon.pv-btn--primary:hover{background:var(--pv-accent-bg);color:var(--pv-accent-strong);box-shadow:none}.pv-btn--icon.pv-btn--primary:active{background:color-mix(in srgb,var(--pv-accent-bg),var(--pv-accent) 10%);color:var(--pv-accent-active);transform:scale(.94);box-shadow:none}.pv-btn--icon.pv-btn--danger{background:transparent;border-color:transparent;color:var(--pv-danger);box-shadow:none}.pv-btn--icon.pv-btn--danger:hover{background:var(--pv-danger-bg);color:var(--pv-danger);box-shadow:none}.pv-btn--icon.pv-btn--danger:active{background:color-mix(in srgb,var(--pv-danger-bg),var(--pv-danger) 10%);transform:scale(.94);box-shadow:none}.pv-page-formalize{display:flex;flex-direction:column;flex:1;min-height:0;overflow:hidden}.pv-formalize-code{display:flex;flex-direction:column;flex:1;gap:10px;min-height:0}.pv-panel-head-actions{display:flex;gap:10px;align-items:center}.pv-panel{border:none;background:transparent;box-shadow:none}.pv-panel-head{border-bottom:none;padding:0 0 10px}.pv-panel-head--code{justify-content:flex-end}.pv-split{display:flex;flex:1;min-height:0}.pv-split-left{flex:none;min-width:0;height:100%;display:flex;flex-direction:column}.pv-split-divider{flex:none;width:14px;cursor:col-resize;display:flex;align-items:stretch;justify-content:center;touch-action:none;-webkit-user-select:none;user-select:none;outline:none}.pv-split-divider:before{content:"";width:1px;background:var(--pv-border);transition:width var(--pv-duration-fast) var(--pv-ease),background-color var(--pv-duration-fast) var(--pv-ease)}.pv-split-divider:hover:before,.pv-split-divider:active:before,.pv-split-divider:focus-visible:before{width:2px;background:var(--pv-accent)}.pv-split-right{flex:1;min-width:0;height:100%;display:flex;flex-direction:column}body.pv-split-dragging{cursor:col-resize;-webkit-user-select:none;user-select:none}.pv-chat{display:flex;flex-direction:column;height:100%;min-height:0}.pv-chat-list{flex:1;overflow-y:auto;padding:12px 14px 12px 0;display:flex;flex-direction:column;gap:16px}.pv-chat-list .pv-empty{border:none;background:none;border-radius:0;padding:32px 12px}.pv-chat-foot{display:flex;flex-direction:column;gap:6px;padding:6px 0 0;font-size:12px;color:var(--pv-fg-muted)}.pv-chat-foot-row{display:flex;align-items:center;gap:16px;flex-wrap:wrap}.pv-offline{padding:6px 10px;border:1px solid var(--pv-warn-border);border-radius:var(--pv-radius-sm);background:var(--pv-warn-bg);color:var(--pv-warn);font-size:12px}.pv-run-hint{font-size:12px;color:var(--pv-fg-muted);margin-bottom:10px}.pv-msg{min-width:0}.pv-msg--ai{align-self:flex-start;max-width:100%;width:100%}.pv-msg--user{align-self:flex-end;max-width:78%;text-align:right}.pv-msg-content{font-size:13.5px;white-space:pre-wrap}.pv-msg--user .pv-msg-content{display:inline-block;text-align:left;background:var(--pv-accent-bg);padding:9px 12px;border-radius:12px 12px 3px;color:var(--pv-fg)}.pv-msg--ai .pv-msg-content{white-space:normal;color:var(--pv-fg)}.pv-msg-code{margin:8px 0 0;padding:10px 12px;background:var(--pv-bg-subtle);border:1px solid var(--pv-border);border-radius:var(--pv-radius-sm);overflow-x:auto;font-size:12.5px;line-height:1.55;text-align:left}.pv-turn{display:flex;flex-direction:column;gap:8px}.pv-line{max-width:94%;align-self:flex-start}.pv-line-body{min-width:0;font-size:13.5px}.pv-line-meta{font-family:var(--pv-font-mono, monospace);font-size:11.5px}.pv-line-thinking{display:inline-flex;align-items:center;gap:6px;font-size:12px;color:var(--pv-fg-muted)}.pv-line-system{font-size:12px;color:var(--pv-fg-muted);white-space:pre-wrap}.pv-line-system--ok{color:var(--pv-ok)}.pv-line-system--error{color:var(--pv-danger)}.pv-line-system--user{color:var(--pv-accent);background:var(--pv-accent-bg);border-left:2px solid var(--pv-accent-border);padding:2px 8px;margin:2px 0}.pv-md{line-height:1.6}.pv-md>:first-child{margin-top:0}.pv-md>:last-child{margin-bottom:0}.pv-md p{margin:.35em 0}.pv-md pre{margin:.5em 0;padding:8px 10px;background:var(--pv-bg-muted);overflow-x:auto;font-size:12px;line-height:1.5}.pv-md code{font-family:var(--pv-font-mono, monospace);font-size:.92em;background:var(--pv-bg-muted);padding:.1em .35em;border-radius:var(--pv-radius-sm)}.pv-md pre code{background:none;padding:0}.pv-md ul,.pv-md ol{margin:.4em 0;padding-left:1.4em}.pv-md li{margin:.15em 0}.pv-md blockquote{margin:.5em 0;padding:.1em .9em;border-left:3px solid var(--pv-border);color:var(--pv-fg-muted)}.pv-md table{border-collapse:collapse;margin:.5em 0;font-size:12.5px}.pv-md th,.pv-md td{border:1px solid var(--pv-border);padding:4px 8px}.pv-cursor{color:var(--pv-accent);animation:pv-blink 1s steps(2,start) infinite}@keyframes pv-blink{to{visibility:hidden}}.pv-line-tool{display:inline-flex;align-items:center;gap:6px;font-size:12px;color:var(--pv-fg-muted);font-family:var(--pv-font-mono, monospace)}.pv-line-tool-dot{flex:none;width:6px;height:6px;border-radius:50%;background:currentColor;opacity:.7}.pv-line-tool--pending,.pv-line-tool--running{color:var(--pv-accent)}.pv-line-tool--completed{color:var(--pv-fg-muted)}.pv-line-tool--error{color:var(--pv-danger)}.pv-line-tool-name{font-weight:600;color:var(--pv-fg-secondary)}.pv-line-tool-status{color:inherit;opacity:.55}.pv-msg-error{margin-top:8px;padding:6px 10px;border:1px solid var(--pv-danger-border);background:var(--pv-danger-bg);color:var(--pv-danger);border-radius:var(--pv-radius-sm);font-size:12px;white-space:pre-wrap}.pv-sending{display:flex;align-items:center;gap:8px;font-size:12.5px;color:var(--pv-fg-muted)}.pv-chat-input{display:flex;padding:12px 0 2px;border-top:1px solid var(--pv-border)}.pv-chat-input-box{flex:1;display:flex;align-items:flex-end;gap:8px;border:1px solid var(--pv-border-strong);border-radius:12px;background:var(--pv-bg);padding:6px 6px 6px 10px;transition:border-color var(--pv-duration-fast) var(--pv-ease),box-shadow var(--pv-duration-fast) var(--pv-ease)}.pv-chat-input-box:focus-within{border-color:var(--pv-accent);box-shadow:0 0 0 3px var(--pv-accent-bg)}.pv-chat-input-box .pv-textarea{flex:1;border:none;background:transparent;box-shadow:none;resize:none;min-height:30px;max-height:150px;padding:4px 0;line-height:1.5}.pv-chat-input-box .pv-textarea:focus{border:none;box-shadow:none}.pv-chat-input-box .pv-btn{flex:none;min-height:34px;border-radius:8px;padding:0 14px}.pv-code-panel{border:none;background:transparent;flex:1;min-height:0;width:100%}.pv-code-loading{height:100%;display:flex;align-items:center;justify-content:center;gap:8px;color:var(--pv-fg-muted);font-size:12.5px}.pv-page-formalize .pv-empty{border:none;background:none;padding:40px 16px}.pv-page{padding:20px 0 40px}.pv-page-title{font-size:1.15rem;margin-bottom:6px}.pv-title-edit{cursor:text;border-bottom:1px dashed transparent}.pv-title-edit:hover{border-bottom-color:var(--pv-fg-muted)}.pv-title-edit-hint{font-size:12px;color:var(--pv-fg-muted);opacity:0;transition:opacity var(--pv-duration-fast) var(--pv-ease)}.pv-title-edit:hover .pv-title-edit-hint{opacity:1}.pv-title-input{font-size:1.15rem;font-weight:600;padding:2px 8px;border:1px solid var(--pv-accent-border);border-radius:var(--pv-radius-sm);background:var(--pv-bg);color:var(--pv-fg);outline:none;width:min(420px,60vw)}.pv-title-error{display:inline-block;margin-left:10px;font-size:12.5px;color:var(--pv-danger)}.pv-gate-wrap{min-height:100vh;display:flex;align-items:center;justify-content:center;background:var(--pv-bg)}.pv-gate-card{width:400px;padding:40px 40px 36px;border-radius:var(--pv-radius-lg);box-shadow:var(--pv-shadow)}.pv-gate-brand{font-weight:700;font-size:20px;letter-spacing:-.01em;color:var(--pv-fg);text-align:center;margin-bottom:8px}.pv-gate-title{font-size:17px;font-weight:600;text-align:center;margin-bottom:4px;letter-spacing:var(--pv-heading-tracking)}.pv-gate-sub{font-size:12.5px;color:var(--pv-fg-muted);text-align:center;margin-bottom:26px}.pv-gate-form{display:flex;flex-direction:column;gap:12px}.pv-gate-submit{width:100%;justify-content:center;padding:9px 12px}.pv-gate-error{color:var(--pv-danger);font-size:12px}.pv-app{display:flex;height:100vh;overflow:hidden}.pv-sidebar{width:216px;flex:none;background:var(--pv-bg);border-right:1px solid var(--pv-border);display:flex;flex-direction:column;padding:16px 10px 12px;transition:width var(--pv-duration) var(--pv-ease)}.pv-sidebar--collapsed{width:48px;padding:16px 6px 12px}.pv-sidebar-brand{font-weight:700;font-size:15px;letter-spacing:-.01em;color:var(--pv-fg);padding:2px 10px 16px}.pv-sidebar-brand:hover{text-decoration:none}.pv-sidebar-nav{display:flex;flex-direction:column;gap:2px;margin-bottom:20px}.pv-sidebar-link{display:flex;align-items:center;gap:8px;font-size:13px;color:var(--pv-fg-secondary);padding:6px 10px;border-radius:var(--pv-radius-sm);transition:background-color var(--pv-duration-fast) var(--pv-ease),color var(--pv-duration-fast) var(--pv-ease)}.pv-sidebar-link:hover{background:var(--pv-bg-subtle);color:var(--pv-fg);text-decoration:none}.pv-sidebar-link--active{color:var(--pv-fg);background:var(--pv-bg-muted);font-weight:600}.pv-sidebar--collapsed .pv-sidebar-link{justify-content:center;padding:8px}.pv-sidebar--collapsed .pv-sidebar-section{display:none}.pv-sidebar-icon{flex:none}.pv-sidebar-section{display:flex;flex-direction:column;gap:1px}.pv-sidebar-label{font-size:11px;font-weight:600;letter-spacing:.4px;color:var(--pv-fg-faint);padding:0 10px 6px}.pv-sidebar-recent{font-size:12.5px;color:var(--pv-fg-muted);padding:5px 10px;border-radius:var(--pv-radius-sm);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;transition:background-color var(--pv-duration-fast) var(--pv-ease),color var(--pv-duration-fast) var(--pv-ease)}.pv-sidebar-recent:hover{background:var(--pv-bg-subtle);color:var(--pv-fg);text-decoration:none}.pv-sidebar-recent--active{color:var(--pv-accent);background:var(--pv-accent-bg)}.pv-sidebar-spacer{flex:1}.pv-sidebar-logout{display:flex;align-items:center;gap:8px;border:none;background:none;font:inherit;font-size:12.5px;color:var(--pv-fg-muted);padding:6px 10px;border-radius:var(--pv-radius-sm);text-align:left;cursor:pointer;transition:background-color var(--pv-duration-fast) var(--pv-ease),color var(--pv-duration-fast) var(--pv-ease)}.pv-sidebar-logout:hover{background:var(--pv-bg-muted);color:var(--pv-fg)}.pv-sidebar-toggle{display:flex;align-items:center;gap:8px;border:none;background:none;font:inherit;font-size:12.5px;color:var(--pv-fg-muted);padding:6px 10px;border-radius:var(--pv-radius-sm);text-align:left;cursor:pointer;margin-top:2px;transition:background-color var(--pv-duration-fast) var(--pv-ease),color var(--pv-duration-fast) var(--pv-ease)}.pv-sidebar-toggle:hover{background:var(--pv-bg-muted);color:var(--pv-fg)}.pv-sidebar--collapsed .pv-sidebar-logout,.pv-sidebar--collapsed .pv-sidebar-toggle{justify-content:center;padding:8px}.pv-app-main{flex:1;min-width:0;display:flex;flex-direction:column;overflow:hidden}.pv-home{flex:1;min-height:0;overflow-y:auto;padding:30px 24px 56px}.pv-home>.pv-home-head,.pv-home>.pv-list-toolbar,.pv-home>.pv-project-list,.pv-home>.pv-empty,.pv-home>.pv-loading{max-width:960px;margin-left:auto;margin-right:auto}.pv-home-head{display:flex;align-items:flex-end;justify-content:space-between;gap:16px;margin-bottom:22px}.pv-page-title{font-size:1.35rem;margin-bottom:2px}.pv-page-sub{margin:0;font-size:12.5px;color:var(--pv-fg-muted)}.pv-list-toolbar{display:flex;align-items:center;gap:10px;margin-bottom:16px;flex-wrap:wrap}.pv-search{max-width:280px}.pv-list-filters{display:flex;gap:8px;margin-left:auto;flex-wrap:wrap}.pv-select{font:inherit;font-size:13px;color:var(--pv-fg);background:var(--pv-bg);border:1px solid var(--pv-border-strong);border-radius:var(--pv-radius-sm);padding:6px 8px;outline:none;cursor:pointer;transition:border-color var(--pv-duration-fast) var(--pv-ease),box-shadow var(--pv-duration-fast) var(--pv-ease)}.pv-select:focus{border-color:var(--pv-accent);box-shadow:0 0 0 3px var(--pv-accent-bg)}.pv-project-list{display:flex;flex-direction:column}.pv-project-row{display:flex;align-items:center;gap:20px;padding:13px 8px;border-bottom:1px solid var(--pv-border);color:var(--pv-fg);border-radius:var(--pv-radius-sm);transition:background-color var(--pv-duration-fast) var(--pv-ease)}.pv-project-row:last-child{border-bottom:none}.pv-project-row:hover{background:var(--pv-bg-subtle);text-decoration:none}.pv-project-row-name{font-weight:600;font-size:13.5px;flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pv-project-row-prover{display:inline-flex;align-items:center;width:140px;flex:none;font-size:12.5px;color:var(--pv-fg-secondary)}.pv-project-row-phase{width:120px;flex:none}.pv-project-row-time{width:132px;flex:none;text-align:right;font-size:12.5px;color:var(--pv-fg-muted)}.pv-project-row-arrow{color:var(--pv-fg-faint);flex:none}.pv-loading{padding:64px 0;display:flex;justify-content:center}.pv-empty-desc{margin-top:4px}.pv-create-options{display:flex;flex-direction:column;gap:10px}.pv-create-option{display:flex;align-items:center;justify-content:space-between;gap:12px;width:100%;padding:12px 14px;border:1px solid var(--pv-border-strong);border-radius:var(--pv-radius);background:var(--pv-bg);color:var(--pv-fg);font:inherit;text-align:left;cursor:pointer;transition:border-color var(--pv-duration-fast) var(--pv-ease),background-color var(--pv-duration-fast) var(--pv-ease)}.pv-create-option:hover{border-color:var(--pv-accent);background:var(--pv-bg-subtle)}.pv-create-option:disabled{opacity:.55;cursor:not-allowed}.pv-create-option-text{display:flex;flex-direction:column;gap:2px}.pv-create-option-name{font-weight:600;font-size:13.5px}.pv-create-option-desc{font-size:12px;color:var(--pv-fg-muted)}.pv-strong{font-weight:600;color:var(--pv-fg)}.pv-contract-list{max-width:1080px;margin:0 auto;display:flex;flex-direction:column;border:1px solid var(--pv-border);border-radius:var(--pv-radius);overflow:hidden}.pv-contract-row{display:flex;align-items:center;gap:16px;padding:14px 16px;border-bottom:1px solid var(--pv-border);color:var(--pv-fg);transition:background-color var(--pv-duration-fast) var(--pv-ease)}.pv-contract-row:last-child{border-bottom:none}.pv-contract-row:hover{background:var(--pv-bg-subtle);text-decoration:none}.pv-contract-row-main{display:flex;align-items:center;gap:14px;flex:1;min-width:0}.pv-contract-row-icon{width:40px;height:40px;flex:none;display:grid;place-items:center;border-radius:var(--pv-radius);background:var(--pv-accent-bg);color:var(--pv-accent)}.pv-contract-row-text{flex:1;min-width:0;display:flex;flex-direction:column;gap:3px}.pv-contract-row-title{font-weight:600;font-size:14px;color:var(--pv-fg);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.pv-contract-row-desc{font-size:12.5px;color:var(--pv-fg-muted);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.pv-contract-row-arrow{flex:none;color:var(--pv-fg-faint)}.pv-contract{flex:1;min-height:0;display:flex;flex-direction:column;overflow-y:auto;padding:24px 24px 56px}.pv-contract-head,.pv-tabs,.pv-property,.pv-property-list{flex:none}.pv-contract-head{width:100%;max-width:1080px;margin:0 auto 16px}.pv-backlink{display:inline-flex;align-items:center;gap:4px;font-size:12.5px;color:var(--pv-fg-muted);margin-bottom:12px}.pv-backlink:hover{color:var(--pv-fg)}.pv-contract-title-row{display:flex;align-items:center;gap:10px}.pv-contract-title{margin:0}.pv-contract-sub{margin:6px 0 0;font-size:12.5px;color:var(--pv-fg)}.pv-tabs{display:flex;gap:4px;width:100%;max-width:1080px;margin:0 auto 14px;border-bottom:1px solid var(--pv-border)}.pv-tab{display:inline-flex;align-items:center;gap:6px;border:none;background:none;font:inherit;font-size:13px;font-weight:600;color:var(--pv-fg-muted);padding:9px 14px;cursor:pointer;border-bottom:2px solid transparent;transition:color var(--pv-duration-fast) var(--pv-ease)}.pv-tab:hover{color:var(--pv-fg)}.pv-tab--active{color:var(--pv-accent);border-bottom-color:var(--pv-accent)}.pv-code-browser{width:100%;max-width:1080px;margin:0 auto;display:flex;flex:1 1 auto;min-height:320px;border:1px solid var(--pv-border);border-radius:var(--pv-radius);overflow:hidden;background:var(--pv-bg)}.pv-code-browser-files{width:200px;flex:none;border-right:1px solid var(--pv-border);background:var(--pv-bg-subtle);overflow-y:auto;padding:8px 6px}.pv-code-browser-file{display:block;width:100%;text-align:left;font-family:var(--pv-font-mono);font-size:12.5px;color:var(--pv-fg-secondary);background:transparent;border:none;padding:6px 10px;border-radius:var(--pv-radius-sm);cursor:pointer;transition:background-color var(--pv-duration-fast) var(--pv-ease),color var(--pv-duration-fast) var(--pv-ease)}.pv-code-browser-file:hover{background:var(--pv-bg-muted);color:var(--pv-fg)}.pv-code-browser-file--active{background:var(--pv-accent-bg);color:var(--pv-accent);font-weight:600}.pv-code-browser-code{flex:1;min-width:0;display:flex;flex-direction:column}.pv-contract .pv-panel-head--code{justify-content:flex-start;gap:8px}.pv-panel-title{font-size:12.5px;font-weight:600;color:var(--pv-fg-secondary)}.pv-property-list{display:flex;flex-direction:column;width:100%;max-width:1080px;margin:0 auto}.pv-property-list-head{padding:4px 6px 10px}.pv-property-row{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:13px 12px;border-bottom:1px solid var(--pv-border);color:var(--pv-fg);border-radius:var(--pv-radius-sm);transition:background-color var(--pv-duration-fast) var(--pv-ease)}.pv-property-row:last-child{border-bottom:none}.pv-property-row:hover{background:var(--pv-bg-subtle);text-decoration:none}.pv-property-row-name{font-family:var(--pv-font-mono);font-size:12.5px;font-weight:600;color:var(--pv-fg);flex:1;min-width:0}.pv-property{width:100%;max-width:1080px;margin:0 auto}.pv-property-nl-card{padding:14px 16px;border:1px solid var(--pv-accent-border);border-radius:var(--pv-radius);background:var(--pv-accent-bg);margin-bottom:14px}.pv-property-nl-label{display:flex;align-items:center;gap:6px;font-size:12px;font-weight:600;color:var(--pv-accent);margin-bottom:6px}.pv-property-nl-text{font-size:13.5px;line-height:1.6;color:var(--pv-fg)}.pv-property-actions{display:flex;align-items:center;gap:12px;margin-bottom:14px}.pv-verify-ok{display:inline-flex;align-items:center;gap:4px;font-size:12.5px;color:var(--pv-ok);font-weight:600}.pv-empty--panel{border:1px dashed var(--pv-border-strong);border-radius:var(--pv-radius);padding:48px 16px;background:var(--pv-bg-subtle)}.pv-property-shell{flex:1;min-height:0;display:flex;flex-direction:column;overflow:hidden}.pv-property-head{flex:none;display:flex;align-items:center;height:52px;padding:0 24px;border-bottom:1px solid var(--pv-border);background:var(--pv-bg-subtle)}.pv-property-crumb{display:flex;align-items:center;gap:6px;min-width:0;font-size:13px}.pv-crumb-link{display:inline-flex;align-items:center;gap:5px;color:var(--pv-fg-secondary);font-weight:600}.pv-crumb-link:hover{color:var(--pv-fg);text-decoration:none}.pv-crumb-contract{max-width:280px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pv-crumb-sep{color:var(--pv-fg-faint)}.pv-crumb-name{font-family:var(--pv-font-mono);font-weight:700;color:var(--pv-fg);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pv-property-body{flex:1;min-height:0;display:flex;padding:18px 24px 24px}.pv-property-body>.pv-split{width:100%}.pv-property-artifacts{display:flex;flex-direction:column;height:100%;min-height:0;overflow:hidden}.pv-subtabs{flex:none;display:flex;gap:4px;border-bottom:1px solid var(--pv-border);margin-bottom:12px}.pv-subtab{display:inline-flex;align-items:center;gap:6px;border:none;background:none;font:inherit;font-size:13px;font-weight:600;color:var(--pv-fg-muted);padding:8px 12px;cursor:pointer;border-bottom:2px solid transparent;transition:color var(--pv-duration-fast) var(--pv-ease),border-color var(--pv-duration-fast) var(--pv-ease)}.pv-subtab:hover{color:var(--pv-fg)}.pv-subtab--active{color:var(--pv-accent);border-bottom-color:var(--pv-accent)}.pv-subtab-body{flex:1;min-height:0;overflow:hidden;display:flex;flex-direction:column}.pv-subtab-body .pv-empty--panel{flex:1;min-height:0;display:flex;flex-direction:column;align-items:center;justify-content:center;text-align:center}.pv-nl-readonly{flex:1;min-height:0;overflow-y:auto;padding:2px 2px 8px}