/*! tailwindcss v4.3.0 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-space-y-reverse:0;--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking: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-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial;--tw-backdrop-blur:initial;--tw-backdrop-brightness:initial;--tw-backdrop-contrast:initial;--tw-backdrop-grayscale:initial;--tw-backdrop-hue-rotate:initial;--tw-backdrop-invert:initial;--tw-backdrop-opacity:initial;--tw-backdrop-saturate:initial;--tw-backdrop-sepia:initial}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-serif:ui-serif, Georgia, Cambria, "Times New Roman", Times, serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--color-amber-100:oklch(96.2% .059 95.617);--color-amber-200:oklch(92.4% .12 95.746);--color-amber-300:oklch(87.9% .169 91.605);--color-amber-400:oklch(82.8% .189 84.429);--color-emerald-100:oklch(95% .052 163.051);--color-emerald-200:oklch(90.5% .093 164.15);--color-emerald-300:oklch(84.5% .143 164.978);--color-emerald-400:oklch(76.5% .177 163.223);--color-cyan-100:oklch(95.6% .045 203.388);--color-cyan-300:oklch(86.5% .127 207.078);--color-cyan-400:oklch(78.9% .154 211.53);--color-rose-100:oklch(94.1% .03 12.58);--color-rose-300:oklch(81% .117 11.638);--color-rose-400:oklch(71.2% .194 13.428);--color-rose-500:oklch(64.5% .246 16.439);--color-slate-100:oklch(96.8% .007 247.896);--color-slate-200:oklch(92.9% .013 255.508);--color-slate-300:oklch(86.9% .022 252.894);--color-slate-400:oklch(70.4% .04 256.788);--color-slate-500:oklch(55.4% .046 257.417);--color-slate-600:oklch(44.6% .043 257.281);--color-slate-700:oklch(37.2% .044 257.287);--color-slate-800:oklch(27.9% .041 260.031);--color-slate-900:oklch(20.8% .042 265.755);--color-slate-950:oklch(12.9% .042 264.695);--color-white:#fff;--spacing:.25rem;--container-md:28rem;--container-xl:36rem;--container-2xl:42rem;--container-3xl:48rem;--text-xs:.75rem;--text-xs--line-height:calc(1 / .75);--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--text-xl:1.25rem;--text-xl--line-height:calc(1.75 / 1.25);--text-2xl:1.5rem;--text-2xl--line-height:calc(2 / 1.5);--font-weight-medium:500;--font-weight-semibold:600;--leading-relaxed:1.625;--radius-lg:.5rem;--radius-xl:.75rem;--radius-2xl:1rem;--animate-spin:spin 1s linear infinite;--blur-sm:8px;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--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,ui-sans-serif, system-ui, 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;-webkit-text-decoration:inherit;-webkit-text-decoration: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{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}}@layer components;@layer utilities{.pointer-events-none{pointer-events:none}.collapse{visibility:collapse}.visible{visibility:visible}.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.inset-0{inset:calc(var(--spacing) * 0)}.top-\[calc\(100\%\+0\.5rem\)\]{top:calc(100% + .5rem)}.right-0{right:calc(var(--spacing) * 0)}.z-10{z-index:10}.z-30{z-index:30}.z-40{z-index:40}.z-50{z-index:50}.container{width:100%}@media (width>=40rem){.container{max-width:40rem}}@media (width>=48rem){.container{max-width:48rem}}@media (width>=64rem){.container{max-width:64rem}}@media (width>=80rem){.container{max-width:80rem}}@media (width>=96rem){.container{max-width:96rem}}.mt-0\.5{margin-top:calc(var(--spacing) * .5)}.mt-1{margin-top:calc(var(--spacing) * 1)}.mt-1\.5{margin-top:calc(var(--spacing) * 1.5)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-3{margin-top:calc(var(--spacing) * 3)}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-5{margin-top:calc(var(--spacing) * 5)}.mb-3{margin-bottom:calc(var(--spacing) * 3)}.mb-5{margin-bottom:calc(var(--spacing) * 5)}.block{display:block}.flex{display:flex}.grid{display:grid}.hidden{display:none}.hidden\!{display:none!important}.inline{display:inline}.inline-flex{display:inline-flex}.table{display:table}.size-1{width:calc(var(--spacing) * 1);height:calc(var(--spacing) * 1)}.h-1\.5{height:calc(var(--spacing) * 1.5)}.h-4{height:calc(var(--spacing) * 4)}.h-9{height:calc(var(--spacing) * 9)}.h-10{height:calc(var(--spacing) * 10)}.h-40{height:calc(var(--spacing) * 40)}.h-84{height:calc(var(--spacing) * 84)}.h-120{height:calc(var(--spacing) * 120)}.h-dvh{height:100dvh}.h-full{height:100%}.max-h-\[88vh\]{max-height:88vh}.min-h-0{min-height:calc(var(--spacing) * 0)}.min-h-\[96px\]{min-height:96px}.min-h-\[210px\]{min-height:210px}.min-h-\[420px\]{min-height:420px}.w-1\.5{width:calc(var(--spacing) * 1.5)}.w-4{width:calc(var(--spacing) * 4)}.w-9{width:calc(var(--spacing) * 9)}.w-10{width:calc(var(--spacing) * 10)}.w-28{width:calc(var(--spacing) * 28)}.w-80{width:calc(var(--spacing) * 80)}.w-\[min\(430px\,100vw\)\]{width:min(430px,100vw)}.w-full{width:100%}.max-w-2xl{max-width:var(--container-2xl)}.max-w-3xl{max-width:var(--container-3xl)}.max-w-md{max-width:var(--container-md)}.max-w-xl{max-width:var(--container-xl)}.min-w-0{min-width:calc(var(--spacing) * 0)}.min-w-\[74px\]{min-width:74px}.flex-1{flex:1}.shrink-0{flex-shrink:0}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.transform\!{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)!important}.animate-spin{animation:var(--animate-spin)}.cursor-default{cursor:default}.cursor-pointer{cursor:pointer}.resize{resize:both}.resize-y{resize:vertical}.grid-cols-1{grid-template-columns:repeat(1,minmax(0,1fr))}.grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.flex-col{flex-direction:column}.flex-wrap{flex-wrap:wrap}.place-items-center{place-items:center}.items-center{align-items:center}.items-start{align-items:flex-start}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.justify-end{justify-content:flex-end}.gap-2{gap:calc(var(--spacing) * 2)}.gap-3{gap:calc(var(--spacing) * 3)}.gap-4{gap:calc(var(--spacing) * 4)}.gap-5{gap:calc(var(--spacing) * 5)}:where(.space-y-1>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 1) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 1) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-2>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 2) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 2) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-3>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 3) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 3) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-4>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 4) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 4) * calc(1 - var(--tw-space-y-reverse)))}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.overflow-hidden{overflow:hidden}.overflow-y-auto{overflow-y:auto}.rounded-2xl{border-radius:var(--radius-2xl)}.rounded-full{border-radius:3.40282e38px}.rounded-lg{border-radius:var(--radius-lg)}.rounded-xl{border-radius:var(--radius-xl)}.border{border-style:var(--tw-border-style);border-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.border-b{border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.border-l{border-left-style:var(--tw-border-style);border-left-width:1px}.border-\[color\:var\(--border-subtle\)\]{border-color:var(--border-subtle)}.border-amber-300\/25{border-color:#ffd23640}@supports (color:color-mix(in lab, red, red)){.border-amber-300\/25{border-color:color-mix(in oklab, var(--color-amber-300) 25%, transparent)}}.border-amber-300\/30{border-color:#ffd2364d}@supports (color:color-mix(in lab, red, red)){.border-amber-300\/30{border-color:color-mix(in oklab, var(--color-amber-300) 30%, transparent)}}.border-amber-300\/35{border-color:#ffd23659}@supports (color:color-mix(in lab, red, red)){.border-amber-300\/35{border-color:color-mix(in oklab, var(--color-amber-300) 35%, transparent)}}.border-cyan-300\/24{border-color:#53eafd3d}@supports (color:color-mix(in lab, red, red)){.border-cyan-300\/24{border-color:color-mix(in oklab, var(--color-cyan-300) 24%, transparent)}}.border-cyan-300\/30{border-color:#53eafd4d}@supports (color:color-mix(in lab, red, red)){.border-cyan-300\/30{border-color:color-mix(in oklab, var(--color-cyan-300) 30%, transparent)}}.border-cyan-300\/50{border-color:#53eafd80}@supports (color:color-mix(in lab, red, red)){.border-cyan-300\/50{border-color:color-mix(in oklab, var(--color-cyan-300) 50%, transparent)}}.border-emerald-300\/30{border-color:#5ee9b54d}@supports (color:color-mix(in lab, red, red)){.border-emerald-300\/30{border-color:color-mix(in oklab, var(--color-emerald-300) 30%, transparent)}}.border-emerald-300\/35{border-color:#5ee9b559}@supports (color:color-mix(in lab, red, red)){.border-emerald-300\/35{border-color:color-mix(in oklab, var(--color-emerald-300) 35%, transparent)}}.border-rose-300\/25{border-color:#ffa2ae40}@supports (color:color-mix(in lab, red, red)){.border-rose-300\/25{border-color:color-mix(in oklab, var(--color-rose-300) 25%, transparent)}}.border-rose-300\/30{border-color:#ffa2ae4d}@supports (color:color-mix(in lab, red, red)){.border-rose-300\/30{border-color:color-mix(in oklab, var(--color-rose-300) 30%, transparent)}}.border-rose-300\/35{border-color:#ffa2ae59}@supports (color:color-mix(in lab, red, red)){.border-rose-300\/35{border-color:color-mix(in oklab, var(--color-rose-300) 35%, transparent)}}.border-rose-400\/30{border-color:#ff667f4d}@supports (color:color-mix(in lab, red, red)){.border-rose-400\/30{border-color:color-mix(in oklab, var(--color-rose-400) 30%, transparent)}}.border-slate-600\/55{border-color:#45556c8c}@supports (color:color-mix(in lab, red, red)){.border-slate-600\/55{border-color:color-mix(in oklab, var(--color-slate-600) 55%, transparent)}}.border-slate-600\/70{border-color:#45556cb3}@supports (color:color-mix(in lab, red, red)){.border-slate-600\/70{border-color:color-mix(in oklab, var(--color-slate-600) 70%, transparent)}}.border-slate-700{border-color:var(--color-slate-700)}.border-slate-700\/60{border-color:#31415899}@supports (color:color-mix(in lab, red, red)){.border-slate-700\/60{border-color:color-mix(in oklab, var(--color-slate-700) 60%, transparent)}}.border-slate-700\/70{border-color:#314158b3}@supports (color:color-mix(in lab, red, red)){.border-slate-700\/70{border-color:color-mix(in oklab, var(--color-slate-700) 70%, transparent)}}.border-slate-700\/80{border-color:#314158cc}@supports (color:color-mix(in lab, red, red)){.border-slate-700\/80{border-color:color-mix(in oklab, var(--color-slate-700) 80%, transparent)}}.border-slate-800{border-color:var(--color-slate-800)}.border-slate-800\/70{border-color:#1d293db3}@supports (color:color-mix(in lab, red, red)){.border-slate-800\/70{border-color:color-mix(in oklab, var(--color-slate-800) 70%, transparent)}}.bg-\[color\:color-mix\\\\\(in_srgb\,var\\\\\(--status-attention\\\\\)_12\%\,transparent\\\\\)\]{background-color:color-mix\\(in srgb,var\\(--status-attention\\) 12%,transparent\\)}.bg-\[color\:color-mix\\\\\(in_srgb\,var\\\\\(--status-proved\\\\\)_12\%\,transparent\\\\\)\]{background-color:color-mix\\(in srgb,var\\(--status-proved\\) 12%,transparent\\)}.bg-\[color\:var\(--panel-bg-soft\)\]{background-color:var(--panel-bg-soft)}.bg-amber-300{background-color:var(--color-amber-300)}.bg-amber-300\/10{background-color:#ffd2361a}@supports (color:color-mix(in lab, red, red)){.bg-amber-300\/10{background-color:color-mix(in oklab, var(--color-amber-300) 10%, transparent)}}.bg-amber-400\/8{background-color:#fcbb0014}@supports (color:color-mix(in lab, red, red)){.bg-amber-400\/8{background-color:color-mix(in oklab, var(--color-amber-400) 8%, transparent)}}.bg-amber-400\/12{background-color:#fcbb001f}@supports (color:color-mix(in lab, red, red)){.bg-amber-400\/12{background-color:color-mix(in oklab, var(--color-amber-400) 12%, transparent)}}.bg-cyan-300\/10{background-color:#53eafd1a}@supports (color:color-mix(in lab, red, red)){.bg-cyan-300\/10{background-color:color-mix(in oklab, var(--color-cyan-300) 10%, transparent)}}.bg-cyan-300\/15{background-color:#53eafd26}@supports (color:color-mix(in lab, red, red)){.bg-cyan-300\/15{background-color:color-mix(in oklab, var(--color-cyan-300) 15%, transparent)}}.bg-cyan-400\/10{background-color:#00d2ef1a}@supports (color:color-mix(in lab, red, red)){.bg-cyan-400\/10{background-color:color-mix(in oklab, var(--color-cyan-400) 10%, transparent)}}.bg-emerald-300{background-color:var(--color-emerald-300)}.bg-emerald-400\/8{background-color:#00d29414}@supports (color:color-mix(in lab, red, red)){.bg-emerald-400\/8{background-color:color-mix(in oklab, var(--color-emerald-400) 8%, transparent)}}.bg-emerald-400\/12{background-color:#00d2941f}@supports (color:color-mix(in lab, red, red)){.bg-emerald-400\/12{background-color:color-mix(in oklab, var(--color-emerald-400) 12%, transparent)}}.bg-rose-400\/8{background-color:#ff667f14}@supports (color:color-mix(in lab, red, red)){.bg-rose-400\/8{background-color:color-mix(in oklab, var(--color-rose-400) 8%, transparent)}}.bg-rose-400\/10{background-color:#ff667f1a}@supports (color:color-mix(in lab, red, red)){.bg-rose-400\/10{background-color:color-mix(in oklab, var(--color-rose-400) 10%, transparent)}}.bg-rose-400\/12{background-color:#ff667f1f}@supports (color:color-mix(in lab, red, red)){.bg-rose-400\/12{background-color:color-mix(in oklab, var(--color-rose-400) 12%, transparent)}}.bg-rose-500\/10{background-color:#ff23571a}@supports (color:color-mix(in lab, red, red)){.bg-rose-500\/10{background-color:color-mix(in oklab, var(--color-rose-500) 10%, transparent)}}.bg-slate-800{background-color:var(--color-slate-800)}.bg-slate-900{background-color:var(--color-slate-900)}.bg-slate-900\/35{background-color:#0f172b59}@supports (color:color-mix(in lab, red, red)){.bg-slate-900\/35{background-color:color-mix(in oklab, var(--color-slate-900) 35%, transparent)}}.bg-slate-900\/38{background-color:#0f172b61}@supports (color:color-mix(in lab, red, red)){.bg-slate-900\/38{background-color:color-mix(in oklab, var(--color-slate-900) 38%, transparent)}}.bg-slate-900\/40{background-color:#0f172b66}@supports (color:color-mix(in lab, red, red)){.bg-slate-900\/40{background-color:color-mix(in oklab, var(--color-slate-900) 40%, transparent)}}.bg-slate-900\/45{background-color:#0f172b73}@supports (color:color-mix(in lab, red, red)){.bg-slate-900\/45{background-color:color-mix(in oklab, var(--color-slate-900) 45%, transparent)}}.bg-slate-900\/60{background-color:#0f172b99}@supports (color:color-mix(in lab, red, red)){.bg-slate-900\/60{background-color:color-mix(in oklab, var(--color-slate-900) 60%, transparent)}}.bg-slate-950{background-color:var(--color-slate-950)}.bg-slate-950\/35{background-color:#02061859}@supports (color:color-mix(in lab, red, red)){.bg-slate-950\/35{background-color:color-mix(in oklab, var(--color-slate-950) 35%, transparent)}}.bg-slate-950\/45{background-color:#02061873}@supports (color:color-mix(in lab, red, red)){.bg-slate-950\/45{background-color:color-mix(in oklab, var(--color-slate-950) 45%, transparent)}}.bg-slate-950\/55{background-color:#0206188c}@supports (color:color-mix(in lab, red, red)){.bg-slate-950\/55{background-color:color-mix(in oklab, var(--color-slate-950) 55%, transparent)}}.bg-slate-950\/70{background-color:#020618b3}@supports (color:color-mix(in lab, red, red)){.bg-slate-950\/70{background-color:color-mix(in oklab, var(--color-slate-950) 70%, transparent)}}.object-cover{object-fit:cover}.p-2{padding:calc(var(--spacing) * 2)}.p-3{padding:calc(var(--spacing) * 3)}.p-4{padding:calc(var(--spacing) * 4)}.p-5{padding:calc(var(--spacing) * 5)}.px-2{padding-inline:calc(var(--spacing) * 2)}.px-3{padding-inline:calc(var(--spacing) * 3)}.px-4{padding-inline:calc(var(--spacing) * 4)}.py-0\.5{padding-block:calc(var(--spacing) * .5)}.py-1{padding-block:calc(var(--spacing) * 1)}.py-2{padding-block:calc(var(--spacing) * 2)}.pr-1{padding-right:calc(var(--spacing) * 1)}.text-2xl{font-size:var(--text-2xl);line-height:var(--tw-leading,var(--text-2xl--line-height))}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xl{font-size:var(--text-xl);line-height:var(--tw-leading,var(--text-xl--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.text-\[10px\]{font-size:10px}.text-\[11px\]{font-size:11px}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-\[0\.2em\]{--tw-tracking:.2em;letter-spacing:.2em}.tracking-\[0\.14em\]{--tw-tracking:.14em;letter-spacing:.14em}.tracking-\[0\.16em\]{--tw-tracking:.16em;letter-spacing:.16em}.tracking-\[0\.18em\]{--tw-tracking:.18em;letter-spacing:.18em}.tracking-\[0\.22em\]{--tw-tracking:.22em;letter-spacing:.22em}.text-\[color\:var\(--accent-strong\)\]{color:var(--accent-strong)}.text-\[color\:var\(--text-muted\)\]{color:var(--text-muted)}.text-\[color\:var\(--text-primary\)\]{color:var(--text-primary)}.text-\[color\:var\(--text-secondary\)\]{color:var(--text-secondary)}.text-\[color\:var\\\\\(--status-attention\\\\\)\]{color:var\\(--status-attention\\)}.text-\[color\:var\\\\\(--status-proved\\\\\)\]{color:var\\(--status-proved\\)}.text-\[color\:var\\\\\(--text-muted\\\\\)\]{color:var\\(--text-muted\\)}.text-amber-100{color:var(--color-amber-100)}.text-amber-200{color:var(--color-amber-200)}.text-cyan-100{color:var(--color-cyan-100)}.text-emerald-100{color:var(--color-emerald-100)}.text-emerald-200{color:var(--color-emerald-200)}.text-rose-100{color:var(--color-rose-100)}.text-slate-100{color:var(--color-slate-100)}.text-slate-200{color:var(--color-slate-200)}.text-slate-300{color:var(--color-slate-300)}.text-slate-400{color:var(--color-slate-400)}.text-slate-500{color:var(--color-slate-500)}.text-white{color:var(--color-white)}.uppercase{text-transform:uppercase}.italic{font-style:italic}.italic\!{font-style:italic!important}.overline{text-decoration-line:overline}.underline{text-decoration-line:underline}.accent-cyan-300{accent-color:var(--color-cyan-300)}.shadow-2xl{--tw-shadow:0 25px 50px -12px var(--tw-shadow-color,#00000040);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}.shadow-lg{--tw-shadow:0 10px 15px -3px var(--tw-shadow-color,#0000001a), 0 4px 6px -4px 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,.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-2{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(2px + 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)}.shadow-slate-950{--tw-shadow-color:oklch(12.9% .042 264.695)}@supports (color:color-mix(in lab, red, red)){.shadow-slate-950{--tw-shadow-color:color-mix(in oklab, var(--color-slate-950) var(--tw-shadow-alpha), transparent)}}.shadow-slate-950\/20{--tw-shadow-color:#02061833}@supports (color:color-mix(in lab, red, red)){.shadow-slate-950\/20{--tw-shadow-color:color-mix(in oklab, color-mix(in oklab, var(--color-slate-950) 20%, transparent) var(--tw-shadow-alpha), transparent)}}.ring-amber-300{--tw-ring-color:var(--color-amber-300)}.ring-cyan-300\/30{--tw-ring-color:#53eafd4d}@supports (color:color-mix(in lab, red, red)){.ring-cyan-300\/30{--tw-ring-color:color-mix(in oklab, var(--color-cyan-300) 30%, transparent)}}.ring-cyan-300\/55{--tw-ring-color:#53eafd8c}@supports (color:color-mix(in lab, red, red)){.ring-cyan-300\/55{--tw-ring-color:color-mix(in oklab, var(--color-cyan-300) 55%, transparent)}}.ring-emerald-300{--tw-ring-color:var(--color-emerald-300)}.blur{--tw-blur:blur(8px);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.filter{filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.backdrop-blur-\[2px\]{--tw-backdrop-blur:blur(2px);-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}.backdrop-blur-sm{--tw-backdrop-blur:blur(var(--blur-sm));-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.outline-none{--tw-outline-style:none;outline-style:none}.placeholder\:text-slate-500::placeholder{color:var(--color-slate-500)}@media (hover:hover){.hover\:border-cyan-300\/45:hover{border-color:#53eafd73}@supports (color:color-mix(in lab, red, red)){.hover\:border-cyan-300\/45:hover{border-color:color-mix(in oklab, var(--color-cyan-300) 45%, transparent)}}.hover\:bg-cyan-300\/25:hover{background-color:#53eafd40}@supports (color:color-mix(in lab, red, red)){.hover\:bg-cyan-300\/25:hover{background-color:color-mix(in oklab, var(--color-cyan-300) 25%, transparent)}}.hover\:bg-emerald-400\/20:hover{background-color:#00d29433}@supports (color:color-mix(in lab, red, red)){.hover\:bg-emerald-400\/20:hover{background-color:color-mix(in oklab, var(--color-emerald-400) 20%, transparent)}}.hover\:bg-slate-800:hover{background-color:var(--color-slate-800)}}.focus\:border-cyan-300\/70:focus{border-color:#53eafdb3}@supports (color:color-mix(in lab, red, red)){.focus\:border-cyan-300\/70:focus{border-color:color-mix(in oklab, var(--color-cyan-300) 70%, transparent)}}.focus\:ring-2:focus{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(2px + 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\:ring-cyan-300\/15:focus{--tw-ring-color:#53eafd26}@supports (color:color-mix(in lab, red, red)){.focus\:ring-cyan-300\/15:focus{--tw-ring-color:color-mix(in oklab, var(--color-cyan-300) 15%, transparent)}}.disabled\:cursor-not-allowed:disabled{cursor:not-allowed}.disabled\:opacity-40:disabled{opacity:.4}@media (width>=40rem){.sm\:grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.sm\:grid-cols-\[1fr_auto\]{grid-template-columns:1fr auto}.sm\:grid-cols-\[1fr_auto_auto\]{grid-template-columns:1fr auto auto}}@media (width>=48rem){.md\:grid-cols-\[0\.9fr_1\.1fr\]{grid-template-columns:.9fr 1.1fr}}}.react-flow{--xy-edge-stroke-default:#b1b1b7;--xy-edge-stroke-width-default:1;--xy-edge-stroke-selected-default:#555;--xy-connectionline-stroke-default:#b1b1b7;--xy-connectionline-stroke-width-default:1;--xy-attribution-background-color-default:#ffffff80;--xy-minimap-background-color-default:#fff;--xy-minimap-mask-background-color-default:#f0f0f099;--xy-minimap-mask-stroke-color-default:transparent;--xy-minimap-mask-stroke-width-default:1;--xy-minimap-node-background-color-default:#e2e2e2;--xy-minimap-node-stroke-color-default:transparent;--xy-minimap-node-stroke-width-default:2;--xy-background-color-default:transparent;--xy-background-pattern-dots-color-default:#91919a;--xy-background-pattern-lines-color-default:#eee;--xy-background-pattern-cross-color-default:#e2e2e2;background-color:var(--xy-background-color,var(--xy-background-color-default));--xy-node-color-default:inherit;--xy-node-border-default:1px solid #1a192b;--xy-node-background-color-default:#fff;--xy-node-group-background-color-default:#f0f0f040;--xy-node-boxshadow-hover-default:0 1px 4px 1px #00000014;--xy-node-boxshadow-selected-default:0 0 0 .5px #1a192b;--xy-node-border-radius-default:3px;--xy-handle-background-color-default:#1a192b;--xy-handle-border-color-default:#fff;--xy-selection-background-color-default:#0059dc14;--xy-selection-border-default:1px dotted #0059dccc;--xy-controls-button-background-color-default:#fefefe;--xy-controls-button-background-color-hover-default:#f4f4f4;--xy-controls-button-color-default:inherit;--xy-controls-button-color-hover-default:inherit;--xy-controls-button-border-color-default:#eee;--xy-controls-box-shadow-default:0 0 2px 1px #00000014;--xy-edge-label-background-color-default:#fff;--xy-edge-label-color-default:inherit;--xy-resize-background-color-default:#3367d9;direction:ltr}.react-flow.dark{--xy-edge-stroke-default:#3e3e3e;--xy-edge-stroke-width-default:1;--xy-edge-stroke-selected-default:#727272;--xy-connectionline-stroke-default:#b1b1b7;--xy-connectionline-stroke-width-default:1;--xy-attribution-background-color-default:#96969640;--xy-minimap-background-color-default:#141414;--xy-minimap-mask-background-color-default:#3c3c3c99;--xy-minimap-mask-stroke-color-default:transparent;--xy-minimap-mask-stroke-width-default:1;--xy-minimap-node-background-color-default:#2b2b2b;--xy-minimap-node-stroke-color-default:transparent;--xy-minimap-node-stroke-width-default:2;--xy-background-color-default:#141414;--xy-background-pattern-dots-color-default:#777;--xy-background-pattern-lines-color-default:#777;--xy-background-pattern-cross-color-default:#777;--xy-node-color-default:#f8f8f8;--xy-node-border-default:1px solid #3c3c3c;--xy-node-background-color-default:#1e1e1e;--xy-node-group-background-color-default:#f0f0f040;--xy-node-boxshadow-hover-default:0 1px 4px 1px #ffffff14;--xy-node-boxshadow-selected-default:0 0 0 .5px #999;--xy-handle-background-color-default:#bebebe;--xy-handle-border-color-default:#1e1e1e;--xy-selection-background-color-default:#c8c8dc14;--xy-selection-border-default:1px dotted #c8c8dccc;--xy-controls-button-background-color-default:#2b2b2b;--xy-controls-button-background-color-hover-default:#3e3e3e;--xy-controls-button-color-default:#f8f8f8;--xy-controls-button-color-hover-default:#fff;--xy-controls-button-border-color-default:#5b5b5b;--xy-controls-box-shadow-default:0 0 2px 1px #00000014;--xy-edge-label-background-color-default:#141414;--xy-edge-label-color-default:#f8f8f8}.react-flow__background{background-color:var(--xy-background-color-props,var(--xy-background-color,var(--xy-background-color-default)));pointer-events:none;z-index:-1}.react-flow__container{width:100%;height:100%;position:absolute;top:0;left:0}.react-flow__pane{z-index:1}.react-flow__pane.draggable{cursor:grab}.react-flow__pane.dragging{cursor:grabbing}.react-flow__pane.selection{cursor:pointer}.react-flow__viewport{transform-origin:0 0;z-index:2;pointer-events:none}.react-flow__renderer{z-index:4}.react-flow__selection{z-index:6}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible{outline:none}.react-flow__edge-path{stroke:var(--xy-edge-stroke,var(--xy-edge-stroke-default));stroke-width:var(--xy-edge-stroke-width,var(--xy-edge-stroke-width-default));fill:none}.react-flow__connection-path{stroke:var(--xy-connectionline-stroke,var(--xy-connectionline-stroke-default));stroke-width:var(--xy-connectionline-stroke-width,var(--xy-connectionline-stroke-width-default));fill:none}.react-flow .react-flow__edges{position:absolute}.react-flow .react-flow__edges svg{pointer-events:none;position:absolute;overflow:visible}.react-flow__edge{pointer-events:visibleStroke}.react-flow__edge.selectable{cursor:pointer}.react-flow__edge.animated path{stroke-dasharray:5;animation:.5s linear infinite dashdraw}.react-flow__edge.animated path.react-flow__edge-interaction{stroke-dasharray:none;animation:none}.react-flow__edge.inactive{pointer-events:none}.react-flow__edge.selected,.react-flow__edge:focus,.react-flow__edge:focus-visible{outline:none}.react-flow__edge.selected .react-flow__edge-path,.react-flow__edge.selectable:focus .react-flow__edge-path,.react-flow__edge.selectable:focus-visible .react-flow__edge-path{stroke:var(--xy-edge-stroke-selected,var(--xy-edge-stroke-selected-default))}.react-flow__edge-textwrapper{pointer-events:all}.react-flow__edge .react-flow__edge-text{pointer-events:none;-webkit-user-select:none;user-select:none}.react-flow__arrowhead polyline{stroke:var(--xy-edge-stroke,var(--xy-edge-stroke-default))}.react-flow__arrowhead polyline.arrowclosed{fill:var(--xy-edge-stroke,var(--xy-edge-stroke-default))}.react-flow__connection{pointer-events:none}.react-flow__connection .animated{stroke-dasharray:5;animation:.5s linear infinite dashdraw}svg.react-flow__connectionline{z-index:1001;position:absolute;overflow:visible}.react-flow__nodes{pointer-events:none;transform-origin:0 0}.react-flow__node{-webkit-user-select:none;user-select:none;pointer-events:all;transform-origin:0 0;box-sizing:border-box;cursor:default;position:absolute}.react-flow__node.selectable{cursor:pointer}.react-flow__node.draggable{cursor:grab;pointer-events:all}.react-flow__node.draggable.dragging{cursor:grabbing}.react-flow__nodesselection{z-index:3;transform-origin:0 0;pointer-events:none}.react-flow__nodesselection-rect{pointer-events:all;cursor:grab;position:absolute}.react-flow__handle{pointer-events:none;background-color:var(--xy-handle-background-color,var(--xy-handle-background-color-default));border:1px solid var(--xy-handle-border-color,var(--xy-handle-border-color-default));border-radius:100%;width:6px;min-width:5px;height:6px;min-height:5px;position:absolute}.react-flow__handle.connectingfrom{pointer-events:all}.react-flow__handle.connectionindicator{pointer-events:all;cursor:crosshair}.react-flow__handle-bottom{top:auto;bottom:0;left:50%;transform:translate(-50%,50%)}.react-flow__handle-top{top:0;left:50%;transform:translate(-50%,-50%)}.react-flow__handle-left{top:50%;left:0;transform:translate(-50%,-50%)}.react-flow__handle-right{top:50%;right:0;transform:translate(50%,-50%)}.react-flow__edgeupdater{cursor:move;pointer-events:all}.react-flow__pane.selection .react-flow__panel{pointer-events:none}.react-flow__panel{z-index:5;margin:15px;position:absolute}.react-flow__panel.top{top:0}.react-flow__panel.bottom{bottom:0}.react-flow__panel.top.center,.react-flow__panel.bottom.center{left:50%;transform:translate(-15px)translate(-50%)}.react-flow__panel.left{left:0}.react-flow__panel.right{right:0}.react-flow__panel.left.center,.react-flow__panel.right.center{top:50%;transform:translateY(-15px)translateY(-50%)}.react-flow__attribution{background:var(--xy-attribution-background-color,var(--xy-attribution-background-color-default));margin:0;padding:2px 3px;font-size:10px}.react-flow__attribution a{color:#999;text-decoration:none}@keyframes dashdraw{0%{stroke-dashoffset:10px}}.react-flow__edgelabel-renderer{pointer-events:none;-webkit-user-select:none;user-select:none;width:100%;height:100%;position:absolute;top:0;left:0}.react-flow__viewport-portal{-webkit-user-select:none;user-select:none;width:100%;height:100%;position:absolute;top:0;left:0}.react-flow__minimap{background:var(--xy-minimap-background-color-props,var(--xy-minimap-background-color,var(--xy-minimap-background-color-default)))}.react-flow__minimap-svg{display:block}.react-flow__minimap-mask{fill:var(--xy-minimap-mask-background-color-props,var(--xy-minimap-mask-background-color,var(--xy-minimap-mask-background-color-default)));stroke:var(--xy-minimap-mask-stroke-color-props,var(--xy-minimap-mask-stroke-color,var(--xy-minimap-mask-stroke-color-default)));stroke-width:var(--xy-minimap-mask-stroke-width-props,var(--xy-minimap-mask-stroke-width,var(--xy-minimap-mask-stroke-width-default)))}.react-flow__minimap-node{fill:var(--xy-minimap-node-background-color-props,var(--xy-minimap-node-background-color,var(--xy-minimap-node-background-color-default)));stroke:var(--xy-minimap-node-stroke-color-props,var(--xy-minimap-node-stroke-color,var(--xy-minimap-node-stroke-color-default)));stroke-width:var(--xy-minimap-node-stroke-width-props,var(--xy-minimap-node-stroke-width,var(--xy-minimap-node-stroke-width-default)))}.react-flow__background-pattern.dots{fill:var(--xy-background-pattern-color-props,var(--xy-background-pattern-color,var(--xy-background-pattern-dots-color-default)))}.react-flow__background-pattern.lines{stroke:var(--xy-background-pattern-color-props,var(--xy-background-pattern-color,var(--xy-background-pattern-lines-color-default)))}.react-flow__background-pattern.cross{stroke:var(--xy-background-pattern-color-props,var(--xy-background-pattern-color,var(--xy-background-pattern-cross-color-default)))}.react-flow__controls{box-shadow:var(--xy-controls-box-shadow,var(--xy-controls-box-shadow-default));flex-direction:column;display:flex}.react-flow__controls.horizontal{flex-direction:row}.react-flow__controls-button{background:var(--xy-controls-button-background-color,var(--xy-controls-button-background-color-default));border:none;border-bottom:1px solid var(--xy-controls-button-border-color-props,var(--xy-controls-button-border-color,var(--xy-controls-button-border-color-default)));width:26px;height:26px;color:var(--xy-controls-button-color-props,var(--xy-controls-button-color,var(--xy-controls-button-color-default)));cursor:pointer;-webkit-user-select:none;user-select:none;justify-content:center;align-items:center;padding:4px;display:flex}.react-flow__controls-button svg{fill:currentColor;width:100%;max-width:12px;max-height:12px}.react-flow__edge.updating .react-flow__edge-path{stroke:#777}.react-flow__edge-text{font-size:10px}.react-flow__node.selectable:focus,.react-flow__node.selectable:focus-visible{outline:none}.react-flow__node-input,.react-flow__node-default,.react-flow__node-output,.react-flow__node-group{border-radius:var(--xy-node-border-radius,var(--xy-node-border-radius-default));width:150px;color:var(--xy-node-color,var(--xy-node-color-default));text-align:center;border:var(--xy-node-border,var(--xy-node-border-default));background-color:var(--xy-node-background-color,var(--xy-node-background-color-default));padding:10px;font-size:12px}.react-flow__node-input.selectable:hover,.react-flow__node-default.selectable:hover,.react-flow__node-output.selectable:hover,.react-flow__node-group.selectable:hover{box-shadow:var(--xy-node-boxshadow-hover,var(--xy-node-boxshadow-hover-default))}.react-flow__node-input.selectable.selected,.react-flow__node-input.selectable:focus,.react-flow__node-input.selectable:focus-visible,.react-flow__node-default.selectable.selected,.react-flow__node-default.selectable:focus,.react-flow__node-default.selectable:focus-visible,.react-flow__node-output.selectable.selected,.react-flow__node-output.selectable:focus,.react-flow__node-output.selectable:focus-visible,.react-flow__node-group.selectable.selected,.react-flow__node-group.selectable:focus,.react-flow__node-group.selectable:focus-visible{box-shadow:var(--xy-node-boxshadow-selected,var(--xy-node-boxshadow-selected-default))}.react-flow__node-group{background-color:var(--xy-node-group-background-color,var(--xy-node-group-background-color-default))}.react-flow__nodesselection-rect,.react-flow__selection{background:var(--xy-selection-background-color,var(--xy-selection-background-color-default));border:var(--xy-selection-border,var(--xy-selection-border-default))}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible,.react-flow__selection:focus,.react-flow__selection:focus-visible{outline:none}.react-flow__controls-button:hover{background:var(--xy-controls-button-background-color-hover-props,var(--xy-controls-button-background-color-hover,var(--xy-controls-button-background-color-hover-default)));color:var(--xy-controls-button-color-hover-props,var(--xy-controls-button-color-hover,var(--xy-controls-button-color-hover-default)))}.react-flow__controls-button:disabled{pointer-events:none}.react-flow__controls-button:disabled svg{fill-opacity:.4}.react-flow__controls-button:last-child{border-bottom:none}.react-flow__controls.horizontal .react-flow__controls-button{border-bottom:none;border-right:1px solid var(--xy-controls-button-border-color-props,var(--xy-controls-button-border-color,var(--xy-controls-button-border-color-default)))}.react-flow__controls.horizontal .react-flow__controls-button:last-child{border-right:none}.react-flow__resize-control{position:absolute}.react-flow__resize-control.left,.react-flow__resize-control.right{cursor:ew-resize}.react-flow__resize-control.top,.react-flow__resize-control.bottom{cursor:ns-resize}.react-flow__resize-control.top.left,.react-flow__resize-control.bottom.right{cursor:nwse-resize}.react-flow__resize-control.bottom.left,.react-flow__resize-control.top.right{cursor:nesw-resize}.react-flow__resize-control.handle{background-color:var(--xy-resize-background-color,var(--xy-resize-background-color-default));border:1px solid #fff;border-radius:1px;width:5px;height:5px;translate:-50% -50%}.react-flow__resize-control.handle.left{top:50%;left:0}.react-flow__resize-control.handle.right{top:50%;left:100%}.react-flow__resize-control.handle.top{top:0;left:50%}.react-flow__resize-control.handle.bottom{top:100%;left:50%}.react-flow__resize-control.handle.top.left,.react-flow__resize-control.handle.bottom.left{left:0}.react-flow__resize-control.handle.top.right,.react-flow__resize-control.handle.bottom.right{left:100%}.react-flow__resize-control.line{border-color:var(--xy-resize-background-color,var(--xy-resize-background-color-default));border-style:solid;border-width:0}.react-flow__resize-control.line.left,.react-flow__resize-control.line.right{width:1px;height:100%;top:0;transform:translate(-50%)}.react-flow__resize-control.line.left{border-left-width:1px;left:0}.react-flow__resize-control.line.right{border-right-width:1px;left:100%}.react-flow__resize-control.line.top,.react-flow__resize-control.line.bottom{width:100%;height:1px;left:0;transform:translateY(-50%)}.react-flow__resize-control.line.top{border-top-width:1px;top:0}.react-flow__resize-control.line.bottom{border-bottom-width:1px;top:100%}.react-flow__edge-textbg{fill:var(--xy-edge-label-background-color,var(--xy-edge-label-background-color-default))}.react-flow__edge-text{fill:var(--xy-edge-label-color,var(--xy-edge-label-color-default))}@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{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.17.0"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.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;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.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{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.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;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.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:.833333em}.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.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.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.66667em}.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.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.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.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.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:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.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.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.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.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.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:.416667em}.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:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.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:.833333em}.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.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.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:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.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.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.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.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.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.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.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{width:.12em;display:inline-block}.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{min-width:1px;display:inline-block}.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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.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{box-sizing:border-box;border:.04em solid}.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{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;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{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.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{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAAg0ABAAAAAADiAAAAfXAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwwcNAZgP1NUQVRIAGwRCAqMUIocCxoAATYCJAMwBCAFhHwHgQIMBxu8C1GUctKwSH4kZGcyF5VKE2tDozBfPs7Hwz+Hv/veX4P+b9G0RLNs6Ry+AAMJA+14x6N8TKL3E27675JA4YJZU0ihBlWZWZU5NlFKTZCJwuaw7xWbivLFnXi/b79Wd88cPKqHdo+QCJ1S/gy6DGaDSoIkZvVKI3QRS5AsVVK4UAPP0t0gUNdAgkjXfBq/niOAIQCp+OMAgoA+Cy9qvdhsgcFH890NkHPmdtVD0vUsbxMwKEBFICR6E94gEF+53FUXYF1A4PkUPh7CBsAQAih/zIYC7lXiiHINq9/trX+iry8ib/qaAmfgkRw8fEXywqmAEUDgtlK4U7JoFA4rCFGd3zaVzVD95UmCcBslLunxgAm/fpIDNARnZAnfBA6KqaM+Bp6iueiiwQhXHaBQ9a1QX9il/1TD7QjJkaNn9YyRWQ3LnSsvzHHoVeCAfCAcADb4/rELOZEG1+zZgF/Y2i5zwCX6po/4u2T+ptTotB7QEwDxnq8BWERAEB4CmBzF6oSb6hovAvDPUQfiADKJWrgAIriSAk1CQoReBcgXxBIGTfwEFXHQNO7ici69YTZRTqqe8kUiQIuYTdVR7hn1H7kSmQ0QJX/vwgRAE08UGgcfF4agihADDAHmgAWQawD5CACabHoikBCKbtkUUIkJVIZEImJSVBoNJ00oEmqM9DJuoyhKPC+4BwUO0qH94N9VxxVGTcUocPTq1XAa8wQHT4G/u/utlhpQIOwb8vw5+J9dun4k0H0UOns0dwo97fB5GgQR2rkTBXoYGzMZOzSWti7wb6ftglhaKPB+zlZE4uC1XYe02E4HNpzBSAjBU30g3MEbtuy5gTHsvEmHGn+qLXTz7lEUuPICB7cpiO3HZwVfvECBcOvg6QjbAi+w4Rn41X578M6ZM3LgiE4lsMq9nzXcPn376aC7Rp1q17NZePqGA12dsG0b+NMnWWm7PRy+ehaqj++eUMWOHY+va9v3LEuMUWjnRoQS0GQkBgckgH/zbnomRqGTe8MjDl69GB6lw8Fjuw6lte07tK8Rdxw4ckD1uPueExjH3nx+/3L65ee7j9NzrHYkEGIU2jtZOgUNKLDjtWEbQlAJdKo6cgbkyZLLsehiBBiWAO3brUFESDIm9DCMAsVWQEiwTcHSnWcrTp+GBDuNWtx2Knxyz54dks4E/m6lNZuOVw99hcfOXYcsQhC9GTGyISFYANu6t5+wc+feg5kHL96lk4PbFG3FgKlrX1dXvHVPzwFmz4EOVccOnBq6fT59//7d2xOrrHT+nzRhV9mZMpkzWvcgWvOxlnmq1nyAP5vw8YT3c02McYqcqxyZMWBOVtoGteS1LXL1Nllu8aBpZnP2RDZ3WF6avuyHv2kDPH/CaqW/z3v6W/K37LjVJlbIin+ZIaUb2lOczlYD6TU4szwDqkTKf+Mj51Rf/Al7JGzqxFW57bkmzW3Zglhq//uJuwMZrJ7NeK07MYncb7D9/E55mvdeq0e7xDu7YtJq58tG9u2BX6ZnfzteW6j4cZNCj6CBnvnSeHNnbY256xVLpfOlCeXtripz3yv26ckuTxtsdhT5Z40aWt2ypdOauXRm8SvfsAlf/6qNfj6dPnqrzGTUxf9NMmpDZsbR7eVGqKdMn2ofn8iOYQWs8JcmuYI3z5RQSRkqBx1gzEZX/V/x6thUqeacUrxoAM3/t4StaIKcX1njf3Vpp7J0b2t1ydEP9Fr9hvxRPye/pjvEstX/JxeLJPJfyqX+TyXslIdfLCxYesr8PnGYmHpqaUHDHw8qWMm1V8ulpFwiSi7+v5qtHHLkp30/kTNh9HvajHqTRW9st26M4WzasZxtkAsMEOM3aL46zumOeWnCG8as/egyM8zCrjUNrqqYE88emG/KL04bwL5+4Uc//M+vnOf3jClsdg0c6Zqz2De2qKVyQEfSitjpdmdZ5eBhwxqgDtUVz6jbqmn3aaS9X6sE3+1mNNtWqERnGJ7guy7gcbLa5l0c063SPdXp6kXYp7S+H8P9R2vT2lKrBhkTM9SqLqm4X7QAy/aph8Lhm1pmzWJ2qUKz47b6hKrzjka2lF28hjHFdMe0fLryhzrDgOsFGdFv3Bu50SA+nviu20B0E8veTTwuNmwcee+NaFHhtYq4ug/aP2252xYAtZWav5UCAAHkUilv7L2bM8QDf+MR5JeAz7oxBYCv1/FdkYidDJBSAG0EQIAvRiXZ6hCf+QDkOn6Y0wD7BjxOzTdkhknzIzl5uX6vePmPmQ38JCAueZFfsjfyaxJgRkkL5MuGOoCEmnwAz6hAxiJMaGMJohDFkka6E0tJsSmWI86SWK4kjhiRAnGpEMCQahVqthJxLCO+DRcwsKlZo1malPHyzA1qOdm5uFqNDg/AhC08+suEzE5uh2pB9sh4cK2G/HvN3KplGquY2UQWZRws5mpm4TKPV7oJXKr5NJjFzcbF3ciTmzXRy5EhWy692bIVytZUqZ7K9ZSFfqHq5QNoOwYMaa6y2O7ViDjYYj73QuHwOUsWUbqQOVAFbOFapTEqniwsHkgex02qzkXORpqG8S05LiZ61jctf1O1Whf7zD6Sc/twU8iLYBQqbfNUddaVjHDNsY5ArvcPgUYQkBAkohAHcVEU4iE+wlG+ptqsrGFZPDivIMdUaMhzFgwz5JoK9fmaNW74KRRZeYh6CQAA)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAqoAA8AAAAADgQAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAzQAAAYxRcz+eR1NVQgAAAkAAAAAzAAAANJMNggJPUy8yAAACdAAAAEoAAABgXpJk+lNUQVQAAALAAAAAOwAAAEjnaswWY21hcAAAAvwAAABSAAAAbBG0CttnYXNwAAADUAAAAAgAAAAIAAAAEGdseWYAAANYAAAFGQAABkxzYTcWaGVhZAAACHQAAAA2AAAANhk8fMBoaGVhAAAIrAAAAB8AAAAkBVQCOWhtdHgAAAjMAAAAMAAAADAbxQBDbG9jYQAACPwAAAAaAAAAGgmiB+ptYXhwAAAJGAAAABsAAAAgACMBLm5hbWUAAAk0AAABJQAAAnw18Vy7cG9zdAAAClwAAABJAAAAgtyb+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42nWPNVZEQRREb3+XGM2RFElwJyJDEtzdncWwFbYxKe7u2vR5uEzrs6pThQIimpjDqa1vaKK8d3lmjPzBmf5Rsse65ybIxAHQGoX9Lba+xXyLFc5o/4zB/X0BJdchJMBilUiYkKxFWFbow8Un6dI33+LHH9muTvyaUbii2iUgFAfBlw9cLDzR4334MT31qUmRKlWPNlqopJhCslF4wugJZyScuYT63MQxikjfyJvAxTEdV28QmCzUa1JVeKbi4OgjE+2a3iMG8wrYez5vAAAAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhUmKcwMDKwMDUxRTBwMDgDaEZ4xiMGHUYUAATMzIvOMQzguEAgwJLKdOv/0IMv1jEGXcC9c0HyTHeZJoIpBQYmADrhgxFAAB42g3HwQ1AQBQFwHkfooAtQWNOSBw30YaCFMfcRsSi0BRWde9HD86+XZnEqBlQSR7qxSD/ZxA+z54FMQB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaRZQDmOtYAIUv2rRJ3TQo4mlSv07TNh3PrB4GzzbWts0Pa9u2bdu2bavd28G+IsZ/z/kT4AJMazGajyMAgxBgQQMAtxbRoG7WqnW7wnMxCka0CDZq1X5cq5qGTnExvr3Z0CeOIMtBzKH5/96OZjbfkiQllZDl5q/wo/czvK7xjXIhx/iSUXvVSOeCqjatrF2J7/rncyUuGh2CqKLP/rkOz/v3mYTVW3U2L/U4ihCOsqzAbdE3qmxSLcwa7OnVACJ0AD2FTgMKMACwjVqlXndYm+V5m9PaKwTNsjQP1aazHWzgV19K6ar4SvZbPptp/hxSeQ9jtUDR5VGNz3bCu8pRpwv+9u+HnRlZdoUjPolftp1fCHKBT6HY/AIABCJkcj16FxRBHwDaxE0ihh5EHsOxq6Zp1DROJ/fTBKOEDYOrT8ZlVfoRoWkn5YnwPLyq+UPepO1MRYp6Ffd7vmwJqqUcA02XRoXlWmEPsZE6aM9jjpf7q8q0eU5M9bGaHHNseCqdsPPXpXNRWY7m0tdZdsr3DHKtH166IeOTuoqdfRKEzW9gO5tK6xfCei5pMA16SIO62a5vsh2KIDl1x6JIZSVk6B7KwwsEzLQIZHtNaB8pI5scBXdcc9zo6Akb1h83PHrC6i27HYSTw1nZnlZOxQU2inhxLdSwKK0b3LpRdWNpliXZ5c6EkOD8887YdpszF84/bcutzl2SG55+OuQzXJLz0f6x3sHpcM6MxuAWc4ePhPFsLBmjPQDA1m+tv9Fb6HyQJcQGLqGpRGMCK9iO048n+Q0ynPHg4Q6ZT4OpjiT0B1Qhsm/apfcnM1bZEHQ2xYXEmI8Oc4rgRpJukdBcITaWbb6+5ZbXj27VmwinIqIU8AcyIwMAoNYPAOBD0YlgUzADAM0Yb7c2fpMg9pDVfuSQX92uYQKFuYogI0HGNke6tsbrjhH1oODUNFT5xVI9btmUFNElpjh0g2ypOS2ql0219DbKPj9NS3fqUS2nWvKNkE+JLkGV0jLlVrPNr26+tnmBHMwXrvWrjYKn3FXEsleZPqBVO2gvgpIUb76PvHRHVRuYrnhlXOwqe4oNxX9Krc6iwZ9+wgABGgCUQg+BPGhMjqStKUW1NR1/YD2emmNzNtEUTWk64Wm9PrGfIzKMvlsSVCvHM0nqMoH108yh4q1UkuZzVjlSTAwtzG69t9yTmd4jJ8LxVCoDF/D18oWHywEIk/qXZ5Xs2LUIKd2Z/pGOUC5TK+L7IAQY6K3f4AfwUxAAOqgDIOhTWk5YWSdaGtRkvxNaOqY1sWxPgLalbG3Yt7HVZlvu3bVlt9kVDiIcyiXEXEaMBGifSzcedGnp/iFNRiiUT4j5LB8MMsyhu4/t0nfQnrN37bXS5fxwMM7zlMuzrlj+bmGpUq8sDyY4jsJtC39u/YUM+AEw/7fQ5sZfcgpqS4jsykYHSaqQLp/q5xL8y5LgRYuiVFiSClUrbSQioVjUz0STIgX3VRVGkvxBhqfe7+1dvHjrkiLwcYZh+4ba7n1PJtfAN8HmYHijexQZ85R9/dipt7OpWUQ+Uo/A80Q+YUI+ZJnkO+4fFmwiILzx8UTcG6YDATfDRvxs0IvOFJW4IrAdSqJwObztjGJSTrOCnFDEMyEdZP0RlnEHAnTYG0+8eJhrvxZI0bK8F4Qo4A7rKm9KLE5CN1/O6wUfA9FTAv80grSvYOTLvBsmMSuZvKqH3QEE4V6yTMNTLrnEBf4DBe0iVwAAAAABAAAAAiFICF+zdF8PPPUAAgPoAAAAANv/xlsAAAAA3MhRmPxM/osFEQQXAAAABgACAAAAAAAAeNpjYGRgYPr1X4jhF6vdH5+/d1gFgSKogAcAp6kGkAACXQAKAOsAAADrAAACzgADAtcAEQLhADICwf/2A3H/8AIxAAkCAgAiAgj/8wKb/+8AAABTAFMAUwCMAOIBPQF7AeACLgKAArkDJgAAeNpjYGRgYOBh6ADiJQxsYB4CsDAwAgAd4wFSAHjajZFFUkUxEEUP7sxwd3eHCe7uQ1y/uy+DMUtgHayKW6kUbs/6tN3kdYBCHsggLTMPeEobtZxGZVq15XSK04otZzDPs+VMOnm0nEUjKcvZtHJsuZhRZQynaS1KLafxqpmWpXi+5WwR7OLGySkuVgjIOrjlnCMuZa+5UUyvbg9+JunT7Vfep6yHgLgXv9gh61b0WvktFllnj30pHusbVmZfehHV97AruiaojlN8HMrzGQU3LuoZlM4AQ6Iz2TG9Vod6q1T/qlX/Setr79Rrt+g/+/nk/bz2nDwPUXyvU9Le6dc9IE2R3gFTf6OO+ndKi+ZPNTnxNj55d6o4NwozBM28NUmTb/8y+2tuTUWQM3rVpbMzJxIw56Hoqxfh6nWljhcMk1rlAAAAeNpjYGIAg/+bGIwZsAEeIGZmZGJQYWRmZGFkZWRjZGfkYORk5GIvzcs0MHA0ANMmZkYQ2hxGm0DFHaG0MVQcRptCxZ0AzicVnwAAAA==)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-cyrillic-400-normal-BeBP8F9c.woff2)format("woff2"),url(/assets/stix-two-text-cyrillic-400-normal-BfV63fuA.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-greek-400-normal-DURI2LrF.woff2)format("woff2"),url(/assets/stix-two-text-greek-400-normal-B05reu_N.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-vietnamese-400-normal-D0hKSraj.woff2)format("woff2"),url(/assets/stix-two-text-vietnamese-400-normal-CWKP4bwO.woff)format("woff");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:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-latin-ext-400-normal-BsQBoqgu.woff2)format("woff2"),url(/assets/stix-two-text-latin-ext-400-normal-DJAp0_Pt.woff)format("woff");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:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-latin-400-normal-Dm29J5Fl.woff2)format("woff2"),url(/assets/stix-two-text-latin-400-normal-rLRKR-Xb.woff)format("woff");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}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAAhoABAAAAAADnQAAAgLAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwAcNAZgP1NUQVREAGwRCAqNUIp3CxoAATYCJAMwBCAFhGAHgQIMBxvrC1FUkoqR/UiMbTVspci2a4rIlolCIRoOilK+B///vx9rn/vkK6ZJtJolMYssGs1DJLE6i5BphWQz06a0P/+0zX/ad3Rqo4SRjWJ0vSdsfWyNHatKVhE8X1zs7d4SFHkUxwVBUB54IsFR1nhiBxTRPxpz9TZMLZQRmrbw99PH/FCxUAmJSmIk0eqSKiks1MCqziK4jE5StPpN//oiUII06+hiQQRyh+rpHZYj5cD72lJbDuxvtQVlwOKRU18JWPQA1X8QZ8iaLCC6X9diZslqAWSc7mVS5h1MDJ0/dkwPPMunLwEpq77ZqbqxoVTChVuDVHb50pS6cQEcEzPjU4xx6uvYSevp0al4npzJWIBEdFrkJ3K/NctH8DNK83zL6Ibg0xD9Lhnl7iIcwA2IG5Y3jM+jKuM59Q4j7PV4eiwD1hJAraI5sze1jD7s1ckANoq9dca+bAEktIVfODiFJQMVwTTYr5D80qNDu3agNwDaejlAFx0iKQPNHvSNet4U10MA/i+KAUFIPT03QVpwwCroVXf5ASgnRHOWJtNGz2laLd/zoy5+RibPl/mGKkDXO9eX+tq++edwcoG56E4qVwIvlSgEmSgnyn94ACWAdoBOwI4A20CeMis1dqFM7x89pe8305MQSESWiMFi6nuaVSSGFUZ/LoOKWsPp4pvR1ZBqA6JeB5QzpQZYw3QYUm05ckQLqS7D6E6g7O0d/TkYhVRaRH3tGlBePXjwIEBgtnrPkYAiJGN0HcLAsNU71kCqPloSKxVOZsg1PUA5ieRhpAjWfIcN/LT+YUi1GmZjGejOEU565zZErb1wBFJdh9GtFL76BNcrFcIKvBxWja3eDmPQozMbc9Dr161CrfZQBpokjJlWi61soPSKFehuYJ3mk2Z86p41ml1wfUR9xpJDm7maCGcODa2G2QgD3clR9oIUgCgUWu2RPY7iPtlTU0mvib1XfbHwCQ9XWECpbDwjn2Em7xk4/QnZMHvHjj3agDVHLmiDuOds1hz01cyAcwXcNfQkrKHNtK4pGJaeuLZvE3PTtVXbnEoTFRAmB72+GVIN99MV/f0u9B149uLVgww5nNbdDak6IzQUSIHIkf4nccJH9QwIqGvOIOrHUbT6ggGH931RoBkAyn2J97fzVl8R+5flLuzjivEExXh6B9eMp+nGE1s110EkqU2oGaRA9tYnChEHNWudVjxzUK79R1TQoCQ2liEHZtnobpZN5ypEfUTav+GA1ok5tXWt7dqDZ/PQ3ZtZQ5tXw7DNjlObuL3rEPWeNXTzmb07CxMRBR0TPxO2O4yUx+SeZzIecVhX6Iz78NP4R/H3HKxYlmlkA2qgxKNRZjtEJywfI9MnSA7BXhmRkXYJPAc/R1tB2PtfiBCsvFTBibsemvJFFM1d9l2cgWQwLV2YGD0jOI8sFOmeEG2JqBt8jSOgQtleRtMfMIsaZVOFNGedCsnD0j9KorAZUs3nxdW8Bx+x5iG4cYksINophrBx2aTBVn5stqUoWJKuqd64UWC1Npa7lm8dEPlapCti/5kNPJGM6kD7xrAU5578moU+8ek1oY4NgdmufYWVCz0CRYH53n6lgoURpSklsQF5vn4VggUhHrzsUJftr7hf1h5lM10qbbYYBVhZcL6cvsqizsr00jwNsgQP9CxJHOj6IbbX1yiLu5C+sb4xp1ovoHj+JdsgT8XBWUye/hmE/ZOEb7dBjL0MnaLWg//PMoRYWG2x3ZDaz4m0cEUEiebCocpWHO2A6Uru5gxogY9j4J2OI3UxpI0TBJPyW41X92yoysqqOodf4911Zrf/maoB9LUJkaIMJOYnDHvRg5YWEV75qD4/+qxbAN4bO/gKnnJxsR1MTps/xYg4RaTqIzYB3Dmmg/GxbSy+AVto+GCEjcI0uxtGr23DPYNCJSIzNZsk2r9Jlucq9IiI8HJ0icuQxXN8TX2l0hozW8MR/UKiaAScM3aJlFrI3TzNyvziU6ROnhFOpgonT/MS/9gUyZhZtXkMOUtqjfNXmFuuMI8nZYvNcX4LKntZa9OocMoZbw1eSmStKacgKXtiNHgeGDG014kwaoPrDX3t6Uy8Dr8DzzAKxfXphnMNblmGmvrKUuev4pk+ohDDyXg3JgYO7DDzBeGRknvDcNvJ4FVBh09jPGJf89f8zl40imfphCvPaAPoD7M+iDpDXYb8r+sIbQlL9kByKtn7ktvTG/0tNCIdNY326jjjvpNQzjoDq64uAAjYPvSk/Yzwgvf8aqTj/gO+fhrRAYDvk3GdORDFEuOIQEdkAIQfUI5u5gIsR0Tn5//zgJFlXwH7B0hOtE8O9wXTfc5cL5OtHNMPDNdTvXWf+g0nUUdplx73meG8wgtdmgz4KIsmQDoLE2DKIsCZtz/AG9IVEPSoD4j6xPrXmsCKICjVgiyK2wZqwb4CRRqUy1FLoUCJIsXqE2YEr1bHnRQLylO7QNXqGxuJOoYgiSrzN4pIxQgWKYFcmGRyTarIFWhWTyxMvRzlSuRJUqAWq71KJQF7EnYcKpFraFx8NYcMgZklMOMJZkNleZjr97jG1GauB4oAv7Nai1pi+IVJRqamiSuw51txGgqmckkLfh6ShQ3FqjVF6WJaHrrUTwPFnDy+tLIV3aVFSnxqkOu15qlS8Qlp9QZOqDuVzQoP6W5NB9WXZNfNHMDtS+DK6CtdeQVFJUqVKU/ubktkMj9ZYe/obG/oou9o4eyn72DooufEpkb476z/c796iwEAAA==)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAArwAA8AAAAADmQAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAwwAAAYBRQj/bR1NVQgAAAjQAAAAzAAAANJMNggJPUy8yAAACaAAAAEoAAABgXpJkq1NUQVQAAAK0AAAAOQAAAETnYswVY21hcAAAAvAAAABSAAAAbBG0CttnYXNwAAADRAAAAAgAAAAIAAAAEGdseWYAAANMAAAFdQAABtap7eukaGVhZAAACMQAAAA2AAAANhlvvoRoaGVhAAAI/AAAACQAAAAkBmIFtmhtdHgAAAkgAAAAMAAAADAblQCDbG9jYQAACVAAAAAaAAAAGgpwCJttYXhwAAAJbAAAABsAAAAgACIBQW5hbWUAAAmIAAABGgAAAmAy+laRcG9zdAAACqQAAABMAAAAgtyP+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42n2PJVoFURSA/zs+09GONJyCFCRRcCLu7rAYtsIycHd36uV+B3t+3AUFRHSwiNPY3NJB/cDa/CTlI/NDExRO9i1Ok48DoDUKO8a2YmxibIUzMTRv+pIloIQdQgIsNohkEuJ14QDrDOLikxb0Z4bcdkKVwpWrXQJC+SBAiQ8Yz8IT35N/JIb6u0mRLVGPHtqopZpSClF4MsGTmREWoX4hkl8i/SlyGxeHYlzjB/rAVGwSmSrTq+8xu/Spsa6+AAsmNIMAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhkmCcwMDKwMDUxRTBwMDgDaEZ4xiMGHUYUAATMzIvOMQzgqGRQYGllOnXfyGGXyzijDuB+uaD5BgvM00EUgoMTADfjwv2AAB42mNgBEIOBiYGBgYRMKnCwFSenlHCCGRmliTmMILkWYByzEABJkZWxglAag+QDRQHEmASALppBSgAAAB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaXZQDuPNKAoYHbVykbZIy6WTapHabY5+z+1tr27b1YG3b1rVt27ZttnfS08s25od3AgJAGr0a7cMqwCAC4mAKgCBRCbSdfm/Q7ehagoMqUTHt9xZwv+dQm9MSun+Y2uMr/O0w1tC+pw9FW4ZX5HJWNm2aw4fhDdeWdJvoU61aRZIzse6btrdf0SPNFvknPuKpW61UkhaMZB7d8tT/8N6nz0q7cz1vvTHrWUY0Fo8b2sb8DmulV9u6NDtHABqdAAD6BvopsAAFoEu9zmDgwW5c17s88XeYNNclPOer6xYxxT8+n886jSJ8XWWXlK9zw4e5FE1AKA2fXpciKQIpwcebMW8aPvz0De2SaQrJlKKJr3tfOBuOyjdDMrwWIDDN3noAuhp0wSoAhIzfGqd2GPHU6w48/63UI7zN8RxPeNprIEr5gTeJhcOY6essoHFulINfG94ZrLqq8PrpSiefUvPlaxHG+UYQhrhmReB4mDKtoNasfLQqGqa1+63Vn/5nJtIKFV8+S3ftiuoRM1orw4OUXK/837AcCxkx09TSceu/5V5OuQAiVHpZ4w0fhUvD2yGKFBZbqwPIWp0bPYQORb8FKqiAFdau7TisSzRpDrm+p4HncqxQJt9mTsYNw8Fm2741Y8AcmewWbwDn3/jRrvfOb+19w8f60+/+1vraO1dULoCsjVKuVa1nUmk9jq0tcCt63e7Vd6xEOYzImpNt1RtpLWco65/e8tpffmxpy6fW3vLrD89VF9+/ns1BvaTlNEVSTHP2rVNwRyr1vvctf2iNKUiVtYwm8QCCt4yeRCP0e1ACwKCYyfS6fugJXYtr3fgCnuRNmbdxO9e7cRjOZQIPB50G6zxwVn2+Xk6ZJJSPRZJxWUyQQTWIcrbLEjTtYDo4vPEjcHbjNe24npUz6ZASLu1cZNQdCwDehX4ItoCdAJBN6jzq1z2e/Jl6C9hbQKzzPmYoQF43TGSY2OBpA7uOwyZKJ1xiw+sTOLqFI0QVi5zthoVGTTZknc0HcKRc6DeS9akS7f4miJzA8CFYYxJ1KZFMuXbw3wEppARDhiRaNpfnhSz949duHP7aDFdr/w3JfH8umh//TSTm1+fzvYIkIJjLpYbXIsiLxV5+YSMvQDPi1qrx2lJIVn5iVcN6FC099BAGAIH26BF0HLwWzIJtz1Liux1schDGPE/j/o5vv8/y745jZ6lP+BhvMpom3Gxahvd1ly1OQLkgklWt3a7ZYmHvHoQIH5G/rXeESH1+S6WQwooSMHpkdvvUmwbZfqFUqLVlyFclMsiFSV76QlwTVMOZW1vQfge/IEe5DIQZ+fLsto1mLRPLNDswkdo+39vbpmS52exMtTlXrRDGPh09Ak9mnlRQBsuMnZewPx7AE8ifHbY+5PzmmKDchKhnx8Q53g63uPK6/tz2grP6uvfgiFN0ZxwRQjWmqumqm5Bl/juFKUeC7JDNjjiaJPMCjpSl1iun5z6wrzV4TX/ufXuao3S6vFrq7msFcFQQsrkgvqS9uxUIRCO5bBBzmXRxpQwABHD0GFLgDcD1uW8gdyyGha/rhtH1vGcboPbExR87WJSFQCwVUb+SFCMBxJmlQrtcNamlxSOJmCJppaKw/QufXKZJbEW3/HrbwuyW5ddPpWlCzUiStrQMGPXnsC/Gf+DlYA6sjKm3fc7DiL3F9fyABhPeXcY7r3UMpmZ8eOAZ46sc1/8Our5CArdur6fCsbSWqPRLVjVqiJlImmhirmGb7heC8J/BE4tG2gpLSV21U1hLlOpZQmOiouqa+OG3BX4Lh09fGuCccmmRZrNqKNatqrWSIqHTDf1MJIcG5WwlmQlEzFY217ZqHe3yv/wl8Ax9QS1UAAAAAAEAAAACIUieAco2Xw889QACA+gAAAAA2/kIFwAAAADcyFGV/IP+lgUSBBcAAgAGAAIAAAAAAAAAAQAAAvr/EgD6BT38g/2lBRID6ADV/84AAAAAAAAAAAAAAAwCXQAKAOEAAADhAAACqf/CAs8AOQLNADwCkABgA17/vwLgADEB5QAjAd8AAQKc/84AAABTAFMAUwCOAPABUgGOAgQCbgLOAwkDawAAeNpjYGRgYOBhmAjE6xhYwTwEYGFgBAAfgwFkAHjafZAFTgRBEEUfsi4H2Aju7hbB3T2+7jqCXIEDcA5OwNn4CY1LOjX96pdOAyEeaKGpNQA8NfUabiLWFDbcTLgJwy2s8my4lX4eDXvoxDHspZtjw1Fmib1yE4SJGm7ivWeTRyqckiGHS5kEFlfyCvLzOMh06tgsMqZjk8KiIMURj8oKlHXXsMgpfsQm+5xxzg7X+t5S0zfDHQ4j0hwSyi+Q4lKqheqVUaWdSUaZYEqU1D0nM11oN33aMZ1Enzv9rFx6rzX0/y6f+Z+pa/Lq3GO9v462ZlxnghFEsgmUr1iG9k+dNtE/4mCLj7HkFcmQQh1YwUXvLM1Ccfp/vHmOAspQXpJRUsqsSLVxpNeR+u7dkX2fNPAC4dlWvwAAeNpjYGJg+P8FiDcxGDNgAzxAzMzIxKDCyMzIwsjKyMbIzsjByMnIxV6al2lg4GgApk3MjCC0OYw2gYo7QmljqDiMNoWKOwEAwtwXkg==)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-cyrillic-400-italic-LtDj4Puq.woff2)format("woff2"),url(/assets/stix-two-text-cyrillic-400-italic-DOm7gkEm.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-greek-400-italic-BXJkY8Z_.woff2)format("woff2"),url(/assets/stix-two-text-greek-400-italic-Cpok44kl.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-vietnamese-400-italic-CHjUy4Zj.woff2)format("woff2"),url(/assets/stix-two-text-vietnamese-400-italic-f_Q_YWy8.woff)format("woff");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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-latin-ext-400-italic-DuoQFNx5.woff2)format("woff2"),url(/assets/stix-two-text-latin-ext-400-italic-DY6SROO3.woff)format("woff");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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/stix-two-text-latin-400-italic-BLib6pG4.woff2)format("woff2"),url(/assets/stix-two-text-latin-400-italic-CPbPgQcn.woff)format("woff");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}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(data:font/woff2;base64,d09GMgABAAAAAAgkABAAAAAADkgAAAfIAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhYbgwwcNAZgP1NUQVREAGwRCAqMTIoaCxoAATYCJAMwBCAFhSoHgQIMBxvkC6OiklOB4p8JtjGth4rQEouIcaJAKQoGY2TAgiLEa1wf38kaHlmUtwr+/3+/38+1j1x5FxMNEU/moVC9BRqVQSVlGN3iHz+fKdrWrvYe2fYp1X4GI9oIRkEbid8BH9XBQ//37b75QxIn2gkoXlcNPF8p00DDIpkEbFi4/8vU/9Or1i24B3aAAY9IZnb7pNP+1FL0XkQCeJpaqZjGIhJQiM3KbRkX7dcQCdfq0/j1AgQqAGDSX6wRgdIhv7DB0JwH2i56N1YDzabRVQXwY4W/FvCEAdJ/4lKwBcMkDqvGxmuU2wCULvYKOfOiJAbphx0LA8+cwmWy3PTNyfTbh3qebhjrJEy9L8gVy9iWLwa0dBMbvbgoMFRqYpnSfnF0KV97LengoNgtRYosw0+Kro9KNVIGLKtvEHiTLfWIXKorar8mJMo9nq833H1u8H43NA8ke5kmUhTJi+ZtBxuuC2HiNmzCYVeWBdg9W2OaNktW3Dq+6WBksoEDBvMufhXNL9+hj0HwDaBvTAQGhWwI5UStZTY657Lx+iGAv46qYbjnrbh16dYiwyzVoW5iRHNyHaGZaIY61Q9wdTSogwXpyKpsroKYZ8/KbFxSv3Qo2QGek58rVR/xcpmaoBCVRPVfA8B0FXQCdAPWB9iti+2+XGdsahWe3TErPzYaNt9IgUHiSVgcTriMSCJykul1ETWkSHKvwCo4eD0WXAusqIwgRhYjOHjz4cPX44xLKLADmDnzc2nw4eDrxmFXrwJXDmSfCSphcPd6ZRlWsnYvBggKLl8OB8/j5fMKkY2TN2UGsBSzEpQYkWD+msUwFAWOrNggQFZs3rxtCBJBYMcc8BGat27VMYTA8uNYsPvn5geP794MBx+6hgJLGCFTl1YErl2Dg6/3DybneuLX/CuA/GFr4NSuXSiwhRHPXH0eC57cuRMLbmfHsVacqUCl89btGuzdS5YAwgILZrVev354NxbcuhJYgwLLlqHAlDVXVOQZvHY+hAgWQjKwKRm0cCVWjmBw++rr2tWHz1/vJj9171izgTOlpF1Tg6at27SONes+uxBSBq+ePSjeeHXlVqyHxQoJM/ZWo2bLGvhw1rI3/hIIUQOw4G5D/PTtZQe9s94759CSCKZOhQET3n4P3rMAoVrCEGHTdyNUy9kCNGUHK2TLOBYAzGRa1JjWOQ9nL6JW9KzYoCIisNnaRJgPiSDPaMLMpcOWL1+9XrkaMzB5YApjyYo1Pn7NjPhZ6/rWrXIVnzYtasVr165cmuS2YP+SUM4K0y4TzcEVnuNyHgl4l9mc++hpzqOce9oUXnIRPYLZWdGqh0o2j02ZuIjOXkLTdm1TYjarc0XaDjpZrOn9r+LAg3s4H5yTXQvJvk/LXJOIy3Hi4TYUbNqw2JyeTnJYDdmTXN56DJH9Jun5+mjyc3CsDS51TNOO4IjZx0Hvmah1p+GxOgneFpfWb42XRayT9SLvTJb6Dw4eKhjS255ZGiydp+T3vLFNoZlt4qpoGyZEf7iosXJPyDTPrPKZp0/KdXsmZKZN8VSZ50y0OJSF9uD0UuUwS+dWVteUseXSoXmdB94RhZ26IqC2fEm5qH4UJww99ZhHW/lLD4Z8ZIDvfIf5YFqcCDfg1CftaJwLLmK8PVJU0XKmME3q7PcrgTtuLkf4gUOdX0aI/tVR0H0AKO/Gk/9WyjbFxJ1FKTlxF6jxrBn6Lp/EK5JO4SLbO7zjTXJTs5mhCtB4luOL/64P3GH+F3IqpHjHQMPfJde68Kg8QwajeQr5Jt7xnU3kVS9/vuZ5qAX4lKioSulMSxg3bn98+Kz5faIV7OgOIGlyvPzlifDp8evW9o9vPe+hRmC2xleLO7q7jZYKuU/F2r0Kds7WCwcAqagb0Ke/yVhb1TajoXf/utwWTb6WnWXxLziFac42dr1R7wV2eVpVFE5lWruxiMkr+KS9UQxW164MzH2TQDyDAB6RNr36YMMuZuK/RNFYIsozph8URAn5uYJsaakxRazmck/RqBJEQrTRfcG794mCUaWiHhsEC7fjL0Rz9nG1dQmZo4QZCesT2i923PGShCaubgr2wA+bu5wYi4edKoBr4SkG3v9kZxd0XiAwDGmcNjHeM46h7R8PGzAzkuv7Cv8AIGC9Lbwm5e8NufX/3Nw34LOOXQDw9cl+prfJ6nY4KoDIAAhfi2r3amGvQiDZ7CquIH+4nGt/Fv80xbeF+KkvTa80i6joJy6W0zt7VR9+S9L3hHHWyK6q98ZRFsB7MwuSzLZBydS3ZsnZcGa7N0rBsFVSNGmIVG+dWWrEoylqQhE/QVBp99udykN0eZdICfbVqVGhlomfBVbzcbByCQ+v4uZGt4ZER3WWi51y5TGxiZWnpzrW59KLv0k4v3pNWlJS+h6HRj7Z9ZOruAufaubWaUs9lDJ1Ze5UT3baXT64yOcK0BGIv6tWLA0FNa1YdmpGaqpsNcThtBqM5wiPZuG0FRqXvHtsc9FJ3b2pt8YNxKkKFRWRnDMNdgMG5tpmAOq6MNgqEESWRuqr5OLopq6D5g3GrUPT7imbXefhs4lm9js5jhWPgPwJNFtq6sU9XJtYiKzEtIkVH6+Aa8Zoc/IKisqUq1CZ3Z19KlUHFcvSGTQxxihdsqFDlDbGGKEHdVbHHfo//D3HAgA=)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAqgAA8AAAAADfwAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABYAAAAWABAADEdQT1MAAAFwAAAAzQAAAYxRcz+eR1NVQgAAAkAAAAAzAAAANJMNggJPUy8yAAACdAAAAEkAAABgX1plFVNUQVQAAALAAAAAOQAAAETlcswUY21hcAAAAvwAAABSAAAAbBG0CttnYXNwAAADUAAAAAgAAAAIAAAAEGdseWYAAANYAAAFEQAABkow+rwLaGVhZAAACGwAAAA2AAAANhmPfJxoaGVhAAAIpAAAAB8AAAAkBacCiWhtdHgAAAjEAAAAMAAAADAdEQA0bG9jYQAACPQAAAAaAAAAGgmeB+htYXhwAAAJEAAAABsAAAAgACMBLm5hbWUAAAksAAABJQAAAng031ywcG9zdAAAClQAAABJAAAAgtyb+joAAQAAAAwAAAAAAAAAAgABAAAACwABAAB42nWPNVZEQRREb3+XGM2RFElwJyJDEtzdncWwFbYxKe7u2vR5uEzrs6pThQIimpjDqa1vaKK8d3lmjPzBmf5Rsse65ybIxAHQGoX9Lba+xXyLFc5o/4zB/X0BJdchJMBilUiYkKxFWFbow8Un6dI33+LHH9muTvyaUbii2iUgFAfBlw9cLDzR4334MT31qUmRKlWPNlqopJhCslF4wugJZyScuYT63MQxikjfyJvAxTEdV28QmCzUa1JVeKbi4OgjE+2a3iMG8wrYez5vAAAAeNpjYGRgYOBiMAJCFhc3nxAGueTKohwGqfSi1GwGqZzEkjwGKQYQYAER//+DSADdjQkeAHjaY2BhsmWKYGBlYGDqAtIMDN4QmjGOwYhRhwEFMDEj84JDPCMYDjAosJQy/fovxPCLRZxxJ1DffJAc402miUBKgYEJAOHJDCkAAAB42h3EAQaAQBQFwHl/KwFCR+hQAQQqAixdPxqMiFlh/d/Ue149uPvxZBSDRSCtdjRRmUD4AKssBDYAAAB42iXHtwGCAAAEwCNnKgdwFbewxk4rCfswC5swCfHzI0SEh0hwdeyNVi6UenqZ40/8i6dtw/27+Bv327at27J1bgRu5Eo1YrlMJVFIlTv1sg6gAAAAAQAB//8AD3jaRZMDeOtqGIB/pKmWrnGZNEmbtFu1KvN2bNu28eDatm37wbVt27bt294/Z2pjfXjfD1DA11iA5mAWYNAMeNAOgEtjNaib1UqtXJJEgYasxmKjWunF1Ypp6LQoSM5lQx94ghwHsIjm/HcHmlR/Ox5XYxFFqf8GP/4gLema1F7Mtvj8Ua68fGrb3IpWKGrX4bv//UINh4ykHEqgz/+9Gc/+79mI1V2xx+W7bFUOcjwvi+N7pqmjK9nJ/V3dGkDkD9Db6GygAgOAslEt1Wo2X+YlqSxqzglJzbIMN+1kV7axgT98P6rF+TdmfSi2JuuvMHHB5439aFBeNfXMKmqTyRZyCP/3XTFnmlQg6LfECfOYOCMzH0Kq/i+JxpJ4L6D3QA70AKANhGANPYDchl3OI6OqiToJpslGHhuGWBvslVXqRSQVp01uVpLg4/VHWi1fKFOKs55W7zOQsVpgb2u6CWbdWQ8bK7fuDXfEDt//xEui7flYy+QiF/MFFVOwy/BoT6it5RbdCpoma+q3ZIoRz0OIWjNj+YqiJ2znS90RCOt/QES4FRq/oLvQRYRfCnQRfrrpwBtkQ5Oc7Jpt0AQYyVt3025JliTetExz31nZeVJBZfIU3LP+tGnTzli/4bSp005fu7iUx1S4P6G05fIxlmP8mJfm/YfF0PyuBeUChYU+Ld6WK0Q4KcDMPH/LpnPnzjxrw5aL5hfHjz6e18Wo6KLo2Z2jx8GeaWQ7efwhnCFEBRcGsPFr4x/UQJeADMnWwCPtFGReLtt2Lx7M3SCl7Gs6PGTse80RQ4E1VhUC6w232qVk00UjnIkkQmxEavIGxXjIhSTN4kzTFeRCWv3nNavPn7quJ9qshOJaMOg3JvUBgBrfAYDvRKeBMWDiMNnqviAB7CZi9SKbLDW7iklSWJRkBckKLosEtOWwdvQvQ9muamhl/XMr4aYjZjwapEIxET2tmKqlsOl2S808j2a/lNWt9hZWsVRTeRpKsRAVjCqpiMuVyNR/uPam+g1moDV7lZSuKO5iRw6bXnVMZ6Ji+j2Igv60Vv8eI4/frCY6x6heE+c6im6lakknVms8Kn35JQbEUw/Z9KGHQStoH6zG0ZSmHU2r+wi7q3ZZLBNP0ZCnA6I6M+PcF4mmm+qNvMwZmXCTTl8Cednr85+Ze5LW/dG03t2cjE1daG04Pl5Su/MygZ2MpeHY5kLxgv0jzRCmjK/OLeQDFyNs9GRGT8z6zEw5j2+DkJipNX6HdfgZYIAObMfMITEHvKwNiWmaQ2LaxMsRLWVZ2udl845D2rdO37V/5+ZxeoHxQ4rRBNFMSYyXdlMx5TIcU6t2NISoJk2Q+BQn+JvcvgMOmrSj7+Adc/Z25TL5dB8TDYUo5FqWa/t0bq6tUpgdCPvlJgoB4uP3jb/QBPgBMId9LBMfCWkVOTqS4RixkfQWWlPOZQjvuhKmqemch4vFs5V0JhnnWJ4N+LhwyA236bo/mQwwPtHzcE/v3Nkr0no4HPX7+c5ux8IfyeZv+BYYB6YQbsaAhbpBu4c87MV2reZoaBEN3aIzs0RDeUBDZJmWPmAiJgNTNeD3P8TCNNHFw4ZExsuzDLxFjMqKzJZSiZbL4ZcX5TSzwslxOSzeBBmO9zCizLrdmHKF428egg+sJ72qshmSCTLDASsVRQakhFxGzTN+hO40lQcw8jH5RCYnUNBA0ZQViKQk5IJrjYQXHnn++a7/AUfYJCAAAAAAAQAAAAIhSI3UqV5fDzz1AAID6AAAAADb/8ZbAAAAANzIUZj8TP5nBWQEFwAAAAYAAgAAAAAAAHjaY2BkYGD69V+I4Rdr3x+fv3dYU4AiqIAHALWiBzMAAl0ACgDrAAAA6wAAAuIAAgLzABEC6AAvAun/9AOl/+0CVQAIAh4AIQIy/+4C6v/wAAAAUwBTAFMAiwDhAToBeAHfAi4CggK7AyUAAHjaY2BkYGDgYegA4iUMbGAeArAwMAIAHeMBUgB42o2QNVrFUBBGD+5S0eLubg3u7uVz9yTILqjYBrI6Sv5iPtyuzRlPBqjljhKKSqvED0VjxkUMFJUbF1PPs3EJazwZl76LKaONW+NyeogZ1zOF1SxCvbqMS2ikybhM9mrjchEckSWNnwybuJIp4gQ5JkxatERWlhDn0uNE1ctFVzuHwxzD2o7iC/LmcMVDOOKUZFbWqPz7rLHDMSfqcKH3iqzeMNeKH/zS6Ux6AdWQnqGFMYYYZVwUkJzW/WqZf60u+mefI+lRPLGfwmtWi+W1vGa2fMlclsxxQ+F1IvpKRrRH1UekO4oqyBeWfK3NGvonNCXxAQVpCUUEcaUv4knGZCsgPz1f5hxVP0UoLsAQQUWm0fRl0+yR9VW7JvLaqfcF9vNaxwAAAHjaY2BiAIP/mxiMGbABHiBmZmRiUGFkZmRhZGVkY2Rn5GDkZORiL83LNDBwNADTJmZGENocRptAxR2htDFUHEabQsWdAM4nFZ8AAAA=)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/stix-two-text-cyrillic-600-normal-kcc242MQ.woff2)format("woff2"),url(/assets/stix-two-text-cyrillic-600-normal-zdEMPwZf.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/stix-two-text-greek-600-normal-B4g_sZ5N.woff2)format("woff2"),url(/assets/stix-two-text-greek-600-normal-Cd_Bfzy_.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/stix-two-text-vietnamese-600-normal-DPFVgXT7.woff2)format("woff2"),url(/assets/stix-two-text-vietnamese-600-normal-BR32KHbT.woff)format("woff");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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/stix-two-text-latin-ext-600-normal-BIZc76hK.woff2)format("woff2"),url(/assets/stix-two-text-latin-ext-600-normal-cArr9DC0.woff)format("woff");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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/stix-two-text-latin-600-normal-B8BS22os.woff2)format("woff2"),url(/assets/stix-two-text-latin-600-normal-CdpSAr85.woff)format("woff");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{font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html,body,#root{width:100%;height:100%;margin:0}body{background:#10141f;overflow:hidden}button,input,select,textarea{font:inherit;color:inherit}button{cursor:pointer;background:0 0;border:none;padding:0}button:disabled{cursor:not-allowed}.app-shell{--font-serif:"STIX Two Text", "STIX Two Math", Georgia, Cambria, "Times New Roman", serif;--font-mono:ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, monospace}.app-shell.theme-dark{--app-bg:#10141f;--canvas-bg:#0e1220;--canvas-glow:#48588a57;--canvas-vignette:#05070d8c;--canvas-dot:#98a8d029;--canvas-grid:#98a8d00e;--nebula-a:#3a468029;--nebula-b:#583e7a1a;--star-layer-1:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='620' height='620'%3E%3Ccircle cx='420.8' cy='320.3' r='0.74' fill='%23AFC2E8' opacity='0.38'/%3E%3Ccircle cx='118.0' cy='453.9' r='0.6' fill='%23AFC2E8' opacity='0.21'/%3E%3Ccircle cx='352.3' cy='430.5' r='0.83' fill='%23AFC2E8' opacity='0.38'/%3E%3Ccircle cx='547.9' cy='184.7' r='0.92' fill='%23AFC2E8' opacity='0.21'/%3E%3Ccircle cx='40.1' cy='324.8' r='0.81' fill='%23AFC2E8' opacity='0.44'/%3E%3Ccircle cx='397.1' cy='75.2' r='0.5' fill='%23AFC2E8' opacity='0.26'/%3E%3Ccircle cx='57.8' cy='506.0' r='0.54' fill='%23AFC2E8' opacity='0.41'/%3E%3Ccircle cx='186.1' cy='208.5' r='0.64' fill='%23AFC2E8' opacity='0.23'/%3E%3Ccircle cx='274.5' cy='274.1' r='0.56' fill='%23AFC2E8' opacity='0.42'/%3E%3Ccircle cx='330.4' cy='397.7' r='0.93' fill='%23AFC2E8' opacity='0.19'/%3E%3Ccircle cx='161.1' cy='159.0' r='0.72' fill='%23AFC2E8' opacity='0.21'/%3E%3Ccircle cx='546.1' cy='603.6' r='0.61' fill='%23AFC2E8' opacity='0.44'/%3E%3Ccircle cx='160.5' cy='260.7' r='0.6' fill='%23AFC2E8' opacity='0.33'/%3E%3Ccircle cx='550.5' cy='243.4' r='0.84' fill='%23AFC2E8' opacity='0.26'/%3E%3Ccircle cx='408.2' cy='188.7' r='0.75' fill='%23AFC2E8' opacity='0.19'/%3E%3Ccircle cx='245.1' cy='333.5' r='0.62' fill='%23AFC2E8' opacity='0.28'/%3E%3Ccircle cx='90.3' cy='324.7' r='0.91' fill='%23AFC2E8' opacity='0.32'/%3E%3Ccircle cx='537.7' cy='116.9' r='0.76' fill='%23AFC2E8' opacity='0.33'/%3E%3Ccircle cx='329.3' cy='145.4' r='0.82' fill='%23AFC2E8' opacity='0.43'/%3E%3Ccircle cx='362.1' cy='542.4' r='0.63' fill='%23AFC2E8' opacity='0.24'/%3E%3Ccircle cx='208.0' cy='180.5' r='0.53' fill='%23AFC2E8' opacity='0.28'/%3E%3Ccircle cx='30.9' cy='569.0' r='1.0' fill='%23AFC2E8' opacity='0.44'/%3E%3Ccircle cx='535.6' cy='207.9' r='0.81' fill='%23AFC2E8' opacity='0.28'/%3E%3Ccircle cx='504.8' cy='216.3' r='0.92' fill='%23AFC2E8' opacity='0.43'/%3E%3Ccircle cx='559.9' cy='325.0' r='0.86' fill='%23AFC2E8' opacity='0.36'/%3E%3Ccircle cx='327.8' cy='399.7' r='0.68' fill='%23AFC2E8' opacity='0.36'/%3E%3Ccircle cx='243.7' cy='567.3' r='0.64' fill='%23AFC2E8' opacity='0.39'/%3E%3Ccircle cx='462.0' cy='609.9' r='0.6' fill='%23AFC2E8' opacity='0.27'/%3E%3Ccircle cx='222.6' cy='463.9' r='0.64' fill='%23AFC2E8' opacity='0.3'/%3E%3Ccircle cx='86.3' cy='611.3' r='0.69' fill='%23AFC2E8' opacity='0.24'/%3E%3Ccircle cx='560.1' cy='13.5' r='0.97' fill='%23AFC2E8' opacity='0.41'/%3E%3Ccircle cx='472.9' cy='290.6' r='0.51' fill='%23AFC2E8' opacity='0.44'/%3E%3Ccircle cx='177.3' cy='117.9' r='0.78' fill='%23AFC2E8' opacity='0.29'/%3E%3Ccircle cx='35.0' cy='393.4' r='0.64' fill='%23AFC2E8' opacity='0.41'/%3E%3Ccircle cx='494.0' cy='349.3' r='1.29' fill='%23D8E2F6' opacity='0.56'/%3E%3Ccircle cx='369.3' cy='560.2' r='1.27' fill='%23D8E2F6' opacity='0.56'/%3E%3Ccircle cx='419.4' cy='28.7' r='1.41' fill='%23D8E2F6' opacity='0.8'/%3E%3Ccircle cx='454.6' cy='546.2' r='1.17' fill='%23D8E2F6' opacity='0.7'/%3E%3Ccircle cx='236.8' cy='332.0' r='1.31' fill='%23D8E2F6' opacity='0.72'/%3E%3C/svg%3E");--star-layer-2:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='620' height='620'%3E%3Ccircle cx='334.8' cy='362.8' r='0.72' fill='%23AFC2E8' opacity='0.23'/%3E%3Ccircle cx='145.5' cy='271.5' r='0.97' fill='%23AFC2E8' opacity='0.3'/%3E%3Ccircle cx='320.6' cy='362.7' r='0.7' fill='%23AFC2E8' opacity='0.4'/%3E%3Ccircle cx='450.6' cy='127.5' r='0.62' fill='%23AFC2E8' opacity='0.27'/%3E%3Ccircle cx='374.9' cy='616.3' r='0.66' fill='%23AFC2E8' opacity='0.2'/%3E%3Ccircle cx='52.1' cy='421.8' r='0.84' fill='%23AFC2E8' opacity='0.29'/%3E%3Ccircle cx='104.2' cy='447.2' r='0.59' fill='%23AFC2E8' opacity='0.3'/%3E%3Ccircle cx='603.8' cy='94.4' r='0.68' fill='%23AFC2E8' opacity='0.24'/%3E%3Ccircle cx='568.7' cy='94.1' r='0.64' fill='%23AFC2E8' opacity='0.22'/%3E%3Ccircle cx='518.7' cy='612.1' r='0.6' fill='%23AFC2E8' opacity='0.2'/%3E%3Ccircle cx='461.0' cy='476.8' r='0.84' fill='%23AFC2E8' opacity='0.27'/%3E%3Ccircle cx='569.1' cy='337.4' r='0.64' fill='%23AFC2E8' opacity='0.19'/%3E%3Ccircle cx='66.4' cy='376.6' r='0.73' fill='%23AFC2E8' opacity='0.25'/%3E%3Ccircle cx='76.7' cy='450.6' r='0.76' fill='%23AFC2E8' opacity='0.26'/%3E%3Ccircle cx='535.1' cy='524.3' r='0.8' fill='%23AFC2E8' opacity='0.23'/%3E%3Ccircle cx='341.6' cy='454.4' r='0.67' fill='%23AFC2E8' opacity='0.18'/%3E%3Ccircle cx='381.2' cy='521.8' r='0.73' fill='%23AFC2E8' opacity='0.25'/%3E%3Ccircle cx='576.2' cy='472.7' r='0.91' fill='%23AFC2E8' opacity='0.21'/%3E%3Ccircle cx='119.3' cy='396.1' r='0.89' fill='%23AFC2E8' opacity='0.39'/%3E%3Ccircle cx='197.8' cy='303.9' r='0.78' fill='%23AFC2E8' opacity='0.22'/%3E%3Ccircle cx='586.3' cy='491.0' r='0.52' fill='%23AFC2E8' opacity='0.27'/%3E%3Ccircle cx='279.0' cy='446.9' r='0.99' fill='%23AFC2E8' opacity='0.18'/%3E%3Ccircle cx='351.0' cy='128.7' r='0.98' fill='%23AFC2E8' opacity='0.22'/%3E%3Ccircle cx='429.2' cy='219.8' r='0.67' fill='%23AFC2E8' opacity='0.34'/%3E%3Ccircle cx='496.5' cy='53.2' r='0.55' fill='%23AFC2E8' opacity='0.19'/%3E%3Ccircle cx='101.9' cy='289.9' r='0.59' fill='%23AFC2E8' opacity='0.43'/%3E%3Ccircle cx='543.5' cy='278.7' r='1.16' fill='%23D8E2F6' opacity='0.59'/%3E%3Ccircle cx='357.8' cy='153.9' r='1.18' fill='%23D8E2F6' opacity='0.72'/%3E%3Ccircle cx='21.6' cy='122.1' r='1.16' fill='%23D8E2F6' opacity='0.6'/%3E%3C/svg%3E");--panel-float:#1f2639d1;--panel-blur:blur(16px) saturate(1.25);--shadow-node:0 1px 2px #04060c80, 0 12px 30px -10px #04060cb3;--card-highlight:#e2eafc12;--lume:.5;--panel-bg:#1e2536;--panel-bg-strong:#232b40;--panel-bg-soft:#283044;--text-primary:#eceff7;--text-secondary:#adb8ce;--text-muted:#7c88a3;--button-bg:#252d42;--button-bg-hover:#2c3550;--button-text:#eceff7;--border-subtle:#97a6cd2b;--border-strong:#97a6cd57;--accent:#8fa9ff;--accent-strong:#b0c2ff;--accent-ink:#10152a;--brass:#c9a265;--brass-soft:#c9a26529;--danger:#e5766c;--success:#4fc08d;--warning:#ddab57;--status-proved:#4fc08d;--status-open:#93a5ce;--status-attention:#ddab57;--status-false:#e5766c;--status-inactive:#5e6880;--edge-open:#93a5ce9e;--edge-proved:#4fc08db8;--edge-dead:#7e89a073;--scrim:#090c1499;--shadow-1:0 1px 2px #080b1380, 0 3px 14px #080b1347;--shadow-2:0 4px 12px #080b1373, 0 16px 48px #080b1361;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}.app-shell.theme-light{--app-bg:#f1f0ec;--canvas-bg:#f4f3ef;--canvas-glow:#ffffffbf;--canvas-vignette:#78746424;--canvas-dot:#606a884d;--canvas-grid:#606a8817;--nebula-a:transparent;--nebula-b:transparent;--star-layer-1:none;--star-layer-2:none;--panel-float:#fbfaf7db;--panel-blur:blur(14px) saturate(1.05);--shadow-node:0 1px 2px #5d584a29, 0 8px 22px -10px #5d584a4d;--card-highlight:#ffffffd9;--lume:.24;--panel-bg:#fbfaf8;--panel-bg-strong:#fff;--panel-bg-soft:#ebe9e3;--text-primary:#242938;--text-secondary:#4d5468;--text-muted:#7e8494;--button-bg:#fff;--button-bg-hover:#f0eee9;--border-subtle:#ddd9cf;--border-strong:#c2bdb0;--button-text:#242938;--accent:#3050c8;--accent-strong:#2440a8;--accent-ink:#fff;--brass:#8a6a2f;--brass-soft:#8a6a2f1f;--danger:#b23a2e;--success:#157a50;--warning:#96660a;--status-proved:#157a50;--status-open:#5a6c9c;--status-attention:#96660a;--status-false:#b23a2e;--status-inactive:#9aa0ac;--edge-open:#5a6c9c8c;--edge-proved:#157a509e;--edge-dead:#9aa0aca6;--scrim:#24293852;--shadow-1:0 1px 2px #3c382a1a, 0 3px 12px #3c382a14;--shadow-2:0 4px 12px #3c382a1f, 0 18px 48px #3c382a24;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}.app-shell{background:var(--app-bg);color:var(--text-primary)}.app-shell :where(.text-white,.text-slate-50,.text-slate-100,.text-slate-200){color:var(--text-primary)}.app-shell :where(.text-slate-300,.text-slate-400){color:var(--text-secondary)}.app-shell :where(.text-slate-500,.text-slate-600){color:var(--text-muted)}.app-shell :where(.text-cyan-100,.text-cyan-50,.text-cyan-200){color:var(--accent-strong)}.app-shell :where(.text-emerald-100,.text-emerald-50,.text-emerald-200){color:var(--status-proved)}.app-shell :where(.text-amber-100,.text-amber-50){color:var(--status-attention)}.app-shell :where(.text-rose-100,.text-rose-50){color:var(--status-false)}.app-shell :where(.border-slate-700,.border-slate-800,.border-slate-700\/70,.border-slate-700\/60,.border-slate-800\/80,.border-slate-800\/70,.border-slate-600\/70,.border-slate-500\/60){border-color:var(--border-subtle)}.app-shell :where(.bg-slate-900,.bg-slate-950,.bg-slate-800,.bg-slate-900\/80,.bg-slate-950\/70,.bg-slate-900\/45,.bg-slate-950\/45,.bg-slate-900\/38,.bg-slate-950\/54,.bg-slate-900\/60,.bg-slate-950\/75,.bg-slate-900\/50,.bg-slate-950\/35,.bg-slate-800\/80,.bg-slate-900\/40,.bg-slate-950\/88,.bg-slate-950\/82,.bg-slate-950\/92){background-color:var(--panel-bg-soft)}.app-shell :where(.border-emerald-300\/30,.border-emerald-300\/35,.border-emerald-300\/40,.border-emerald-300\/55){border-color:var(--status-proved)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.border-emerald-300\/30,.border-emerald-300\/35,.border-emerald-300\/40,.border-emerald-300\/55){border-color:color-mix(in srgb, var(--status-proved) 45%, transparent)}}.app-shell :where(.bg-emerald-400\/8,.bg-emerald-400\/10,.bg-emerald-400\/12,.bg-emerald-300\/10){background-color:var(--status-proved)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.bg-emerald-400\/8,.bg-emerald-400\/10,.bg-emerald-400\/12,.bg-emerald-300\/10){background-color:color-mix(in srgb, var(--status-proved) 10%, transparent)}}.app-shell :where(.border-amber-300\/25,.border-amber-300\/30,.border-amber-300\/35){border-color:var(--status-attention)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.border-amber-300\/25,.border-amber-300\/30,.border-amber-300\/35){border-color:color-mix(in srgb, var(--status-attention) 45%, transparent)}}.app-shell :where(.bg-amber-400\/8,.bg-amber-400\/12,.bg-amber-300\/10){background-color:var(--status-attention)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.bg-amber-400\/8,.bg-amber-400\/12,.bg-amber-300\/10){background-color:color-mix(in srgb, var(--status-attention) 10%, transparent)}}.app-shell :where(.border-rose-300\/25,.border-rose-300\/30,.border-rose-300\/35,.border-rose-400\/30,.border-rose-300\/50){border-color:var(--status-false)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.border-rose-300\/25,.border-rose-300\/30,.border-rose-300\/35,.border-rose-400\/30,.border-rose-300\/50){border-color:color-mix(in srgb, var(--status-false) 45%, transparent)}}.app-shell :where(.bg-rose-400\/8,.bg-rose-400\/10,.bg-rose-500\/10,.bg-rose-500\/14,.bg-rose-500\/15){background-color:var(--status-false)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.bg-rose-400\/8,.bg-rose-400\/10,.bg-rose-500\/10,.bg-rose-500\/14,.bg-rose-500\/15){background-color:color-mix(in srgb, var(--status-false) 10%, transparent)}}.app-shell :where(.border-cyan-300\/25,.border-cyan-300\/30,.border-cyan-300\/35,.border-cyan-300\/40,.border-cyan-300\/45,.border-cyan-300\/50){border-color:var(--accent)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.border-cyan-300\/25,.border-cyan-300\/30,.border-cyan-300\/35,.border-cyan-300\/40,.border-cyan-300\/45,.border-cyan-300\/50){border-color:color-mix(in srgb, var(--accent) 45%, transparent)}}.app-shell :where(.bg-cyan-300\/10,.bg-cyan-300\/12,.bg-cyan-300\/15,.bg-cyan-400\/10,.bg-cyan-300\/8){background-color:var(--accent)}@supports (color:color-mix(in lab, red, red)){.app-shell :where(.bg-cyan-300\/10,.bg-cyan-300\/12,.bg-cyan-300\/15,.bg-cyan-400\/10,.bg-cyan-300\/8){background-color:color-mix(in srgb, var(--accent) 10%, transparent)}}:where(button,input,select,textarea,a,[role=option],[tabindex]):focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:4px}.button{border:1px solid var(--border-subtle);background:var(--button-bg);color:var(--button-text);white-space:nowrap;border-radius:.55rem;align-items:center;gap:.45rem;padding:.46rem .8rem;font-size:.83rem;font-weight:600;line-height:1.1;transition:background .14s,border-color .14s,color .14s;display:inline-flex}.button:hover:not(:disabled){border-color:var(--border-strong);background:var(--button-bg-hover)}.button:disabled{opacity:.45}.button-primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}.button-primary:hover:not(:disabled){background:var(--accent-strong);border-color:var(--accent-strong)}.button-danger{border-color:var(--danger)}@supports (color:color-mix(in lab, red, red)){.button-danger{border-color:color-mix(in srgb, var(--danger) 55%, transparent)}}.button-danger{background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.button-danger{background:color-mix(in srgb, var(--danger) 12%, transparent)}}.button-danger{color:var(--danger)}.button-danger:hover:not(:disabled){background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.button-danger:hover:not(:disabled){background:color-mix(in srgb, var(--danger) 20%, transparent)}}.button-ghost{color:var(--text-secondary);background:0 0;border-color:#0000}.button-ghost:hover:not(:disabled){color:var(--text-primary);background:var(--panel-bg-soft);border-color:var(--border-subtle)}.icon-button{border:1px solid var(--border-subtle);background:var(--button-bg);width:2.1rem;height:2.1rem;color:var(--text-secondary);border-radius:.55rem;place-items:center;transition:background .14s,border-color .14s,color .14s;display:grid}.icon-button:hover{border-color:var(--border-strong);background:var(--button-bg-hover);color:var(--text-primary)}.command-bar{border-bottom:1px solid var(--border-subtle);background:var(--app-bg);justify-content:space-between;align-items:center;gap:.75rem;height:52px;padding:0 .8rem;display:flex}@supports (color:color-mix(in lab, red, red)){.command-bar{background:color-mix(in srgb, var(--app-bg) 55%, var(--panel-bg))}}.command-bar-left{align-items:center;gap:.65rem;min-width:0;display:flex}.command-bar-logo{background:var(--brass);width:30px;height:30px;color:var(--panel-bg);font-family:var(--font-serif);border-radius:8px;flex-shrink:0;place-items:center;font-size:1.05rem;font-weight:600;display:grid}.notebook-switcher-wrap{min-width:0;position:relative}.notebook-switcher{max-width:34vw;color:var(--text-primary);border-radius:.5rem;align-items:center;gap:.35rem;padding:.32rem .55rem;transition:background .13s;display:inline-flex}.notebook-switcher:hover{background:var(--panel-bg-soft)}.notebook-switcher-name{font-family:var(--font-serif);text-overflow:ellipsis;white-space:nowrap;font-size:.98rem;font-weight:600;overflow:hidden}.notebook-switcher svg{color:var(--text-muted);flex-shrink:0}.command-bar-right{align-items:center;gap:.3rem;display:flex}.bar-button{height:34px;color:var(--text-secondary);white-space:nowrap;border-radius:.5rem;align-items:center;gap:.4rem;padding:0 .75rem;font-size:.82rem;font-weight:600;transition:background .13s,color .13s;display:inline-flex}.bar-button:hover:not(:disabled){background:var(--panel-bg-soft);color:var(--text-primary)}.bar-button:disabled{opacity:.4}.bar-button-primary{background:var(--accent);color:var(--accent-ink);margin-left:.25rem}.bar-button-primary:hover:not(:disabled){background:var(--accent-strong);color:var(--accent-ink)}.bar-icon-button,.topbar-icon-button{width:34px;height:34px;color:var(--text-secondary);border-radius:.5rem;place-items:center;transition:background .13s,color .13s;display:grid}.bar-icon-button:hover:not(:disabled),.topbar-icon-button:hover{background:var(--panel-bg-soft);color:var(--text-primary)}.bar-icon-button:disabled{opacity:.4}.command-bar-overflow{position:relative}.overflow-menu,.selection-bar-popover{z-index:40;border:1px solid var(--border-subtle);background:var(--panel-bg-strong);min-width:13.5rem;box-shadow:var(--shadow-2);border-radius:.65rem;flex-direction:column;padding:.35rem;display:flex;position:absolute;top:calc(100% + .4rem);right:0}.overflow-menu button,.selection-bar-popover button{color:var(--text-primary);text-align:left;border-radius:.45rem;align-items:center;gap:.6rem;padding:.5rem .65rem;font-size:.84rem;font-weight:550;display:flex}.overflow-menu button:hover:not(:disabled),.selection-bar-popover button:hover:not(:disabled){background:var(--panel-bg-soft)}.overflow-menu button:disabled,.selection-bar-popover button:disabled{opacity:.45}.nb-popover{z-index:45;border:1px solid var(--border-subtle);background:var(--panel-bg-strong);width:min(23rem,100vw - 1.5rem);box-shadow:var(--shadow-2);border-radius:.75rem;position:absolute;top:calc(100% + .45rem);left:0;overflow:hidden}.nb-popover-header{letter-spacing:.14em;text-transform:uppercase;color:var(--text-muted);border-bottom:1px solid var(--border-subtle);justify-content:space-between;align-items:center;padding:.6rem .5rem .5rem .9rem;font-size:.68rem;font-weight:700;display:flex}.nb-popover-list{max-height:min(55vh,24rem);padding:.4rem;overflow-y:auto}.nb-row{border-radius:.55rem;align-items:center;gap:.25rem;padding:.15rem .3rem .15rem .15rem;display:flex}.nb-row:hover{background:var(--panel-bg-soft)}.nb-row.is-active{background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.nb-row.is-active{background:color-mix(in srgb, var(--accent) 10%, transparent)}}.nb-row-main{text-align:left;border-radius:.45rem;flex-direction:column;flex:1;gap:.05rem;min-width:0;padding:.4rem .5rem;display:flex}.nb-row-title{color:var(--text-primary);text-overflow:ellipsis;white-space:nowrap;align-items:center;gap:.35rem;font-size:.87rem;font-weight:600;display:inline-flex;overflow:hidden}.nb-row-title svg{color:var(--text-muted);flex-shrink:0}.nb-row-meta{color:var(--text-muted);font-size:.72rem}.nb-row-actions{align-items:center;gap:.1rem;display:none}.nb-row:hover .nb-row-actions,.nb-row:focus-within .nb-row-actions{display:inline-flex}.nb-row-edit{flex-direction:row;align-items:center;gap:.3rem}.nb-row-edit input{border:1px solid var(--accent);background:var(--panel-bg);min-width:0;color:var(--text-primary);border-radius:.4rem;outline:none;flex:1;padding:.3rem .5rem;font-size:.84rem;font-weight:600}.nb-mini{width:1.7rem;height:1.7rem;color:var(--text-muted);border-radius:.4rem;place-items:center;display:grid}.nb-mini:hover:not(:disabled){background:var(--button-bg-hover);color:var(--text-primary)}.nb-mini-danger:hover{color:var(--danger)}.nb-section{letter-spacing:.14em;text-transform:uppercase;color:var(--text-muted);justify-content:space-between;align-items:center;padding:.55rem .5rem .15rem;font-size:.64rem;font-weight:700;display:flex}.nb-empty{color:var(--text-muted);padding:.4rem .5rem .5rem;font-size:.76rem}.graph-canvas{background:var(--star-layer-1) repeat, var(--star-layer-2) repeat, radial-gradient(110% 85% at 18% 8%, var(--nebula-a) 0%, transparent 52%), radial-gradient(120% 95% at 85% 88%, var(--nebula-b) 0%, transparent 55%), radial-gradient(120% 90% at 50% 38%, var(--canvas-glow) 0%, transparent 55%), var(--canvas-bg);background-size:620px 620px,1180px 1180px,auto,auto,auto,auto}.graph-vignette{z-index:5;pointer-events:none;background:radial-gradient(130% 110% at 50% 45%, transparent 58%, var(--canvas-vignette) 100%);position:absolute;inset:0}.proof-flow .react-flow__pane{cursor:grab}.proof-flow .react-flow__pane:active{cursor:grabbing}.proof-flow .graph-dots circle{fill:var(--canvas-dot)}.proof-flow .graph-grid path{stroke:var(--canvas-grid)}.graph-controls.react-flow__controls{border:1px solid var(--border-subtle);box-shadow:var(--shadow-1);background:var(--panel-float);-webkit-backdrop-filter:var(--panel-blur);border-radius:.6rem;overflow:hidden}.graph-controls .react-flow__controls-button{border-bottom:1px solid var(--border-subtle);background:0 0;width:30px;height:30px}.graph-controls .react-flow__controls-button:hover{background:var(--panel-bg-soft)}.graph-controls .react-flow__controls-button svg{fill:var(--text-secondary)}.graph-canvas-focus{z-index:10;border:1px solid var(--border-subtle);background:var(--panel-float);-webkit-backdrop-filter:var(--panel-blur);color:var(--text-secondary);box-shadow:var(--shadow-1);border-radius:999px;align-items:center;gap:.4rem;padding:.4rem .7rem;font-size:.76rem;font-weight:600;display:inline-flex;position:absolute;top:.75rem;left:.9rem}.graph-canvas-focus:hover{color:var(--text-primary);border-color:var(--border-strong)}.graph-notice{align-items:center;gap:.65rem;display:inline-flex}.graph-notice-undo{color:var(--accent);border-radius:.35rem;padding:.1rem .3rem;font-weight:700}.graph-notice-undo:hover{background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.graph-notice-undo:hover{background:color-mix(in srgb, var(--accent) 18%, transparent)}}.graph-notice-undo:hover{color:var(--accent-strong)}.graph-toast{z-index:20;border:1px solid var(--border-strong);background:var(--panel-float);-webkit-backdrop-filter:var(--panel-blur);color:var(--text-primary);box-shadow:var(--shadow-2);border-radius:.55rem;padding:.5rem .85rem;font-size:.82rem;font-weight:600;position:absolute;top:.75rem;right:.9rem}.pa-connection-line-path{stroke:var(--accent);stroke-width:2.25px;stroke-dasharray:7 6;stroke-linecap:round;fill:none}.pa-connection-line-dot{fill:var(--accent)}@supports (color:color-mix(in lab, red, red)){.pa-connection-line-dot{fill:color-mix(in srgb, var(--accent) 25%, transparent)}}.pa-connection-line-dot{stroke:var(--accent);stroke-width:1.5px}.proof-flow .react-flow__connectionline,.proof-flow .react-flow__connection{z-index:1002}.proof-flow .react-flow__selection{background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.proof-flow .react-flow__selection{background:color-mix(in srgb, var(--accent) 9%, transparent)}}.proof-flow .react-flow__selection{border:1px dashed var(--accent)}@supports (color:color-mix(in lab, red, red)){.proof-flow .react-flow__selection{border:1px dashed color-mix(in srgb, var(--accent) 55%, transparent)}}.proof-flow .react-flow__selection{border-radius:6px}.graph-canvas[data-branch-dragging] .react-flow__node{cursor:grabbing}.proof-flow .react-flow__node:focus-visible{outline:none}.proof-flow .react-flow__node:focus-visible .statement-card,.proof-flow .react-flow__node:focus-visible .route-gate{box-shadow:0 0 0 2px var(--accent), var(--shadow-node)}.graph-context-menu{z-index:45;border:1px solid var(--border-strong);background:var(--panel-float);min-width:236px;-webkit-backdrop-filter:var(--panel-blur);box-shadow:var(--shadow-2);border-radius:.7rem;padding:.3rem;position:absolute}.graph-context-menu button[role=menuitem]{width:100%;color:var(--text-secondary);text-align:left;border-radius:.45rem;justify-content:space-between;align-items:center;gap:.75rem;padding:.42rem .6rem;font-size:.8rem;display:flex}.graph-context-menu button[role=menuitem]:hover:not(:disabled),.graph-context-menu button[role=menuitem]:focus-visible{background:var(--panel-bg-soft);color:var(--text-primary);outline:none}.graph-context-menu button[role=menuitem]:disabled{opacity:.45}.graph-context-menu button.is-checked .graph-context-label:after{content:" ✓";color:var(--accent)}.graph-context-menu button.is-danger{color:var(--danger)}.graph-context-menu button.is-danger:hover:not(:disabled){background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.graph-context-menu button.is-danger:hover:not(:disabled){background:color-mix(in srgb, var(--danger) 14%, transparent)}}.graph-context-menu button.is-danger:hover:not(:disabled){color:var(--danger)}.graph-context-hint{font-family:var(--font-mono);color:var(--text-muted);border:1px solid var(--border-subtle);white-space:nowrap;border-radius:.3rem;padding:.05rem .3rem;font-size:.64rem}.graph-context-divider{background:var(--border-subtle);height:1px;margin:.3rem .4rem}.connect-picker{z-index:40;border:1px solid var(--border-strong);background:var(--panel-float);width:264px;max-width:calc(100vw - 1.5rem);-webkit-backdrop-filter:var(--panel-blur);box-shadow:var(--shadow-2);border-radius:.7rem;position:absolute;overflow:hidden}.connect-picker-input{border:none;border-bottom:1px solid var(--border-subtle);width:100%;color:var(--text-primary);background:0 0;outline:none;padding:.55rem .75rem;font-size:.85rem}.connect-picker-input::placeholder{color:var(--text-muted)}.connect-picker ul{max-height:228px;padding:.3rem;overflow-y:auto}.connect-picker li button{width:100%;color:var(--text-secondary);text-align:left;border-radius:.45rem;align-items:center;gap:.5rem;padding:.45rem .55rem;font-size:.8rem;display:flex}.connect-picker li button.is-active{background:var(--panel-bg-soft);color:var(--text-primary)}.connect-picker-kind{letter-spacing:.1em;text-transform:uppercase;color:var(--text-muted);flex-shrink:0;font-size:.6rem;font-weight:700}.connect-picker-title{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.connect-picker-empty{color:var(--text-muted);padding:.5rem .65rem;font-size:.78rem}.graph-empty-state{border:1px solid var(--border-subtle);background:var(--panel-float);-webkit-backdrop-filter:blur(20px)saturate(1.25);text-align:left;max-width:25rem;box-shadow:var(--shadow-2);pointer-events:auto;border-radius:1rem;padding:1.5rem 1.6rem 1.4rem}.graph-empty-kicker{letter-spacing:.18em;text-transform:uppercase;color:var(--brass);font-size:.66rem;font-weight:700}.graph-empty-title{font-family:var(--font-serif);color:var(--text-primary);margin-top:.4rem;font-size:1.35rem;font-weight:600}.graph-empty-body{color:var(--text-secondary);margin-top:.5rem;font-size:.87rem;line-height:1.6}.graph-empty-actions{flex-wrap:wrap;gap:.5rem;margin-top:1rem;display:flex}.graph-empty-hint{color:var(--text-muted);margin-top:.9rem;font-size:.75rem;line-height:1.55}.graph-ghost{pointer-events:none;place-items:center;display:grid;position:absolute;inset:0}.graph-ghost svg{opacity:.6;width:min(560px,82vw)}.graph-ghost .ghost-line{stroke:var(--accent)}@supports (color:color-mix(in lab, red, red)){.graph-ghost .ghost-line{stroke:color-mix(in srgb, var(--accent) 34%, transparent)}}.graph-ghost .ghost-line{stroke-dasharray:2 5;stroke-linecap:round;fill:none}.graph-ghost .ghost-box{stroke:var(--accent)}@supports (color:color-mix(in lab, red, red)){.graph-ghost .ghost-box{stroke:color-mix(in srgb, var(--accent) 30%, transparent)}}.graph-ghost .ghost-box{stroke-dasharray:2 5;stroke-linecap:round;fill:var(--panel-bg)}@supports (color:color-mix(in lab, red, red)){.graph-ghost .ghost-box{fill:color-mix(in srgb, var(--panel-bg) 40%, transparent)}}.graph-ghost .ghost-box{rx:10}.graph-ghost text{font-family:var(--font-serif);fill:var(--text-muted);font-size:13px}.node-onboarding-hint{z-index:10;border:1px solid var(--border-subtle);background:var(--panel-float);-webkit-backdrop-filter:var(--panel-blur);color:var(--text-secondary);box-shadow:var(--shadow-1);pointer-events:none;white-space:nowrap;border-radius:999px;align-items:center;gap:.45rem;padding:.45rem .8rem;font-size:.78rem;display:inline-flex;position:absolute;bottom:4.6rem;left:50%;transform:translate(-50%)}.statement-card{--card-status:var(--status-open);border:1px solid var(--border-subtle);border-left:3px solid var(--card-status);background:linear-gradient(180deg, var(--panel-bg-strong) 0%, var(--panel-bg) 62%);box-shadow:inset 0 1px 0 var(--card-highlight), var(--shadow-node);border-radius:14px 6px 14px 18px;min-height:72px;padding:.6em .85em .7em;transition:border-color .14s,box-shadow .14s,transform .14s;position:relative}.statement-card:before{content:"";background:var(--card-status);filter:blur(5px);width:3px;opacity:var(--lume);pointer-events:none;border-radius:999px;position:absolute;top:9%;bottom:9%;left:-2.5px}.react-flow__node:hover .statement-card{box-shadow:var(--shadow-2);transform:translateY(-1px)}.statement-card-proved,.statement-card-provable{--card-status:var(--status-proved)}.statement-card-needs_work,.statement-card-suspect{--card-status:var(--status-attention)}.statement-card-false{--card-status:var(--status-false)}.statement-card-inactive{--card-status:var(--status-inactive)}.statement-card-inactive:before{opacity:.15}.statement-card-dimmed{opacity:.55}.statement-card-branch-moving{outline:1.5px solid var(--accent)}@supports (color:color-mix(in lab, red, red)){.statement-card-branch-moving{outline:1.5px solid color-mix(in srgb, var(--accent) 45%, transparent)}}.statement-card-branch-moving{outline-offset:3px}.statement-card-branch-anchored{outline:1.5px dashed var(--text-muted)}@supports (color:color-mix(in lab, red, red)){.statement-card-branch-anchored{outline:1.5px dashed color-mix(in srgb, var(--text-muted) 45%, transparent)}}.statement-card-branch-anchored{outline-offset:3px}.statement-card-theorem{background:linear-gradient(180deg, var(--brass) 0%, var(--panel-bg) 58%);border-left-width:4px}@supports (color:color-mix(in lab, red, red)){.statement-card-theorem{background:linear-gradient(180deg, color-mix(in srgb, var(--brass) 9%, var(--panel-bg-strong)) 0%, var(--panel-bg) 58%)}}.statement-card-theorem:after{content:"";background:linear-gradient(225deg, var(--brass) 0%, var(--brass) 46%, var(--brass) 48%, transparent 52%);border-top-right-radius:5px;width:22px;height:22px;position:absolute;top:0;right:0}@supports (color:color-mix(in lab, red, red)){.statement-card-theorem:after{background:linear-gradient(225deg, var(--brass) 0%, var(--brass) 46%, color-mix(in srgb, var(--brass) 30%, transparent) 48%, transparent 52%)}}.statement-card-theorem:after{opacity:.92;pointer-events:none;box-shadow:inset -2px 2px 3px #080b1338}.statement-card[data-kind=definition]:after{content:"";background:linear-gradient(225deg, transparent 0%, transparent 40%, var(--text-muted) 42%, var(--text-muted) 50%, transparent 52%);border-top-right-radius:5px;width:18px;height:18px;position:absolute;top:0;right:0}@supports (color:color-mix(in lab, red, red)){.statement-card[data-kind=definition]:after{background:linear-gradient(225deg, transparent 0%, transparent 40%, color-mix(in srgb, var(--text-muted) 55%, transparent) 42%, color-mix(in srgb, var(--text-muted) 55%, transparent) 50%, transparent 52%)}}.statement-card[data-kind=definition]:after{opacity:.8;pointer-events:none}.statement-card-selected{--card-status:var(--accent);border-color:var(--accent);box-shadow:inset 0 1px 0 var(--card-highlight), 0 0 0 1.5px var(--accent), 0 0 26px -6px var(--accent), var(--shadow-2)}@supports (color:color-mix(in lab, red, red)){.statement-card-selected{box-shadow:inset 0 1px 0 var(--card-highlight), 0 0 0 1.5px var(--accent), 0 0 26px -6px color-mix(in srgb, var(--accent) 70%, transparent), var(--shadow-2)}}.statement-card-eyebrow{letter-spacing:.14em;text-transform:uppercase;justify-content:space-between;align-items:baseline;gap:.6em;font-size:.58em;font-weight:700;display:flex}.statement-card-kind{color:var(--text-muted)}.statement-card-theorem .statement-card-kind{color:var(--brass)}.statement-card-status{white-space:nowrap;align-items:baseline;gap:.35em;display:inline-flex}.statement-card-status.is-proved,.statement-card-status.is-provable{color:var(--status-proved)}.statement-card-status.is-open{color:var(--text-muted)}.statement-card-status.is-needs_work,.statement-card-status.is-suspect{color:var(--status-attention)}.statement-card-status.is-false{color:var(--status-false)}.statement-card-status.is-inactive{color:var(--status-inactive)}.statement-card-qed{font-family:var(--font-serif);letter-spacing:0;font-size:1.15em}.statement-card-title{font-family:var(--font-serif);color:var(--text-primary);-webkit-line-clamp:2;-webkit-box-orient:vertical;margin-top:.35em;font-size:.95em;font-weight:600;line-height:1.3;display:-webkit-box;overflow:hidden}.statement-card-preview{color:var(--text-secondary);-webkit-line-clamp:2;-webkit-box-orient:vertical;margin-top:.35em;font-size:.72em;line-height:1.5;display:-webkit-box;overflow:hidden}.statement-card-preview .katex{font-size:1.02em}.proof-flow-handle{opacity:.45;background:0 0;border:none;border-radius:999px;width:22px;height:22px;transition:opacity .12s}.proof-flow-handle:after{content:"";border:1.5px solid var(--accent);border-radius:999px;width:7px;height:7px;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}@supports (color:color-mix(in lab, red, red)){.proof-flow-handle:after{border:1.5px solid color-mix(in srgb, var(--accent) 70%, var(--text-muted))}}.proof-flow-handle:after{background:var(--panel-bg);transition:width .11s,height .11s,border-color .11s,box-shadow .11s}.react-flow__node:hover .proof-flow-handle:after,.react-flow__node:focus-within .proof-flow-handle:after,.statement-card-selected~.proof-flow-handle:after,.is-connecting .proof-flow-handle:after{border-width:2px;border-color:var(--accent);width:10px;height:10px;box-shadow:0 0 8px 1px var(--accent)}@supports (color:color-mix(in lab, red, red)){.react-flow__node:hover .proof-flow-handle:after,.react-flow__node:focus-within .proof-flow-handle:after,.statement-card-selected~.proof-flow-handle:after,.is-connecting .proof-flow-handle:after{box-shadow:0 0 8px 1px color-mix(in srgb, var(--accent) 45%, transparent)}}.react-flow__node:hover .proof-flow-handle,.react-flow__node:focus-within .proof-flow-handle,.statement-card-selected .proof-flow-handle,.route-gate-selected .proof-flow-handle,.is-connecting .proof-flow-handle{opacity:1}.proof-flow-handle.connectingto.valid:after,.proof-flow-handle.valid:after{border-color:var(--status-proved);box-shadow:0 0 12px 2px var(--status-proved);transform:translate(-50%,-50%)scale(1.25)}@supports (color:color-mix(in lab, red, red)){.proof-flow-handle.connectingto.valid:after,.proof-flow-handle.valid:after{box-shadow:0 0 12px 2px color-mix(in srgb, var(--status-proved) 55%, transparent)}}.proof-flow-handle.connectingto:not(.valid):after{border-color:var(--status-false);box-shadow:none}.proof-flow-handle-gate{opacity:0;width:20px;height:20px}.proof-flow-handle-gate:after{width:8px;height:8px}.route-gate{--gate-status:var(--edge-open);cursor:grab;border:1.5px solid var(--gate-status);background:radial-gradient(130% 130% at 50% 12%, var(--panel-bg-soft) 0%, var(--panel-bg) 74%);width:44px;height:44px;color:var(--text-secondary);box-shadow:0 0 14px -3px var(--gate-status), var(--shadow-node);border-radius:999px;place-items:center;display:grid;position:relative}@supports (color:color-mix(in lab, red, red)){.route-gate{box-shadow:0 0 14px -3px color-mix(in srgb, var(--gate-status) 40%, transparent), var(--shadow-node)}}.route-gate{transition:border-color .14s,box-shadow .14s}.route-gate-mode-or{box-shadow:0 0 0 3px var(--canvas-bg), 0 0 0 4.5px var(--gate-status), 0 0 14px -3px var(--gate-status), var(--shadow-node)}@supports (color:color-mix(in lab, red, red)){.route-gate-mode-or{box-shadow:0 0 0 3px var(--canvas-bg), 0 0 0 4.5px color-mix(in srgb, var(--gate-status) 45%, transparent), 0 0 14px -3px color-mix(in srgb, var(--gate-status) 40%, transparent), var(--shadow-node)}}.route-gate-mode-case-split{border-style:double;border-width:3px}.route-gate-proved{--gate-status:var(--status-proved);color:var(--status-proved)}.route-gate-dead{--gate-status:var(--status-false);color:var(--status-false);opacity:.75;box-shadow:var(--shadow-1);border-style:dashed}.route-gate-selected{--gate-status:var(--accent);box-shadow:0 0 0 1.5px var(--accent), 0 0 20px -4px var(--accent), var(--shadow-2)}@supports (color:color-mix(in lab, red, red)){.route-gate-selected{box-shadow:0 0 0 1.5px var(--accent), 0 0 20px -4px color-mix(in srgb, var(--accent) 65%, transparent), var(--shadow-2)}}.route-gate-mode-or.route-gate-selected{box-shadow:0 0 0 1.5px var(--accent), 0 0 0 3.5px var(--canvas-bg), 0 0 0 5px var(--accent), 0 0 20px -4px var(--accent), var(--shadow-2)}@supports (color:color-mix(in lab, red, red)){.route-gate-mode-or.route-gate-selected{box-shadow:0 0 0 1.5px var(--accent), 0 0 0 3.5px var(--canvas-bg), 0 0 0 5px color-mix(in srgb, var(--accent) 45%, transparent), 0 0 20px -4px color-mix(in srgb, var(--accent) 65%, transparent), var(--shadow-2)}}.route-gate-glyph{font-family:var(--font-serif);font-size:1.2rem;font-weight:600;line-height:1}.route-gate-collapsed{background:radial-gradient(130% 130% at 50% 12%, var(--accent) 0%, var(--panel-bg) 74%);border-style:solid}@supports (color:color-mix(in lab, red, red)){.route-gate-collapsed{background:radial-gradient(130% 130% at 50% 12%, color-mix(in srgb, var(--accent) 16%, var(--panel-bg-soft)) 0%, var(--panel-bg) 74%)}}.route-gate-count-collapsed{color:var(--accent-strong);border-color:var(--accent)}@supports (color:color-mix(in lab, red, red)){.route-gate-count-collapsed{border-color:color-mix(in srgb, var(--accent) 45%, var(--border-strong))}}.route-gate-count{border:1px solid var(--border-strong);background:var(--panel-bg-strong);min-width:17px;height:17px;color:var(--text-secondary);border-radius:999px;place-items:center;padding:0 3px;font-size:.62rem;font-weight:700;display:grid;position:absolute;bottom:-5px;right:-7px}.route-gate-dead-mark{color:var(--status-false);background:var(--panel-bg);border-radius:999px;padding:0 3px;font-size:.7rem;font-weight:700;position:absolute;top:-7px;right:-4px}.mode-edge-underlay{fill:none;stroke:#0000;stroke-width:22px;vector-effect:non-scaling-stroke;cursor:pointer;pointer-events:stroke}.route-gate:active{cursor:grabbing}.mode-edge-path{fill:none;stroke:var(--edge-open);stroke-width:1.75px;transition:stroke .14s,stroke-width .14s}.proof-flow .react-flow__edge:hover .mode-edge-path{stroke-width:2.5px}.mode-edge-path-proved{stroke:var(--edge-proved);stroke-width:2px}.mode-edge-path-dead{stroke:var(--edge-dead);stroke-dasharray:7 6}.mode-edge-path-selected{stroke:var(--accent);stroke-width:2.5px}.mode-edge-path-family{stroke:var(--accent)}@supports (color:color-mix(in lab, red, red)){.mode-edge-path-family{stroke:color-mix(in srgb, var(--accent) 55%, var(--edge-open))}}.mode-edge-path-family{stroke-width:2px}.mode-edge-label-selected{border-color:var(--accent);color:var(--accent-strong);background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.mode-edge-label-selected{background:color-mix(in srgb, var(--accent) 16%, var(--panel-bg))}}.proof-flow .react-flow__edgelabel-renderer{z-index:2}.mode-edge-halo{fill:none;stroke-width:7px;stroke-linecap:round;pointer-events:none}.mode-edge-halo-proved{stroke:var(--status-proved)}@supports (color:color-mix(in lab, red, red)){.mode-edge-halo-proved{stroke:color-mix(in srgb, var(--status-proved) 15%, transparent)}}.mode-edge-halo-selected{stroke:var(--accent)}@supports (color:color-mix(in lab, red, red)){.mode-edge-halo-selected{stroke:color-mix(in srgb, var(--accent) 20%, transparent)}}.mode-edge-label{pointer-events:all;border:1px solid var(--border-subtle);background:var(--panel-bg);width:max-content;color:var(--text-muted);cursor:pointer;border-radius:999px;padding:.06rem .4rem;font-size:.62rem;font-weight:700;position:absolute}.proof-flow .react-flow__edge.selected .react-flow__edge-path{stroke:var(--accent)}.graph-minimap.react-flow__minimap{border:1px solid var(--border-subtle);background:var(--panel-float);box-shadow:var(--shadow-1);border-radius:.6rem;width:148px;height:104px;right:52px;overflow:hidden}.graph-minimap .react-flow__minimap-mask{fill:var(--canvas-vignette)}@supports (color:color-mix(in lab, red, red)){.graph-minimap .react-flow__minimap-mask{fill:color-mix(in srgb, var(--canvas-vignette) 55%, transparent)}}.graph-minimap .react-flow__minimap-mask{stroke:var(--accent)}@supports (color:color-mix(in lab, red, red)){.graph-minimap .react-flow__minimap-mask{stroke:color-mix(in srgb, var(--accent) 45%, transparent)}}.graph-minimap .react-flow__minimap-mask{stroke-width:1.5px}.graph-minimap svg{background:0 0}.graph-legend-toggle{z-index:10;border:1px solid var(--border-subtle);background:var(--panel-float);-webkit-backdrop-filter:var(--panel-blur);color:var(--text-muted);box-shadow:var(--shadow-1);border-radius:999px;align-items:center;gap:.35rem;padding:.35rem .65rem;font-size:.74rem;font-weight:600;display:inline-flex;position:absolute;bottom:.9rem;left:.9rem}.graph-legend-toggle:hover{color:var(--text-primary);border-color:var(--border-strong)}.graph-legend{z-index:10;border:1px solid var(--border-subtle);background:var(--panel-float);width:236px;-webkit-backdrop-filter:var(--panel-blur);box-shadow:var(--shadow-2);color:var(--text-secondary);border-radius:.75rem;padding:.7rem .8rem;font-size:.72rem;position:absolute;bottom:.9rem;left:.9rem}.graph-legend-header{letter-spacing:.12em;text-transform:uppercase;color:var(--text-muted);justify-content:space-between;align-items:center;margin-bottom:.45rem;font-size:.66rem;font-weight:700;display:flex}.graph-legend-close{width:1.35rem;height:1.35rem;color:var(--text-muted);border-radius:.35rem;place-items:center;display:grid}.graph-legend-close:hover{background:var(--panel-bg-soft);color:var(--text-primary)}.graph-legend-line{margin-bottom:.45rem;line-height:1.5}.graph-legend ul{grid-template-columns:1fr 1fr;gap:.25rem .6rem;margin-bottom:.45rem;display:grid}.graph-legend li{white-space:nowrap;align-items:center;gap:.4rem;display:flex}.legend-swatch{border-radius:3px;flex-shrink:0;width:.65rem;height:.65rem}.legend-proved{background:var(--status-proved)}.legend-open{background:var(--status-open)}.legend-suspect{background:var(--status-attention)}.legend-false{background:var(--status-false)}.legend-glyph{font-family:var(--font-serif);color:var(--text-primary);text-align:center;width:.9rem;font-weight:600}.graph-legend-hint{color:var(--text-muted);margin-bottom:0}.selection-bar{z-index:30;border:1px solid var(--border-subtle);background:var(--panel-float);max-width:min(56rem,100vw - 2rem);-webkit-backdrop-filter:var(--panel-blur);box-shadow:var(--shadow-2);border-radius:.85rem;align-items:center;gap:.75rem;padding:.45rem .55rem .45rem .9rem;animation:.15s ease-out rise-in;display:flex;position:absolute;bottom:1rem;left:50%;transform:translate(-50%)}@keyframes rise-in{0%{opacity:0;transform:translate(-50%)translateY(6px)}to{opacity:1;transform:translate(-50%)translateY(0)}}.selection-bar-identity{flex-direction:column;gap:.05rem;min-width:0;display:flex}.selection-bar-kind{letter-spacing:.12em;text-transform:uppercase;color:var(--text-muted);font-size:.62rem;font-weight:700}.selection-bar-title{font-family:var(--font-serif);color:var(--text-primary);text-overflow:ellipsis;white-space:nowrap;max-width:20rem;font-size:.92rem;font-weight:600;overflow:hidden}.selection-bar-actions{flex-shrink:0;align-items:center;gap:.25rem;display:flex}.selection-bar-button{height:32px;color:var(--text-secondary);white-space:nowrap;border-radius:.5rem;align-items:center;gap:.35rem;padding:0 .65rem;font-size:.8rem;font-weight:600;transition:background .12s,color .12s;display:inline-flex}.selection-bar-button:hover:not(:disabled){background:var(--panel-bg-soft);color:var(--text-primary)}.selection-bar-button:disabled{opacity:.45}.selection-bar-primary{background:var(--accent);color:var(--accent-ink)}.selection-bar-primary:hover:not(:disabled){background:var(--accent-strong);color:var(--accent-ink)}.selection-bar-icon{width:30px;height:30px;color:var(--text-muted);border-radius:.45rem;place-items:center;display:grid}.selection-bar-icon:hover{background:var(--panel-bg-soft);color:var(--text-primary)}.selection-bar-menu{position:relative}.selection-bar-popover{top:auto;bottom:calc(100% + .45rem)}.dock{z-index:35;border-left:1px solid var(--border-subtle);background:var(--panel-bg);flex-direction:column;display:flex;position:absolute;top:0;bottom:0;right:0}@supports (color:color-mix(in lab, red, red)){.dock{background:color-mix(in srgb, var(--panel-bg) 88%, transparent)}}.dock{-webkit-backdrop-filter:var(--panel-blur);animation:.17s ease-out dock-in;box-shadow:-18px 0 48px #080b1347}@keyframes dock-in{0%{opacity:.4;transform:translate(24px)}to{opacity:1;transform:none}}.dock-resize-handle{cursor:ew-resize;z-index:5;width:6px;position:absolute;top:0;bottom:0;left:-3px}.dock-resize-handle:hover{background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.dock-resize-handle:hover{background:color-mix(in srgb, var(--accent) 35%, transparent)}}.dock-header{border-bottom:1px solid var(--border-subtle);justify-content:space-between;align-items:center;gap:.5rem;padding:.6rem .75rem;display:flex}.dock-body{flex:1;min-height:0;padding:.9rem 1rem 1.4rem;overflow-y:auto}.dock-stack{flex-direction:column;gap:.9rem;display:flex}.dock-kicker{letter-spacing:.14em;text-transform:uppercase;color:var(--text-muted);font-size:.64rem;font-weight:700}.dock-title{font-family:var(--font-serif);color:var(--text-primary);margin-top:.2rem;font-size:1.12rem;font-weight:600;line-height:1.3}.dock-subtitle{color:var(--text-muted);margin-top:.25rem;font-size:.78rem;line-height:1.5}.dock-field{flex-direction:column;gap:.3rem;display:flex}.dock-field>span{letter-spacing:.12em;text-transform:uppercase;color:var(--text-muted);font-size:.66rem;font-weight:700}.dock-control{border:1px solid var(--border-subtle);background:var(--panel-bg-strong);width:100%;color:var(--text-primary);border-radius:.5rem;padding:.5rem .65rem;font-size:.86rem}.dock-control:focus{border-color:var(--accent);outline:none}.dock-control:disabled{opacity:.6}.dock-textarea{resize:vertical;min-height:6.5rem;line-height:1.55}.dock-row{grid-template-columns:1fr 1fr;gap:.6rem;display:grid}.dock-group{border:1px solid var(--border-subtle);border-radius:.7rem;padding:.75rem}.dock-group-title{letter-spacing:.12em;text-transform:uppercase;color:var(--text-muted);align-items:center;gap:.45rem;font-size:.66rem;font-weight:700;display:flex}.dock-count{border:1px solid var(--border-subtle);color:var(--text-secondary);border-radius:999px;padding:.02rem .45rem;font-size:.66rem}.dock-hint{color:var(--text-muted);margin-top:.35rem;font-size:.75rem;line-height:1.5}.dock-checklist{flex-direction:column;gap:.35rem;max-height:15rem;margin-top:.6rem;display:flex;overflow-y:auto}.dock-check{cursor:pointer;border:1px solid #0000;border-radius:.5rem;align-items:flex-start;gap:.55rem;padding:.45rem .5rem;display:flex}.dock-check:hover{background:var(--panel-bg-soft)}.dock-check input{accent-color:var(--accent);margin-top:.2rem}.dock-check-body{flex-direction:column;min-width:0;display:flex}.dock-check-title{color:var(--text-primary);font-size:.84rem;font-weight:600}.dock-check-meta{color:var(--text-muted);font-size:.72rem}.dock-actions{flex-wrap:wrap;gap:.45rem;display:flex}.dock-empty{color:var(--text-muted);padding:1.2rem .4rem;font-size:.86rem;line-height:1.6}.dock-banner{border-radius:.6rem;align-items:center;gap:.55rem;padding:.6rem .75rem;font-size:.84rem;font-weight:600;display:flex}.dock-banner-ok{border:1px solid var(--status-proved)}@supports (color:color-mix(in lab, red, red)){.dock-banner-ok{border:1px solid color-mix(in srgb, var(--status-proved) 40%, transparent)}}.dock-banner-ok{background:var(--status-proved)}@supports (color:color-mix(in lab, red, red)){.dock-banner-ok{background:color-mix(in srgb, var(--status-proved) 10%, transparent)}}.dock-banner-ok{color:var(--status-proved)}.dock-banner-warn{border:1px solid var(--status-attention)}@supports (color:color-mix(in lab, red, red)){.dock-banner-warn{border:1px solid color-mix(in srgb, var(--status-attention) 40%, transparent)}}.dock-banner-warn{background:var(--status-attention)}@supports (color:color-mix(in lab, red, red)){.dock-banner-warn{background:color-mix(in srgb, var(--status-attention) 10%, transparent)}}.dock-banner-warn{color:var(--status-attention)}.dock-preview{border:1px solid var(--border-subtle);background:var(--panel-bg-strong);text-align:left;border-radius:.55rem;width:100%;margin-top:.5rem;padding:.65rem .75rem;transition:border-color .13s;display:block}.dock-preview:hover{border-color:var(--accent)}@supports (color:color-mix(in lab, red, red)){.dock-preview:hover{border-color:color-mix(in srgb, var(--accent) 45%, transparent)}}.dock-preview-prose{max-height:11rem;font-size:.84rem;overflow:hidden;-webkit-mask-image:linear-gradient(#000 78%,#0000);mask-image:linear-gradient(#000 78%,#0000)}.segmented-tabs{border:1px solid var(--border-subtle);background:var(--panel-bg-soft);border-radius:.55rem;flex-shrink:0;align-items:center;gap:2px;padding:3px;display:inline-flex}.segmented-tab{color:var(--text-muted);border-radius:.4rem;padding:.32rem .85rem;font-size:.78rem;font-weight:650;transition:background .12s,color .12s}.segmented-tab:hover{color:var(--text-primary)}.segmented-tab.is-active{background:var(--panel-bg);color:var(--text-primary);box-shadow:0 1px 4px #080b1340}.dialog-overlay{z-index:70;background:var(--scrim);-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px);place-items:center;padding:1rem;display:grid;position:fixed;inset:0}.dialog-overlay-top{place-items:start center;padding-top:clamp(2rem,12vh,8rem)}.dialog-panel{border:1px solid var(--border-subtle);background:var(--panel-bg-strong);width:100%;color:var(--text-primary);box-shadow:var(--shadow-2);border-radius:.8rem;flex-direction:column;max-height:min(86vh,46rem);display:flex}.dialog-panel-sm{max-width:26rem}.dialog-panel-md{max-width:34rem}.dialog-panel-lg{max-width:46rem}.dialog-header{justify-content:space-between;align-items:flex-start;gap:.75rem;padding:1rem 1.1rem .4rem;display:flex}.dialog-header h2{color:var(--text-primary);font-size:1.02rem;font-weight:650;line-height:1.35}.dialog-header-actions{flex-shrink:0;align-items:center;gap:.4rem;display:flex}.dialog-body{flex-direction:column;gap:.8rem;padding:.4rem 1.1rem 1.1rem;display:flex;overflow-y:auto}.dialog-description{color:var(--text-secondary);font-size:.86rem;line-height:1.55}.dialog-actions{justify-content:flex-end;gap:.5rem;margin-top:.2rem;display:flex}.dialog-textarea,.share-link-row input{border:1px solid var(--border-subtle);background:var(--panel-bg);width:100%;color:var(--text-primary);border-radius:.5rem;padding:.55rem .7rem;font-size:.86rem;line-height:1.5}.dialog-textarea:focus,.share-link-row input:focus{border-color:var(--accent);outline:none}.confirm-dialog-row{align-items:flex-start;gap:.75rem;display:flex}.confirm-dialog-icon{width:2.4rem;height:2.4rem;color:var(--danger);background:var(--danger);border-radius:.6rem;flex-shrink:0;place-items:center;display:grid}@supports (color:color-mix(in lab, red, red)){.confirm-dialog-icon{background:color-mix(in srgb, var(--danger) 12%, transparent)}}.confirm-dialog-icon{border:1px solid var(--danger)}@supports (color:color-mix(in lab, red, red)){.confirm-dialog-icon{border:1px solid color-mix(in srgb, var(--danger) 30%, transparent)}}.cloud-modal-overlay{z-index:60;background:var(--scrim);-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px);place-items:center;padding:1rem;display:grid;position:fixed;inset:0}.cloud-modal-card{background:var(--panel-bg-strong);border-color:var(--border-subtle);color:var(--text-primary);box-shadow:var(--shadow-2)}.cloud-icon-button{border:1px solid var(--border-subtle);background:var(--button-bg);width:2.1rem;height:2.1rem;color:var(--text-secondary);border-radius:.5rem;place-items:center;display:grid}.cloud-icon-button:hover{border-color:var(--border-strong);color:var(--text-primary)}.cloud-link-button{color:var(--accent-strong);font-weight:700}.cloud-link-button:hover{text-decoration:underline}.account-menu-card{background:var(--panel-bg-strong);border-color:var(--border-subtle);color:var(--text-primary);box-shadow:var(--shadow-2)}.add-route-modal-card{background:var(--panel-bg-strong);color:var(--text-primary);box-shadow:var(--shadow-2);border-color:var(--border-subtle)!important}.settings-drawer{background:var(--panel-bg-strong);border-color:var(--border-subtle);color:var(--text-primary)}.settings-backdrop-button{background:0 0}.settings-section{border:1px solid var(--border-subtle);border-radius:.7rem;padding:.9rem}.settings-section>h3{letter-spacing:.14em;text-transform:uppercase;color:var(--text-muted);margin-bottom:.7rem;font-size:.7rem;font-weight:700}.settings-segment{border:1px solid var(--border-subtle);background:var(--button-bg);color:var(--text-secondary);border-radius:.5rem;justify-content:center;align-items:center;gap:.4rem;padding:.5rem .6rem;font-size:.82rem;font-weight:600;display:inline-flex}.settings-segment:hover{border-color:var(--border-strong);color:var(--text-primary)}.settings-segment.is-active{border-color:var(--accent);background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.settings-segment.is-active{background:color-mix(in srgb, var(--accent) 12%, transparent)}}.settings-segment.is-active{color:var(--text-primary)}.settings-label{letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);font-size:.74rem;font-weight:700;display:block}.settings-control{border:1px solid var(--border-subtle);background:var(--panel-bg);width:100%;color:var(--text-primary);letter-spacing:normal;text-transform:none;border-radius:.5rem;padding:.5rem .65rem;font-size:.86rem;font-weight:500;display:block}.settings-control:focus{border-color:var(--accent);outline:none}.settings-range{width:100%;accent-color:var(--accent)}.settings-value{color:var(--text-secondary);text-align:right;font-variant-numeric:tabular-nums;min-width:3.2rem;font-size:.78rem;font-weight:600}.settings-action{border:1px solid var(--border-subtle);background:var(--button-bg);width:100%;color:var(--text-primary);text-align:left;border-radius:.55rem;align-items:center;gap:.55rem;padding:.55rem .7rem;font-size:.84rem;font-weight:600;display:flex}.settings-action:hover:not(:disabled){border-color:var(--border-strong);background:var(--button-bg-hover)}.settings-action:disabled{opacity:.5}.settings-action-danger{color:var(--danger);border-color:var(--danger)}@supports (color:color-mix(in lab, red, red)){.settings-action-danger{border-color:color-mix(in srgb, var(--danger) 35%, transparent)}}.settings-action-danger:hover:not(:disabled){background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.settings-action-danger:hover:not(:disabled){background:color-mix(in srgb, var(--danger) 10%, transparent)}}.settings-icon-button{border:1px solid var(--border-subtle);background:var(--button-bg);width:2.1rem;height:2.1rem;color:var(--text-secondary);border-radius:.5rem;place-items:center;display:grid}.settings-icon-button:hover{border-color:var(--border-strong);color:var(--text-primary)}.graph-focus-exit-button{z-index:45;border:1px solid var(--border-strong);background:var(--panel-bg-strong);color:var(--text-primary);box-shadow:var(--shadow-2);border-radius:999px;align-items:center;gap:.45rem;padding:.5rem .85rem;font-size:.8rem;font-weight:650;display:inline-flex;position:fixed;top:.9rem;right:.9rem}.math-prose{color:var(--text-primary);overflow-wrap:break-word;font-size:.95rem;line-height:1.7}.math-prose>*+*{margin-top:.75em}.math-prose h1,.math-prose h2,.math-prose h3{color:var(--text-primary);font-weight:600;line-height:1.3}.math-prose h1{margin-top:1.1em;font-size:1.45em}.math-prose h2{margin-top:1.1em;font-size:1.18em}.math-prose h3{margin-top:1em;font-size:1.05em}.math-prose h1:first-child,.math-prose h2:first-child,.math-prose h3:first-child{margin-top:0}.math-prose ul,.math-prose ol{flex-direction:column;gap:.3em;padding-left:1.4em;display:flex}.math-prose ul{list-style:outside}.math-prose ol{list-style:decimal}.math-prose blockquote{border-left:3px solid var(--border-strong);color:var(--text-secondary);padding-left:.9em}.math-prose code{font-family:var(--font-mono);background:var(--panel-bg-soft);border:1px solid var(--border-subtle);border-radius:.3em;padding:.08em .35em;font-size:.9em}.math-display{padding:.35em .1em;overflow:auto hidden}.math-display .katex-display{margin:.2em 0}.math-prose .katex{font-size:1.06em}.math-error{font-family:var(--font-mono);color:var(--danger);background:var(--danger);font-size:.85em}@supports (color:color-mix(in lab, red, red)){.math-error{background:color-mix(in srgb, var(--danger) 10%, transparent)}}.math-error{border:1px dashed var(--danger)}@supports (color:color-mix(in lab, red, red)){.math-error{border:1px dashed color-mix(in srgb, var(--danger) 55%, transparent)}}.math-error{cursor:help;border-radius:.3em;padding:.08em .4em}.math-error-block{white-space:pre-wrap;padding:.5em .7em;display:block}.math-error-list{flex-direction:column;gap:.35rem;margin-top:.45rem;display:flex}.math-error-list li{color:var(--danger);align-items:flex-start;gap:.45rem;font-size:.78rem;line-height:1.45;display:flex}.math-error-list li svg{flex-shrink:0;margin-top:.15em}.math-error-list code{font-family:var(--font-mono);background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.math-error-list code{background:color-mix(in srgb, var(--danger) 10%, transparent)}}.math-error-list code{border-radius:.25em;padding:0 .3em}.proof-article{max-width:44rem;font-family:var(--font-serif);margin:0 auto}.proof-article .math-prose{font-family:inherit;font-size:1.05rem;line-height:1.78}.proof-article-kicker{letter-spacing:.18em;text-transform:uppercase;color:var(--brass);margin-bottom:.6rem;font-family:Inter,ui-sans-serif,system-ui,sans-serif;font-size:.7rem;font-weight:700}.proof-article-title{color:var(--text-primary);margin-bottom:1rem;font-size:1.9rem;font-weight:600;line-height:1.22}.proof-article-heading{letter-spacing:.16em;text-transform:uppercase;color:var(--text-muted);margin:1.4rem 0 .5rem;font-family:Inter,ui-sans-serif,system-ui,sans-serif;font-size:.74rem;font-weight:700}.proof-article-section+.proof-article-section{margin-top:.8rem}.proof-article-empty{color:var(--text-muted);font-style:italic}.proof-article-footer{border-top:1px solid var(--border-subtle);color:var(--text-secondary);flex-direction:column;gap:.9rem;margin-top:2.2rem;padding-top:1.1rem;font-family:Inter,ui-sans-serif,system-ui,sans-serif;font-size:.82rem;display:flex}.proof-article-footer svg{vertical-align:-.12em;display:inline}.proof-article-dependencies h2{letter-spacing:.16em;text-transform:uppercase;color:var(--text-muted);margin-bottom:.5rem;font-size:.72rem;font-weight:700}.proof-article-dependencies ul{flex-direction:column;gap:.35rem;display:flex}.proof-article-dependencies li{flex-wrap:wrap;align-items:baseline;gap:.15rem .6rem;display:flex}.dependency-title{color:var(--text-primary);font-weight:600;font-family:var(--font-serif)}.dependency-meta{color:var(--text-muted);font-size:.76rem}.proof-article-byline{color:var(--text-muted);font-size:.78rem}.proof-article-compact{max-width:44rem;margin:0}.workspace-overlay,.reading-overlay{z-index:60;background:var(--app-bg);color:var(--text-primary);flex-direction:column;animation:.17s ease-out overlay-rise;display:flex;position:fixed;inset:0}@keyframes overlay-rise{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:none}}.workspace-header,.reading-header{border-bottom:1px solid var(--border-subtle);background:var(--panel-bg);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem 1rem;padding:.6rem 1rem;display:flex}.workspace-header-main{flex:18rem;align-items:center;gap:.6rem;min-width:0;display:flex}.workspace-title-input{min-width:0;font-family:var(--font-serif);color:var(--text-primary);background:0 0;border:none;border-bottom:1.5px solid #0000;border-radius:0;flex:1;padding:.3rem .1rem;font-size:1.12rem;font-weight:600;transition:border-color .14s}.workspace-title-input:hover:not(:disabled){border-bottom-color:var(--border-subtle)}.workspace-title-input:focus{border-bottom-color:var(--accent);outline:none}.workspace-header-controls{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.workspace-meta-control{letter-spacing:.1em;text-transform:uppercase;color:var(--text-muted);align-items:center;gap:.4rem;font-size:.68rem;font-weight:700;display:flex}.workspace-meta-control select{appearance:none;border:1px solid var(--border-subtle);background:var(--button-bg);color:var(--text-primary);letter-spacing:normal;text-transform:none;background-image:linear-gradient(45deg, transparent 50%, var(--text-muted) 50%), linear-gradient(135deg, var(--text-muted) 50%, transparent 50%);background-position:calc(100% - .85rem) 55%,calc(100% - .55rem) 55%;background-repeat:no-repeat;background-size:.3rem .3rem;border-radius:.5rem;padding:.34rem 1.5rem .34rem .55rem;font-size:.82rem;font-weight:600}.workspace-save-group{align-items:center;gap:.45rem;display:inline-flex}.workspace-flush-notice{color:var(--success);align-items:center;gap:.25rem;font-size:.76rem;font-weight:600;display:inline-flex}.workspace-readonly-banner{border:1px solid var(--warning);margin:.6rem 1rem 0}@supports (color:color-mix(in lab, red, red)){.workspace-readonly-banner{border:1px solid color-mix(in srgb, var(--warning) 40%, transparent)}}.workspace-readonly-banner{background:var(--warning)}@supports (color:color-mix(in lab, red, red)){.workspace-readonly-banner{background:color-mix(in srgb, var(--warning) 10%, transparent)}}.workspace-readonly-banner{color:var(--text-primary);border-radius:.6rem;padding:.55rem .8rem;font-size:.82rem;font-weight:600}.workspace-body{flex:1;grid-template-columns:minmax(0,1fr) minmax(0,1fr);min-height:0;display:grid}.workspace-editor-pane{border-right:1px solid var(--border-subtle);background:var(--panel-bg);flex-direction:column;gap:1.1rem;min-height:0;padding:1.1rem 1.2rem 2rem;display:flex;overflow-y:auto}.workspace-section{flex-direction:column;gap:.4rem;display:flex}.workspace-section-label{letter-spacing:.16em;text-transform:uppercase;color:var(--text-muted);align-items:center;gap:.5rem;font-size:.7rem;font-weight:700;display:flex}.workspace-section-error-badge{letter-spacing:.04em;color:var(--danger);border:1px solid var(--danger);font-size:.68rem;font-weight:700}@supports (color:color-mix(in lab, red, red)){.workspace-section-error-badge{border:1px solid color-mix(in srgb, var(--danger) 45%, transparent)}}.workspace-section-error-badge{background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.workspace-section-error-badge{background:color-mix(in srgb, var(--danger) 10%, transparent)}}.workspace-section-error-badge{text-transform:none;border-radius:999px;padding:.05rem .5rem}.workspace-textarea{field-sizing:content;resize:vertical;border:1px solid var(--border-subtle);background:var(--panel-bg-strong);width:100%;min-height:7.5rem;color:var(--text-primary);font-family:var(--font-mono);border-radius:.6rem;padding:.75rem .9rem;font-size:.9rem;line-height:1.65;transition:border-color .14s}#workspace-proofMarkdown{min-height:15rem}.workspace-textarea:focus{border-color:var(--accent);outline:none}.workspace-textarea::placeholder{color:var(--text-muted);opacity:.75}.workspace-syntax-hint{color:var(--text-muted);font-size:.76rem;line-height:1.7}.workspace-syntax-hint code{font-family:var(--font-mono);background:var(--panel-bg-soft);border-radius:.3em;padding:.05em .35em}.workspace-preview-pane{background:var(--app-bg);min-height:0;padding:1.6rem 1.8rem 3rem;overflow-y:auto}.workspace-pane-tabs{display:none}.workspace-error-count{color:var(--danger);border:1px solid var(--danger);margin-left:.35rem;font-size:.68rem;font-weight:700}@supports (color:color-mix(in lab, red, red)){.workspace-error-count{border:1px solid color-mix(in srgb, var(--danger) 45%, transparent)}}.workspace-error-count{border-radius:999px;padding:0 .4rem}.workspace-back-label{font-weight:650}.reading-header-main,.reading-header-actions{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.reading-shared-badge{letter-spacing:.12em;text-transform:uppercase;color:var(--brass);border:1px solid var(--brass);font-size:.7rem;font-weight:700}@supports (color:color-mix(in lab, red, red)){.reading-shared-badge{border:1px solid color-mix(in srgb, var(--brass) 45%, transparent)}}.reading-shared-badge{background:var(--brass-soft);border-radius:999px;padding:.2rem .7rem}.reading-scroll{flex:1;min-height:0;padding:2.4rem 1.4rem 4rem;overflow-y:auto}.reading-status-note{border:1px solid var(--warning);max-width:44rem;margin:0 auto 1.4rem}@supports (color:color-mix(in lab, red, red)){.reading-status-note{border:1px solid color-mix(in srgb, var(--warning) 40%, transparent)}}.reading-status-note{background:var(--warning)}@supports (color:color-mix(in lab, red, red)){.reading-status-note{background:color-mix(in srgb, var(--warning) 10%, transparent)}}.reading-status-note{color:var(--text-primary);border-radius:.6rem;padding:.7rem .9rem;font-size:.84rem;line-height:1.55}.export-menu{align-items:center;gap:.5rem;display:inline-flex;position:relative}.export-menu-popover{z-index:30;border:1px solid var(--border-subtle);background:var(--panel-bg-strong);min-width:15rem;box-shadow:var(--shadow-2);border-radius:.6rem;flex-direction:column;padding:.35rem;display:flex;position:absolute;top:calc(100% + .4rem);right:0}.export-menu-item{color:var(--text-primary);text-align:left;border-radius:.45rem;align-items:center;gap:.6rem;padding:.5rem .65rem;font-size:.84rem;font-weight:550;display:flex}.export-menu-item:hover{background:var(--panel-bg-soft)}.export-feedback{color:var(--success);white-space:nowrap;align-items:center;gap:.25rem;min-width:0;font-size:.76rem;font-weight:600;display:inline-flex}.save-status{color:var(--text-muted);white-space:nowrap;align-items:center;gap:.35rem;font-size:.72rem;font-weight:600;line-height:1.1;display:inline-flex}.save-status-ok{color:var(--text-muted)}.save-status-busy{color:var(--accent-strong)}.save-status-warn{color:var(--warning)}.save-status-error{color:var(--danger)}.save-status-retry{border:1px solid var(--danger);align-items:center;gap:.25rem;margin-left:.2rem;display:inline-flex}@supports (color:color-mix(in lab, red, red)){.save-status-retry{border:1px solid color-mix(in srgb, var(--danger) 45%, transparent)}}.save-status-retry{color:var(--danger);border-radius:999px;padding:.1rem .55rem;font-size:.72rem;font-weight:700}.save-status-retry:hover{background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.save-status-retry:hover{background:color-mix(in srgb, var(--danger) 12%, transparent)}}.palette-panel{border:1px solid var(--border-subtle);background:var(--panel-bg-strong);width:100%;max-width:36rem;box-shadow:var(--shadow-2);border-radius:.8rem;overflow:hidden}.palette-input-row{border-bottom:1px solid var(--border-subtle);color:var(--text-muted);align-items:center;gap:.6rem;padding:.85rem 1rem;display:flex}.palette-input-row input{color:var(--text-primary);background:0 0;border:none;outline:none;flex:1;font-size:.95rem}.palette-input-row kbd,.palette-footer kbd{color:var(--text-muted);border:1px solid var(--border-subtle);border-radius:.3rem;align-items:center;padding:.1rem .35rem;font-family:inherit;font-size:.68rem;font-weight:700;display:inline-flex}.palette-results{max-height:min(50vh,22rem);padding:.35rem;overflow-y:auto}.palette-item{cursor:pointer;border-radius:.5rem;justify-content:space-between;align-items:center;gap:.6rem;padding:.55rem .7rem;display:flex}.palette-item.is-active{background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.palette-item.is-active{background:color-mix(in srgb, var(--accent) 13%, transparent)}}.palette-item-main{flex-direction:column;gap:.1rem;min-width:0;display:flex}.palette-item-title{color:var(--text-primary);text-overflow:ellipsis;white-space:nowrap;font-size:.9rem;font-weight:600;overflow:hidden}.palette-item-meta{color:var(--text-muted);font-size:.74rem}.palette-item-actions{flex-shrink:0;gap:.3rem;display:none}.palette-item.is-active .palette-item-actions{display:inline-flex}.palette-item-actions button{border:1px solid var(--border-subtle);background:var(--button-bg);width:1.8rem;height:1.8rem;color:var(--text-secondary);border-radius:.45rem;place-items:center;display:grid}.palette-item-actions button:hover{color:var(--text-primary);border-color:var(--border-strong)}.palette-empty{color:var(--text-muted);padding:1rem;font-size:.86rem}.palette-footer{border-top:1px solid var(--border-subtle);color:var(--text-muted);align-items:center;gap:.45rem;padding:.55rem 1rem;font-size:.74rem;display:flex}.share-link-row{align-items:center;gap:.5rem;display:flex}.share-link-row input{font-family:var(--font-mono);flex:1;font-size:.78rem}.share-short-section{flex-direction:column;align-items:flex-start;gap:.5rem;display:flex}.share-hint{color:var(--text-muted);font-size:.8rem;line-height:1.55}.share-error{color:var(--danger);font-size:.8rem;line-height:1.5}.share-copy-actions{border-top:1px solid var(--border-subtle);flex-wrap:wrap;align-items:center;gap:.4rem;padding-top:.8rem;display:flex}.share-copy-label{color:var(--text-muted);margin-right:.2rem;font-size:.78rem;font-weight:600}.error-boundary{border:1px solid var(--danger);flex-direction:column;align-items:flex-start;gap:.7rem;max-width:34rem;margin:3rem auto;display:flex}@supports (color:color-mix(in lab, red, red)){.error-boundary{border:1px solid color-mix(in srgb, var(--danger) 40%, transparent)}}.error-boundary{background:var(--danger)}@supports (color:color-mix(in lab, red, red)){.error-boundary{background:color-mix(in srgb, var(--danger) 8%, transparent)}}.error-boundary{color:var(--text-primary);border-radius:.75rem;padding:1.4rem}.error-boundary h2{font-size:1.05rem;font-weight:650}.error-boundary p{color:var(--text-secondary);font-size:.88rem;line-height:1.55}.error-boundary pre{width:100%;color:var(--danger);background:var(--panel-bg);border-radius:.5rem;padding:.6rem;font-size:.75rem;overflow-x:auto}.overlay-loading{z-index:65;color:var(--text-secondary);background:var(--app-bg);justify-content:center;align-items:center;gap:.6rem;font-size:.9rem;font-weight:600;display:flex;position:fixed;inset:0}@supports (color:color-mix(in lab, red, red)){.overlay-loading{background:color-mix(in srgb, var(--app-bg) 82%, transparent)}}.overlay-loading{-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px)}.shared-error{border:1px solid var(--border-subtle);background:var(--panel-bg-strong);max-width:30rem;color:var(--text-primary);border-radius:.75rem;flex-direction:column;align-items:flex-start;gap:.8rem;margin:18vh auto 0;padding:1.5rem;display:flex}.shared-error h1{font-size:1.15rem;font-weight:650}.shared-error p{color:var(--text-secondary);font-size:.88rem;line-height:1.6}@media (width<=920px){.command-bar{gap:.4rem;padding:0 .5rem}.bar-button-primary span{display:none}.bar-button-primary{justify-content:center;width:34px;padding:0}.notebook-switcher{max-width:38vw}.command-bar-left .save-status-label{display:none}.dock{border-left:none;border-top:1px solid var(--border-subtle);border-radius:1rem 1rem 0 0;max-height:62vh;animation:.19s ease-out sheet-in;inset:auto 0 0;box-shadow:0 -18px 48px #080b1359;width:100%!important}@keyframes sheet-in{0%{opacity:.5;transform:translateY(24px)}to{opacity:1;transform:none}}.dock-resize-handle{display:none}.selection-bar{flex-wrap:wrap;justify-content:center;gap:.4rem;max-width:calc(100vw - 1rem);padding:.4rem .45rem .4rem .7rem;bottom:.6rem}.selection-bar-title{max-width:12rem}.selection-bar-button span{display:inline}.nb-popover{width:auto;position:fixed;top:56px;left:.75rem;right:.75rem}.workspace-body{grid-template-columns:1fr}.workspace-editor-pane{border-right:none}.workspace-pane-tabs{background:var(--panel-bg);gap:.4rem;padding:.55rem 1rem 0;display:flex}.workspace-pane-tabs button{border:1px solid var(--border-subtle);background:var(--button-bg);color:var(--text-secondary);border-radius:.5rem;flex:1;justify-content:center;align-items:center;padding:.5rem;font-size:.82rem;font-weight:650;display:inline-flex}.workspace-pane-tabs button.is-active{color:var(--text-primary);border-color:var(--accent);background:var(--accent)}@supports (color:color-mix(in lab, red, red)){.workspace-pane-tabs button.is-active{background:color-mix(in srgb, var(--accent) 12%, transparent)}}.workspace-pane-hidden-mobile{display:none}.reading-scroll{padding:1.4rem 1rem 3rem}.workspace-back-label{display:none}.graph-legend{width:min(236px,100vw - 2rem);bottom:4.4rem}.graph-legend-toggle{bottom:4.4rem}.node-onboarding-hint{display:none}}@media (width>=921px){.workspace-pane-hidden-mobile{flex-direction:column;display:flex}section.workspace-preview-pane.workspace-pane-hidden-mobile{display:block}}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.app-shell.motion-off *,.app-shell.motion-off :before,.app-shell.motion-off :after{transition-duration:.01ms!important;animation-duration:.01ms!important}@media print{body{background:#fff;overflow:visible}.app-shell>:not(.reading-overlay):not(.workspace-overlay),.workspace-overlay{display:none!important}.reading-overlay{color:#000;background:#fff;animation:none;position:static}.reading-header,.reading-status-note{display:none!important}.reading-scroll{padding:0;overflow:visible}.proof-article,.proof-article .math-prose,.proof-article-title,.math-prose h1,.math-prose h2,.math-prose h3,.dependency-title{color:#000!important}.proof-article-kicker,.proof-article-heading,.proof-article-byline,.dependency-meta,.proof-article-footer{color:#333!important}.proof-article-footer{border-top-color:#bbb}.math-prose code{background:#f3f3f3;border-color:#ccc}}@media (width>=921px){div:has(>.dock)>.selection-bar{left:max(21rem,50% - 200px)}}.graph-ghost svg{transform:translateY(-148px)}@media (width<=560px){.bar-redo,.command-bar-left .save-status{display:none}.notebook-switcher{max-width:34vw}.command-bar-right{gap:.1rem}.selection-bar-icon[aria-label=Clear\ selection]{display:none}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{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-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}@property --tw-backdrop-blur{syntax:"*";inherits:false}@property --tw-backdrop-brightness{syntax:"*";inherits:false}@property --tw-backdrop-contrast{syntax:"*";inherits:false}@property --tw-backdrop-grayscale{syntax:"*";inherits:false}@property --tw-backdrop-hue-rotate{syntax:"*";inherits:false}@property --tw-backdrop-invert{syntax:"*";inherits:false}@property --tw-backdrop-opacity{syntax:"*";inherits:false}@property --tw-backdrop-saturate{syntax:"*";inherits:false}@property --tw-backdrop-sepia{syntax:"*";inherits:false}@keyframes spin{to{transform:rotate(360deg)}}