/*! tailwindcss v4.3.3 | 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-font-weight:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-outline-style:solid;--tw-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-leading:initial;--tw-border-style:solid;--tw-translate-x:0;--tw-translate-y:0;--tw-translate-z:0}}}@layer theme{:root,:host{--font-sans:"Geist", system-ui, -apple-system, "Segoe UI", sans-serif;--font-mono:"JetBrains Mono", ui-monospace, Menlo, monospace;--spacing:.25rem;--text-xs:.75rem;--text-xs--line-height:calc(1 / .75);--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--text-base:1rem;--text-base--line-height:calc(1.5 / 1);--font-weight-normal:400;--font-weight-medium:500;--leading-snug:1.375;--leading-normal:1.5;--radius-xs:6px;--radius-sm:8px;--radius-md:10px;--radius-lg:12px;--radius-xl:16px;--shadow-sm:0 1px 2px #00000014;--shadow-md:0 4px 16px #00000014;--shadow-lg:0 12px 32px #0000001f;--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);--color-background:var(--background);--color-foreground:var(--foreground);--color-card:var(--card);--color-card-foreground:var(--card-foreground);--color-primary:var(--primary);--color-primary-foreground:var(--primary-foreground);--color-secondary:var(--secondary);--color-secondary-foreground:var(--secondary-foreground);--color-muted:var(--muted);--color-muted-foreground:var(--muted-foreground);--color-destructive:var(--destructive);--color-border:#e4e4e7;--color-input:var(--input);--color-ring:var(--ring);--color-bg:#fff;--color-surface:#fafafa;--color-surface-2:#f4f4f5;--color-hairline:#f0f0f2;--color-border-strong:#8a8a93;--color-text:#18181b;--color-text-2:#3f3f46;--color-text-muted:#52525b;--color-text-subtle:#71717a;--color-ink:#18181b;--color-ink-hover:#27272a;--color-tree-future:#d4d4d8;--color-ev-unit:#0369a1;--color-ev-unit-soft:#f0f9ff;--color-ev-branch:#b45309;--color-ev-branch-soft:#fffbeb;--color-ev-conflict:#b91c1c;--color-ev-conflict-soft:#fef2f2;--color-ev-sat:#15803d;--color-ev-sat-soft:#f0fdf4;--color-ev-back:#6d28d9;--color-ev-back-soft:#f5f3ff;--color-ev-res:#a21caf;--color-ev-res-soft:#fdf4ff;--weight-regular:400;--weight-medium:500;--weight-semibold:600;--radius-full:999px;--dur-fast:.12s;--dur-base:.2s;--dur-slow:.32s;--ease:cubic-bezier(.2, 0, 0, 1);--content-max:1200px}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-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:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}*{border-color:var(--color-border);outline-color:var(--color-ring)}@supports (color:color-mix(in lab, red, red)){*{outline-color:color-mix(in oklab, var(--color-ring) 50%, transparent)}}body{overscroll-behavior:none;background-color:var(--color-background);color:var(--color-foreground)}hr:where([aria-orientation=vertical]){border-block-start-width:0;border-inline-start-width:1px;flex-shrink:0;align-self:stretch;block-size:auto;inline-size:1px;margin:0}img,svg,video,canvas{max-width:100%}h1,h2,h3,h4{color:var(--color-text);font-weight:var(--weight-semibold)}h1{font-size:1.75rem;line-height:1.25}h2{font-size:1.375rem;line-height:1.35}h3{font-size:1.125rem;line-height:1.5}[hidden]{display:none!important}p,h1,h2,h3,h4,li{overflow-wrap:break-word}strong,b{font-weight:var(--weight-semibold)}code,kbd,pre{font-family:var(--font-mono)}code sub{font-size:.75em;line-height:0}.sym{font-family:var(--font-mono);font-size:.95em}html{scroll-behavior:auto}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}body{background:var(--color-bg);color:var(--color-text);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;min-height:100dvh;padding-bottom:calc(var(--tabbar-height) + env(safe-area-inset-bottom,0px));flex-direction:column;font-size:1rem;line-height:1.6;display:flex}main{flex:1;padding-block:24px}body>main:first-child{margin-top:calc(var(--credits-bar-height) + var(--header-height) + var(--header-border))}@media (min-width:768px){body{padding-bottom:0}main{padding-block:32px}}@media (min-width:1200px){main{padding-block:48px}}button{cursor:pointer}a{color:var(--color-text);text-underline-offset:2px;text-decoration:underline}a:hover{color:var(--color-ev-unit)}::view-transition-group(*){animation-duration:var(--dur-base);animation-timing-function:var(--ease)}::view-transition-old(*){animation-duration:var(--dur-base);animation-timing-function:var(--ease)}::view-transition-new(*){animation-duration:var(--dur-base);animation-timing-function:var(--ease)}@media (prefers-reduced-motion:reduce){:root{--dur-fast:0s;--dur-base:0s;--dur-slow:0s}*,:before,:after,::backdrop{transition-duration:var(--dur-fast)!important;transition-delay:var(--dur-fast)!important;animation-duration:var(--dur-fast)!important;animation-delay:var(--dur-fast)!important}::details-content{transition-duration:var(--dur-fast)!important}}}@layer components{.btn{white-space:nowrap;transition-property:all;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration));--tw-outline-style:none;-webkit-user-select:none;user-select:none;outline-style:none;flex-shrink:0;justify-content:center;align-items:center;display:inline-flex}.btn:disabled{pointer-events:none;opacity:.5}.btn svg{pointer-events:none;flex-shrink:0}.card{flex-direction:column;display:flex}.card>header{grid-auto-rows:min-content;align-items:flex-start;display:grid;container:card-header/inline-size}.card>header:has(>[data-slot=card-action],>.card-action){grid-template-columns:1fr auto}.card>header:has(>p){grid-template-rows:auto auto}.card>header>:is(h2,h3,[data-title],.card-title){--tw-leading:1;line-height:1}.card>header>:is([data-slot=card-action],.card-action){grid-row:1/span 2;grid-column-start:2;place-self:flex-start flex-end}.card>header>menu.card-action{margin:0;padding:0;list-style-type:none}.card>footer{align-items:center;display:flex}.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]){--tw-outline-style:none;outline-style:none;width:100%;min-width:0}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{display:inline-flex}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{border-style:var(--tw-border-style);border-width:0}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{background-color:#0000}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{color:var(--color-foreground)}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::placeholder{color:var(--color-muted-foreground)}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):disabled{pointer-events:none;cursor:not-allowed;opacity:.5}.field>select,select.select{appearance:none;--tw-outline-style:none;-webkit-user-select:none;user-select:none;outline-style:none;min-width:0}:is(.field>select,select.select):disabled{cursor:not-allowed;opacity:.5}:is(.field>select,select.select) option,:is(.field>select,select.select) optgroup{color:canvastext;background-color:canvas}.accordion>details:not(:last-child){border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.accordion>details>summary{border-radius:var(--radius-md);padding-block:calc(var(--spacing) * 4);text-align:left;font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}@media (hover:hover){.accordion>details>summary:hover{text-decoration-line:underline}}.accordion>details>summary:focus-visible{border-color:var(--color-ring);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-ring)}@supports (color:color-mix(in lab, red, red)){.accordion>details>summary:focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-ring) 50%, transparent)}}.accordion>details>summary>svg:last-child{width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4);color:var(--color-muted-foreground);margin-inline-start:auto}.accordion>details>:not(summary){padding-top:0;padding-bottom:calc(var(--spacing) * 4);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.btn{border-radius:var(--radius-md);border-style:var(--tw-border-style);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium);background-clip:padding-box;border-width:1px;border-color:#0000}.btn:focus-visible{border-color:var(--color-ring);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-ring)}@supports (color:color-mix(in lab, red, red)){.btn:focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-ring) 50%, transparent)}}.btn:active:not([aria-haspopup]){--tw-translate-y:1px;translate:var(--tw-translate-x) var(--tw-translate-y)}.btn[aria-invalid=true]{border-color:var(--color-destructive);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}.btn:is(html.dark *)[aria-invalid=true]{border-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn:is(html.dark *)[aria-invalid=true]{border-color:color-mix(in oklab, var(--color-destructive) 50%, transparent)}}.btn:is(html.dark *)[aria-invalid=true]{--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn:is(html.dark *)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 40%, transparent)}}.btn:not([data-size]),.btn[data-size=default]{height:calc(var(--spacing) * 9);gap:calc(var(--spacing) * 1.5);padding-inline:calc(var(--spacing) * 2.5)}:is(.btn:not([data-size]),.btn[data-size=default]):has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 2)}:is(.btn:not([data-size]),.btn[data-size=default]):has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 2)}.btn[data-size=xs]{height:calc(var(--spacing) * 6);gap:var(--spacing);border-radius:min(var(--radius-md), 8px);padding-inline:calc(var(--spacing) * 2);font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.btn[data-size=xs]:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 1.5)}.btn[data-size=xs]:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 1.5)}.btn[data-size=xs] svg:not([class*=size-]){width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.btn[data-size=sm]{height:calc(var(--spacing) * 8);gap:var(--spacing);border-radius:min(var(--radius-md), 10px);padding-inline:calc(var(--spacing) * 2.5)}.btn[data-size=sm]:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 1.5)}.btn[data-size=sm]:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 1.5)}.btn[data-size=lg]{height:calc(var(--spacing) * 10);gap:calc(var(--spacing) * 1.5);padding-inline:calc(var(--spacing) * 2.5)}.btn[data-size=lg]:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 2)}.btn[data-size=lg]:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 2)}.btn[data-size=icon]{width:calc(var(--spacing) * 9);height:calc(var(--spacing) * 9)}.btn[data-size=icon-xs]{width:calc(var(--spacing) * 6);height:calc(var(--spacing) * 6);border-radius:min(var(--radius-md), 8px)}.btn[data-size=icon-xs] svg:not([class*=size-]){width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.btn[data-size=icon-sm]{width:calc(var(--spacing) * 8);height:calc(var(--spacing) * 8);border-radius:min(var(--radius-md), 10px)}.btn[data-size=icon-lg]{width:calc(var(--spacing) * 10);height:calc(var(--spacing) * 10)}@media (hover:hover){:is(.btn:not([data-variant]),.btn[data-variant=primary]):hover{background-color:var(--color-primary)}@supports (color:color-mix(in lab, red, red)){:is(.btn:not([data-variant]),.btn[data-variant=primary]):hover{background-color:color-mix(in oklab, var(--color-primary) 80%, transparent)}}}@media (hover:hover){.btn[data-variant=secondary]:hover{background-color:var(--secondary)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=secondary]:hover{background-color:color-mix(in oklch,var(--secondary),var(--foreground) 5%)}}}.btn[data-variant=secondary][aria-expanded=true]{background-color:var(--color-secondary);color:var(--color-secondary-foreground)}.btn[data-variant=outline]{border-color:var(--color-border);background-color:var(--color-background);--tw-shadow:0 1px 2px 0 var(--tw-shadow-color,#0000000d);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}@media (hover:hover){.btn[data-variant=outline]:hover{background-color:var(--color-muted);color:var(--color-foreground)}}.btn[data-variant=outline][aria-expanded=true]{background-color:var(--color-muted);color:var(--color-foreground)}.btn[data-variant=outline]:is(html.dark *){border-color:var(--color-input);background-color:var(--color-input)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=outline]:is(html.dark *){background-color:color-mix(in oklab, var(--color-input) 30%, transparent)}}@media (hover:hover){.btn[data-variant=outline]:is(html.dark *):hover{background-color:var(--color-input)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=outline]:is(html.dark *):hover{background-color:color-mix(in oklab, var(--color-input) 50%, transparent)}}.btn[data-variant=ghost]:hover{background-color:var(--color-muted);color:var(--color-foreground)}}.btn[data-variant=ghost][aria-expanded=true]{background-color:var(--color-muted);color:var(--color-foreground)}@media (hover:hover){.btn[data-variant=ghost]:is(html.dark *):hover{background-color:var(--color-muted)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=ghost]:is(html.dark *):hover{background-color:color-mix(in oklab, var(--color-muted) 50%, transparent)}}}.btn[data-variant=link]{color:var(--color-primary);text-underline-offset:4px}@media (hover:hover){.btn[data-variant=link]:hover{text-decoration-line:underline}}.btn[data-variant=destructive]{background-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]{background-color:color-mix(in oklab, var(--color-destructive) 10%, transparent)}}.btn[data-variant=destructive]{color:var(--color-destructive)}@media (hover:hover){.btn[data-variant=destructive]:hover{background-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]:hover{background-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}}.btn[data-variant=destructive]:focus-visible{border-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]:focus-visible{border-color:color-mix(in oklab, var(--color-destructive) 40%, transparent)}}.btn[data-variant=destructive]:focus-visible{--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]:focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}.btn[data-variant=destructive]:is(html.dark *){background-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]:is(html.dark *){background-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}@media (hover:hover){.btn[data-variant=destructive]:is(html.dark *):hover{background-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]:is(html.dark *):hover{background-color:color-mix(in oklab, var(--color-destructive) 30%, transparent)}}}.btn[data-variant=destructive]:is(html.dark *):focus-visible{--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){.btn[data-variant=destructive]:is(html.dark *):focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 40%, transparent)}}.field>textarea,.textarea{border-radius:var(--radius-md);border-style:var(--tw-border-style);border-width:1px;border-color:var(--color-input);padding-inline:calc(var(--spacing) * 2.5);padding-block:calc(var(--spacing) * 2);font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height));--tw-shadow:0 1px 2px 0 var(--tw-shadow-color,#0000000d);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);transition-property:color,box-shadow;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration));background-color:#0000}:is(.field>textarea,.textarea):focus-visible{border-color:var(--color-ring);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-ring)}@supports (color:color-mix(in lab, red, red)){:is(.field>textarea,.textarea):focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-ring) 50%, transparent)}}:is(.field>textarea,.textarea)[aria-invalid=true]{border-color:var(--color-destructive);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>textarea,.textarea)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}@media (min-width:48rem){.field>textarea,.textarea{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}}:is(.field>textarea,.textarea):is(html.dark *){background-color:var(--color-input)}@supports (color:color-mix(in lab, red, red)){:is(.field>textarea,.textarea):is(html.dark *){background-color:color-mix(in oklab, var(--color-input) 30%, transparent)}}:is(.field>textarea,.textarea):is(html.dark *)[aria-invalid=true]{border-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>textarea,.textarea):is(html.dark *)[aria-invalid=true]{border-color:color-mix(in oklab, var(--color-destructive) 50%, transparent)}}:is(.field>textarea,.textarea):is(html.dark *)[aria-invalid=true]{--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>textarea,.textarea):is(html.dark *)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 40%, transparent)}}.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]){height:calc(var(--spacing) * 9);border-radius:var(--radius-md);border-style:var(--tw-border-style);border-width:1px;border-color:var(--color-input);padding-inline:calc(var(--spacing) * 2.5);padding-block:var(--spacing);font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height));--tw-shadow:0 1px 2px 0 var(--tw-shadow-color,#0000000d);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);transition-property:color,box-shadow;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration));background-color:#0000}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{height:calc(var(--spacing) * 7)}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))::file-selector-button{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):focus-visible{border-color:var(--color-ring);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-ring)}@supports (color:color-mix(in lab, red, red)){:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-ring) 50%, transparent)}}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))[aria-invalid=true]{border-color:var(--color-destructive);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]))[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}@media (min-width:48rem){.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type]){font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):is(html.dark *){background-color:var(--color-input)}@supports (color:color-mix(in lab, red, red)){:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):is(html.dark *){background-color:color-mix(in oklab, var(--color-input) 30%, transparent)}}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):is(html.dark *)[aria-invalid=true]{border-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):is(html.dark *)[aria-invalid=true]{border-color:color-mix(in oklab, var(--color-destructive) 50%, transparent)}}:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):is(html.dark *)[aria-invalid=true]{--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>input[type=text]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=email],.field>input[type=password],.field>input[type=number],.field>input[type=file],.field>input[type=tel],.field>input[type=url],.field>input[type=search]:not(:is(.command>header input,.dialog>*>header input)),.field>input[type=date],.field>input[type=datetime-local],.field>input[type=month],.field>input[type=week],.field>input[type=time],.field>input:not([type]),.input[type=text],.input[type=email],.input[type=password],.input[type=number],.input[type=file],.input[type=tel],.input[type=url],.input[type=search],.input[type=date],.input[type=datetime-local],.input[type=month],.input[type=week],.input[type=time],.input:not([type])):is(html.dark *)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 40%, transparent)}}.field>select,select.select{height:calc(var(--spacing) * 9);border-radius:var(--radius-md);border-style:var(--tw-border-style);border-width:1px;border-color:var(--color-input);width:fit-content;padding-block:var(--spacing);font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height));--tw-shadow:0 1px 2px 0 var(--tw-shadow-color,#0000000d);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);transition-property:color,box-shadow;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration));background-color:#0000;padding-inline-start:calc(var(--spacing) * 2.5);padding-inline-end:calc(var(--spacing) * 8)}:is(.field>select,select.select) ::selection{background-color:var(--color-primary)}:is(.field>select,select.select)::selection{background-color:var(--color-primary)}:is(.field>select,select.select) ::selection{color:var(--color-primary-foreground)}:is(.field>select,select.select)::selection{color:var(--color-primary-foreground)}:is(.field>select,select.select)::placeholder{color:var(--color-muted-foreground)}:is(.field>select,select.select):focus-visible{border-color:var(--color-ring);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-ring)}@supports (color:color-mix(in lab, red, red)){:is(.field>select,select.select):focus-visible{--tw-ring-color:color-mix(in oklab, var(--color-ring) 50%, transparent)}}:is(.field>select,select.select)[aria-invalid=true]{border-color:var(--color-destructive);--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow);--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>select,select.select)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 20%, transparent)}}:is(.field>select,select.select)[data-size=sm]{height:calc(var(--spacing) * 8)}@media (min-width:48rem){.field>select,select.select{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}}:is(.field>select,select.select):is(html.dark *){background-color:var(--color-input)}@supports (color:color-mix(in lab, red, red)){:is(.field>select,select.select):is(html.dark *){background-color:color-mix(in oklab, var(--color-input) 30%, transparent)}}@media (hover:hover){:is(.field>select,select.select):is(html.dark *):hover{background-color:var(--color-input)}@supports (color:color-mix(in lab, red, red)){:is(.field>select,select.select):is(html.dark *):hover{background-color:color-mix(in oklab, var(--color-input) 50%, transparent)}}}:is(.field>select,select.select):is(html.dark *)[aria-invalid=true]{border-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>select,select.select):is(html.dark *)[aria-invalid=true]{border-color:color-mix(in oklab, var(--color-destructive) 50%, transparent)}}:is(.field>select,select.select):is(html.dark *)[aria-invalid=true]{--tw-ring-color:var(--color-destructive)}@supports (color:color-mix(in lab, red, red)){:is(.field>select,select.select):is(html.dark *)[aria-invalid=true]{--tw-ring-color:color-mix(in oklab, var(--color-destructive) 40%, transparent)}}.field>select,select.select{background-image:var(--chevron-down-icon-50);background-position:right .625rem center;background-repeat:no-repeat;background-size:1rem}:is(.field>select,select.select):dir(rtl){background-position:.625rem}.card{border-radius:var(--radius-xl);background-color:var(--color-card);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));color:var(--color-card-foreground);--tw-shadow:0 1px 2px 0 var(--tw-shadow-color,#0000000d);--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);--tw-ring-color:var(--color-foreground);overflow:hidden}@supports (color:color-mix(in lab, red, red)){.card{--tw-ring-color:color-mix(in oklab, var(--color-foreground) 10%, transparent)}}.card:has(>img:first-child){padding-top:0}.card>img:first-child{border-top-left-radius:var(--radius-xl);border-top-right-radius:var(--radius-xl)}.card>img:last-child{border-bottom-right-radius:var(--radius-xl);border-bottom-left-radius:var(--radius-xl)}.card{gap:calc(var(--spacing) * 6);padding-block:calc(var(--spacing) * 6)}.card[data-size=sm]{gap:calc(var(--spacing) * 4);padding-block:calc(var(--spacing) * 4)}.card>header{gap:var(--spacing);border-top-left-radius:var(--radius-xl);border-top-right-radius:var(--radius-xl);padding-inline:calc(var(--spacing) * 6)}.card>header.border-b{padding-bottom:calc(var(--spacing) * 6)}.card[data-size=sm]>header{padding-inline:calc(var(--spacing) * 4)}.card[data-size=sm]>header.border-b{padding-bottom:calc(var(--spacing) * 4)}.card>header>:is(h2,h3,[data-title],.card-title){font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height));--tw-leading:var(--leading-normal);line-height:var(--leading-normal);--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.card[data-size=sm]>header>:is(h2,h3,[data-title],.card-title){font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.card>header>:is(p,[data-description],.card-description){font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));color:var(--color-muted-foreground)}.card>section{padding-inline:calc(var(--spacing) * 6)}.card[data-size=sm]>section{padding-inline:calc(var(--spacing) * 4)}.card>footer{border-bottom-right-radius:var(--radius-xl);border-bottom-left-radius:var(--radius-xl);padding-inline:calc(var(--spacing) * 6)}.card>footer.border-t{padding-top:calc(var(--spacing) * 6)}.card[data-size=sm]>footer{padding-inline:calc(var(--spacing) * 4)}.card[data-size=sm]>footer.border-t{padding-top:calc(var(--spacing) * 4)}.fieldset{gap:calc(var(--spacing) * 6)}.fieldset:has(>[data-slot=checkbox-group]),.fieldset:has(>[data-slot=radio-group]){gap:calc(var(--spacing) * 3)}.fieldset>legend{margin-bottom:calc(var(--spacing) * 3);--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.fieldset>legend[data-variant=label]{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.fieldset>legend[data-variant=legend]{font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height))}.fieldset>:is([role=group],[role=radiogroup]):not(.field),.field>:is(fieldset,[role=group],[role=radiogroup]):not(.field){gap:calc(var(--spacing) * 7)}:is(.fieldset>:is([role=group],[role=radiogroup]):not(.field),.field>:is(fieldset,[role=group],[role=radiogroup]):not(.field))[role=radiogroup],:is(.fieldset>:is([role=group],[role=radiogroup]):not(.field),.field>:is(fieldset,[role=group],[role=radiogroup]):not(.field)):has(>.field>input[type=checkbox]:not([role=switch])),:is(.fieldset>:is([role=group],[role=radiogroup]):not(.field),.field>:is(fieldset,[role=group],[role=radiogroup]):not(.field)):has(>.field>input[type=radio]),:is(.fieldset>:is([role=group],[role=radiogroup]):not(.field),.field>:is(fieldset,[role=group],[role=radiogroup]):not(.field))[data-slot=checkbox-group],:is(.fieldset>:is([role=group],[role=radiogroup]):not(.field),.field>:is(fieldset,[role=group],[role=radiogroup]):not(.field))[data-slot=radio-group]{gap:calc(var(--spacing) * 3)}:is(.fieldset,.field)>:is([role=group],[role=radiogroup]):not(.field)>:is([role=group],[role=radiogroup]):not(.field),.field>fieldset:not(.field)>:is([role=group],[role=radiogroup]):not(.field){gap:calc(var(--spacing) * 4)}.field[data-invalid],.field[data-invalid=true]{color:var(--color-destructive)}.field>section{gap:var(--spacing)}.field>label,.field>section>label,label:has(>.field){gap:calc(var(--spacing) * 2);--tw-leading:var(--leading-snug);line-height:var(--leading-snug)}:where([data-disabled=true]) :is(.field>label,.field>section>label,label:has(>.field)){opacity:.5}:is(.field>label,.field>section>label,label:has(>.field)):has(:checked){border-color:var(--color-primary)}@supports (color:color-mix(in lab, red, red)){:is(.field>label,.field>section>label,label:has(>.field)):has(:checked){border-color:color-mix(in oklab, var(--color-primary) 30%, transparent)}}:is(.field>label,.field>section>label,label:has(>.field)):has(:checked){background-color:var(--color-primary)}@supports (color:color-mix(in lab, red, red)){:is(.field>label,.field>section>label,label:has(>.field)):has(:checked){background-color:color-mix(in oklab, var(--color-primary) 5%, transparent)}}:is(.field>label,.field>section>label,label:has(>.field)):is(html.dark *):has(:checked){border-color:var(--color-primary)}@supports (color:color-mix(in lab, red, red)){:is(.field>label,.field>section>label,label:has(>.field)):is(html.dark *):has(:checked){border-color:color-mix(in oklab, var(--color-primary) 20%, transparent)}}:is(.field>label,.field>section>label,label:has(>.field)):is(html.dark *):has(:checked){background-color:var(--color-primary)}@supports (color:color-mix(in lab, red, red)){:is(.field>label,.field>section>label,label:has(>.field)):is(html.dark *):has(:checked){background-color:color-mix(in oklab, var(--color-primary) 10%, transparent)}}.field>label:has(input[type=radio]),.field>label:has(input[type=checkbox]),.field>label:has(input[role=switch]),.field>label:has(>.field),label:has(>.field){border-radius:var(--radius-md);border-style:var(--tw-border-style);border-width:1px}.field>label:has(input[type=radio]),.field>label:has(input[type=checkbox]),.field>label:has(input[role=switch]),:is(.field>label,label:has(>.field))>.field{padding:calc(var(--spacing) * 3)}.field h2,.field h3{gap:calc(var(--spacing) * 2);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));--tw-leading:var(--leading-snug);line-height:var(--leading-snug);--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}:where([data-disabled=true]) :is(.field h2,.field h3){opacity:.5}.fieldset legend+p,.field>p,.field section>p{text-align:start;font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));color:var(--color-muted-foreground)}[data-variant=legend]+:is(.fieldset legend+p,.field>p,.field section>p){margin-top:calc(var(--spacing) * -1.5)}.fieldset>legend[data-variant=label]{margin-bottom:0}.fieldset>legend:not([data-variant])+p,.fieldset>legend[data-variant=legend]+p{margin-top:calc(var(--spacing) * -1.5)}.field-separator{margin-block:calc(var(--spacing) * -2);height:calc(var(--spacing) * 5);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}:where([data-variant=outline]) .field-separator{margin-bottom:calc(var(--spacing) * -2)}.field-separator>span{padding-inline:calc(var(--spacing) * 2);color:var(--color-muted-foreground)}.field [role=alert]{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));color:var(--color-destructive)}.kbd{height:calc(var(--spacing) * 5);width:fit-content;min-width:calc(var(--spacing) * 5);gap:var(--spacing);border-radius:var(--radius-sm);background-color:var(--color-muted);padding-inline:var(--spacing);font-family:var(--font-sans);font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height));--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium);color:var(--color-muted-foreground)}:where([data-slot=tooltip-content]) .kbd{background-color:var(--color-background)}@supports (color:color-mix(in lab, red, red)){:where([data-slot=tooltip-content]) .kbd{background-color:color-mix(in oklab, var(--color-background) 20%, transparent)}}:where([data-slot=tooltip-content]) .kbd{color:var(--color-background)}:where([data-slot=tooltip-content]) .kbd:is(html.dark *){background-color:var(--color-background)}@supports (color:color-mix(in lab, red, red)){:where([data-slot=tooltip-content]) .kbd:is(html.dark *){background-color:color-mix(in oklab, var(--color-background) 10%, transparent)}}.kbd svg:not([class*=size-]){width:calc(var(--spacing) * 3);height:calc(var(--spacing) * 3)}.field>label,.label{gap:calc(var(--spacing) * 2);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));--tw-leading:1;--tw-font-weight:var(--font-weight-medium);line-height:1;font-weight:var(--font-weight-medium)}:is(.field>label,.label):is(:where(.peer):disabled~*),:where([data-disabled=true]) :is(.field>label,.label){opacity:.5}.field>section>label{gap:calc(var(--spacing) * 2);font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height));--tw-leading:var(--leading-snug);line-height:var(--leading-snug);--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.field>section>label:is(:where(.peer):disabled~*),:where([data-disabled=true]) :is(.field>section>label){opacity:.5}:focus-visible{outline:2px solid var(--color-ink);outline-offset:2px}.skip-link{z-index:100;border-radius:var(--radius-md);background:var(--color-ink);color:#fff;padding:8px 16px;position:absolute;top:-100px;left:16px}.skip-link:focus{color:#fff;top:8px}.credits{view-transition-name:shell-credits;height:var(--credits-bar-height);background:var(--color-ink);color:#fffc;white-space:nowrap;justify-content:center;align-items:center;gap:10px;padding-inline:12px;font-size:12px;line-height:20px;display:flex}@media (min-width:768px){.credits{gap:12px;font-size:13px}}.credits a{color:#fff;font-weight:var(--weight-medium);text-underline-offset:3px;transition:text-decoration-color var(--dur-fast) var(--ease), color var(--dur-fast) var(--ease);-webkit-text-decoration:underline #fff6;text-decoration:underline #fff6}.credits a:hover{text-decoration-color:#fff}.credits a:focus-visible{outline-color:#fff}.credits p a svg{vertical-align:-1px;fill:none;stroke:currentColor;stroke-width:1.5px;stroke-linecap:round;stroke-linejoin:round;width:12px;height:12px;transition:transform var(--dur-fast) var(--ease);margin-left:2px;display:inline-block}.credits p a:hover svg{transform:translate(1px,-1px)}.credits .credits-gh{color:#fffc;border-left:1px solid #ffffff40;padding-left:10px;display:inline-flex;position:relative}.credits .credits-gh:hover{color:#fff}.credits-gh:after{content:"";width:44px;height:44px;position:absolute;top:50%;left:calc(50% + 5px);transform:translate(-50%,-50%)}.credits-gh svg{fill:currentColor;width:16px;height:16px}.wrap{width:100%;max-width:var(--content-max);margin-inline:auto;padding-inline:16px}.hdr{view-transition-name:shell-header;z-index:20;background:var(--color-bg);border-bottom:var(--header-border) solid var(--color-hairline);position:sticky;top:0}.hdr-in{height:var(--header-height);justify-content:space-between;align-items:center;gap:32px;display:flex}.wm{min-height:44px;color:var(--color-text);font-size:16px;font-weight:var(--weight-semibold);white-space:nowrap;align-items:center;text-decoration:none;display:inline-flex}.wm:hover{color:var(--color-text)}.nav{flex:1;font-size:14px;display:none}.nav a{height:var(--header-height);color:var(--color-text-muted);transition:color var(--dur-fast) var(--ease);border-bottom:2px solid #0000;align-items:center;padding-top:2px;text-decoration:none;display:flex}.nav a:hover{color:var(--color-text)}.nav a[aria-current=page]{border-bottom-color:var(--color-ink);color:var(--color-text);font-weight:var(--weight-medium)}.btn{font-size:14px;font-weight:var(--weight-medium);transition:background-color var(--dur-fast) var(--ease), color var(--dur-fast) var(--ease), transform var(--dur-fast) var(--ease);background-clip:border-box;gap:8px;text-decoration:none}.btn svg:not([class*=size-]){width:18px;height:18px}.btn:not([data-size]),.btn[data-size=default]{border-radius:var(--radius-md);gap:8px;height:40px;padding-inline:14px}.btn[data-size=sm]{border-radius:var(--radius-sm);gap:8px;height:32px;padding-inline:10px;font-size:13px}.btn[data-size=lg]{border-radius:var(--radius-lg);gap:8px;height:48px;padding-inline:20px;font-size:15px}.btn:not([data-variant]),.btn[data-variant=primary]{background-color:var(--color-ink);color:#fff}.btn:not([data-variant]):hover,.btn[data-variant=primary]:hover{background-color:var(--color-ink-hover);color:#fff}.btn[data-variant=secondary]{background-color:var(--color-surface-2);color:var(--color-text)}.btn[data-variant=secondary]:hover{background-color:var(--color-border);color:var(--color-text)}.btn[data-variant=outline]{border-color:var(--color-border-strong);background-color:var(--color-bg);color:var(--color-text);box-shadow:none}.btn[data-variant=outline]:hover{background-color:var(--color-surface-2);color:var(--color-text)}.btn[data-variant=ghost]{color:var(--color-text-2);background-color:#0000}.btn[data-variant=ghost]:hover{background-color:var(--color-surface-2);color:var(--color-text)}.btn[data-size=icon]{border-radius:var(--radius-md);width:40px;height:40px;color:var(--color-text-muted);padding:0}.btn:focus-visible{box-shadow:none;border-color:#0000}.btn[data-variant=outline]:focus-visible{border-color:var(--color-border-strong)}.btn:active:not([aria-haspopup]),.play:active{transform:scale(.98)}.btn:disabled,.btn:disabled:hover,.btn[aria-disabled=true],.btn[aria-disabled=true]:hover{background-color:var(--color-surface-2);color:#a1a1aa;opacity:1;cursor:not-allowed;transform:none}.btn[data-variant=ghost]:disabled,.btn[data-variant=ghost]:disabled:hover,.btn[data-variant=ghost][aria-disabled=true],.btn[data-variant=ghost][aria-disabled=true]:hover{background-color:#0000}.play{background:var(--color-ink);color:#fff;width:48px;height:48px;transition:background-color var(--dur-fast) var(--ease), transform var(--dur-fast) var(--ease);border-radius:50%;flex:none;place-items:center;display:grid}.play:hover{background:var(--color-ink-hover)}.play svg{fill:currentColor;width:20px;height:20px}.play[aria-disabled=true],.play[aria-disabled=true]:hover{background:var(--color-surface-2);color:var(--color-text-muted);cursor:not-allowed;transform:none}@media (prefers-reduced-motion:reduce){.btn:active:not([aria-haspopup]),.play:active{transform:none}}.seg{border-radius:var(--radius-md);background:var(--color-surface-2);flex:none;padding:3px;display:inline-flex}.seg button{border-radius:var(--radius-sm);height:32px;color:var(--color-text-muted);font-size:14px;font-weight:var(--weight-medium);transition:color var(--dur-fast) var(--ease);background:0 0;border:0;padding:0 12px;position:relative}.seg button:hover{color:var(--color-text)}.seg button[aria-pressed=true],.seg button[aria-selected=true]{background:var(--color-bg);color:var(--color-text);box-shadow:var(--shadow-sm)}.seg button:focus-visible{outline-offset:-2px}.seg.sm button{height:26px;padding:0 10px;font-size:13px}.field{gap:8px}.field__label{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.input[type],.field>.input,select.select{border:1px solid var(--color-border-strong);border-radius:var(--radius-md);background:var(--color-bg);width:100%;height:44px;color:var(--color-text);font-size:16px;line-height:inherit;box-shadow:none;transition:border-color var(--dur-fast) var(--ease), box-shadow var(--dur-fast) var(--ease);padding:0 14px}select.select{appearance:auto;padding-inline:10px}.input[type]::placeholder{color:var(--color-text-subtle)}.input[type]:focus-visible,.field>.input:focus-visible,select.select:focus-visible{border-color:var(--color-ink);outline:none;box-shadow:0 0 0 4px #18181b14}.field-box{border-radius:var(--radius-lg);background:var(--color-bg);box-shadow:inset 0 0 0 1px var(--color-border-strong);transition:box-shadow var(--dur-fast) var(--ease);position:relative}.field-box:focus-within{box-shadow:inset 0 0 0 1.5px var(--color-ink), 0 0 0 4px #18181b14}.field-box:has([aria-invalid=true]){box-shadow:inset 0 0 0 1.5px var(--color-ev-conflict)}.field-box:has([aria-invalid=true]):focus-within{box-shadow:inset 0 0 0 1.5px var(--color-ev-conflict), 0 0 0 4px #b91c1c14}.field-box textarea,.field-mirror{font-family:var(--font-mono);overflow-wrap:break-word;white-space:pre-wrap;padding:14px 16px;font-size:17px;line-height:1.5}.field-box textarea{border-radius:inherit;width:100%;color:var(--color-text);resize:vertical;background:0 0;border:0;display:block;position:relative}.field-box textarea::placeholder{color:var(--color-text-subtle)}.field-box textarea:focus-visible{outline:none}.field-mirror{color:#0000;pointer-events:none;position:absolute;inset:0;overflow:hidden}.field-mirror mark{background:var(--color-ev-conflict-soft);color:#0000;-webkit-text-decoration:underline wavy var(--color-ev-conflict);-webkit-text-decoration:underline wavy var(--color-ev-conflict);text-decoration:underline wavy var(--color-ev-conflict);text-underline-offset:4px;text-decoration-thickness:1.5px}.formula-input{flex-direction:column;gap:12px;display:flex}.formula-input__head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px;display:flex}.formula-input__warnings{flex-direction:column;gap:4px;list-style:outside;display:flex}.formula-input__actions{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.formula-input__hint{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.kbd-key{border-radius:var(--radius-xs);background:var(--color-surface-2);min-width:24px;height:24px;color:var(--color-text-2);font-family:var(--font-mono);font-size:12px;font-weight:var(--weight-regular);place-items:center;padding:0 6px;display:inline-grid}.solve-toolbar{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.notation{border-radius:var(--radius-full);background:var(--color-surface-2);height:24px;color:var(--color-text-muted);white-space:nowrap;align-items:center;gap:6px;padding:0 8px;font-size:12px;display:inline-flex}.notation:before{content:"✓" / ""}.notation--error:before{content:none}.notation[hidden]{display:none}.keys{flex-wrap:wrap;gap:6px;display:flex}.keys button{border-radius:var(--radius-md);background:var(--color-surface-2);width:40px;height:40px;color:var(--color-text);font-family:var(--font-mono);transition:background-color var(--dur-fast) var(--ease);font-size:16px}.keys button:hover{background:var(--color-border)}.preview{overflow-wrap:anywhere;max-height:10rem;color:var(--color-text-2);font-family:var(--font-mono);white-space:pre-wrap;font-size:15px;overflow-y:auto}.preview sub{font-size:.75em;line-height:0}.chip{border-radius:var(--radius-full);height:26px;font-size:13px;font-weight:var(--weight-medium);white-space:nowrap;align-items:center;gap:6px;padding:0 10px;display:inline-flex}.chip .ic{stroke-width:2px;width:14px;height:14px}.ev-unit{background:var(--color-ev-unit-soft);color:var(--color-ev-unit)}.ev-branch{background:var(--color-ev-branch-soft);color:var(--color-ev-branch)}.ev-conflict{background:var(--color-ev-conflict-soft);color:var(--color-ev-conflict)}.ev-sat{background:var(--color-ev-sat-soft);color:var(--color-ev-sat)}.ev-back{background:var(--color-ev-back-soft);color:var(--color-ev-back)}.ev-res{background:var(--color-ev-res-soft);color:var(--color-ev-res)}.st{border-radius:var(--radius-full);background:var(--color-surface-2);height:24px;color:var(--color-text-muted);font-size:12px;font-weight:var(--weight-medium);white-space:nowrap;align-items:center;gap:6px;padding:0 9px;display:inline-flex}.st i{width:7px;height:7px;box-shadow:inset 0 0 0 1.5px var(--color-text-subtle);border-radius:50%}.st.doing{color:var(--color-text)}.st.doing i{background:linear-gradient(90deg, var(--color-ink) 50%, transparent 50%);box-shadow:inset 0 0 0 1.5px var(--color-ink)}.st.done{background:var(--color-ev-sat-soft);color:var(--color-ev-sat)}.diff{color:var(--color-text-muted);align-items:center;gap:3px;font-size:12px;display:inline-flex}.diff i{background:var(--color-border);border-radius:2px;width:4px;height:12px}.diff i.on{background:var(--color-text-muted)}.val-list{flex-wrap:wrap;gap:6px;display:flex}.val{border-radius:var(--radius-sm);background:var(--color-surface-2);height:28px;font-family:var(--font-mono);white-space:pre;align-items:center;padding:0 10px;font-size:13px;display:inline-flex}.val b{color:var(--color-ev-sat);font-weight:var(--weight-medium)}.val b.f{color:var(--color-ev-conflict)}.val--free{color:var(--color-text-muted)}.val__new{color:var(--color-ev-unit);font-family:var(--font-sans);margin-left:6px;font-size:11px}.val.new{background:var(--color-ev-unit-soft);box-shadow:inset 0 0 0 1px var(--color-ev-unit)}.lit{white-space:nowrap}.clauses{flex-wrap:wrap;gap:10px;display:flex}.clause{border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-bg);max-width:100%;min-height:48px;font-family:var(--font-mono);align-items:center;gap:8px;padding:6px 16px;font-size:19px;line-height:1.4;display:inline-flex}.clause__text{overflow-wrap:anywhere;min-width:0}.clause sub{font-size:.75em;line-height:0}.clause__tag{border-radius:var(--radius-sm);background:var(--color-surface-2);color:var(--color-text-muted);font-family:var(--font-sans);font-size:12px;font-weight:var(--weight-medium);flex:none;padding:0 6px;line-height:18px}.clause.unit{border-color:var(--color-ev-unit);box-shadow:inset 0 0 0 1px var(--color-ev-unit)}.clause.unit .clause__tag{background:var(--color-ev-unit-soft);color:var(--color-ev-unit)}.clause.gone{border-style:dashed;border-color:var(--color-border-strong);color:var(--color-text-subtle)}.clause.gone .clause__text{text-decoration:line-through}.clause--empty{border-color:var(--color-ev-conflict);background:var(--color-ev-conflict-soft);color:var(--color-ev-conflict);font-weight:var(--weight-medium)}.clause--empty .clause__tag{background:var(--color-bg);color:var(--color-ev-conflict)}.clause__false{font-weight:var(--weight-medium)}.clause.new{border-color:var(--color-ev-branch);box-shadow:inset 0 0 0 1px var(--color-ev-branch)}.clause.new .clause__tag{background:var(--color-ev-branch-soft);color:var(--color-ev-branch)}.lit--strike{color:var(--color-text-subtle);background:linear-gradient(to top right, transparent calc(50% - 1px), var(--color-ev-unit) calc(50% - 1px), var(--color-ev-unit) calc(50% + 1px), transparent calc(50% + 1px)) no-repeat 0 0 / 100% 100%;padding:0 .15em;text-decoration:none}@media screen{.lesson-section.is-waiting{opacity:0}}.clause.is-leaving{overflow:hidden}.msg{border-radius:var(--radius-lg);color:var(--color-text);align-items:flex-start;gap:12px;padding:14px 16px;font-size:14px;line-height:1.5;display:flex}.msg[hidden]{display:none}.msg .ic{margin-top:1px}.msg>span{flex:1;min-width:0}.msg b{font-weight:var(--weight-semibold)}.msg-error{background:var(--color-ev-conflict-soft)}.msg-error .ic{color:var(--color-ev-conflict)}.msg-warn{background:var(--color-ev-branch-soft)}.msg-warn .ic{color:var(--color-ev-branch)}.msg-info{background:var(--color-surface)}.msg-info .ic{color:var(--color-text-muted)}.msg-ok{background:var(--color-ev-sat-soft)}.msg-ok .ic{color:var(--color-ev-sat)}.toast-region{z-index:50;left:50%;bottom:calc(var(--tabbar-height) + env(safe-area-inset-bottom,0px) + 12px);pointer-events:none;flex-direction:column;gap:8px;width:calc(100% - 32px);max-width:24rem;display:flex;position:fixed;transform:translate(-50%)}@media (min-width:768px){.toast-region{width:auto;min-width:18rem;bottom:24px;left:auto;right:24px;transform:none}}.toast{box-shadow:var(--shadow-md);pointer-events:auto;animation:toast-in var(--dur-base) var(--ease);align-items:center;padding-block:8px}.toast__close{border-radius:var(--radius-sm);width:32px;height:32px;color:var(--color-text-muted);flex:none;justify-content:center;align-items:center;display:inline-flex}.toast__close:hover{background:#0000000f}@keyframes toast-in{0%{opacity:0;transform:translateY(8px)}}.tbl{border-collapse:collapse;width:100%;font-size:14px}.tbl th{border-bottom:1px solid var(--color-border);color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);text-align:left;padding:8px 14px}.tbl td{border-bottom:1px solid var(--color-hairline);font-variant-numeric:tabular-nums;padding:10px 14px}.tbl tbody th{border-bottom-color:var(--color-hairline);color:var(--color-text-muted);font-size:14px;font-weight:var(--weight-regular)}.tbl tbody tr:last-child>*{border-bottom:0}.tv{color:var(--color-text-muted);font-family:var(--font-mono);font-weight:var(--weight-medium)}.tv.v{color:var(--color-ev-sat)}.tv.f{color:var(--color-ev-conflict)}.code-panel{background:var(--color-surface);border-radius:14px;padding:6px}.code-panel>summary{cursor:pointer;justify-content:space-between;align-items:center;min-height:44px;padding-inline:14px 8px;list-style:none;display:flex}.code-panel>summary::-webkit-details-marker{display:none}.code-panel[open]>summary .ic{transform:rotate(180deg)}.pseudocode__heading{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.code-panel>.pseudocode__heading{padding:8px 14px 0}.pseudocode__explain{border-left:3px solid var(--rule-fg,var(--color-border-strong));margin-top:12px;padding-left:12px;font-size:1rem;line-height:1.6}.pseudocode__explain .lit{font-family:var(--font-mono);white-space:nowrap}.pseudocode__explain sub{font-size:.75em;line-height:0}.pseudocode__clause{font-family:var(--font-mono);overflow-wrap:anywhere}.code{color:var(--color-text-muted);font-family:var(--font-mono);padding-block:8px;font-size:13px;line-height:26px}.pseudocode__line{gap:14px;padding:0 14px;display:flex}.code.is-gliding{position:relative}.code.is-gliding .pseudocode__line{background:0 0;position:relative}.code__glide{pointer-events:none;position:absolute;top:0;left:0;right:0}.pseudocode__num{width:16px;color:var(--color-text-subtle);text-align:right;-webkit-user-select:none;user-select:none;flex:none}.pseudocode__code{min-width:0;padding-left:calc(var(--indent,0) * 2ch);font:inherit;overflow-wrap:anywhere;white-space:pre-wrap;flex:1}.pseudocode__kw{font-weight:var(--weight-medium)}.code__tag{font-family:var(--font-sans);flex:none;font-size:12px}.pseudocode__line.is-current{background:var(--color-surface-2);color:var(--color-text);border-radius:6px}.pseudocode__line.is-current .pseudocode__num{color:var(--color-text-muted)}.is-current.c-unit{background:var(--color-ev-unit-soft)}.is-current.c-unit .pseudocode__num,.is-current.c-unit .code__tag{color:var(--color-ev-unit)}.is-current.c-branch{background:var(--color-ev-branch-soft)}.is-current.c-branch .pseudocode__num,.is-current.c-branch .code__tag{color:var(--color-ev-branch)}.is-current.c-conflict{background:var(--color-ev-conflict-soft)}.is-current.c-conflict .pseudocode__num,.is-current.c-conflict .code__tag{color:var(--color-ev-conflict)}.is-current.c-sat{background:var(--color-ev-sat-soft)}.is-current.c-sat .pseudocode__num,.is-current.c-sat .code__tag{color:var(--color-ev-sat)}.is-current.c-back{background:var(--color-ev-back-soft)}.is-current.c-back .pseudocode__num,.is-current.c-back .code__tag{color:var(--color-ev-back)}.is-current.c-res{background:var(--color-ev-res-soft)}.is-current.c-res .pseudocode__num,.is-current.c-res .code__tag{color:var(--color-ev-res)}.tl{flex-wrap:wrap;align-items:center;gap:4px 12px;padding:8px 16px;display:flex}.tl-buttons{flex:none;align-items:center;gap:4px;display:flex}.tl-track{flex:1 0 100%;order:-1;height:28px;position:relative}.tl-rail,.tl-labels{right:calc(var(--thumb) / 2);left:calc(var(--thumb) / 2);position:absolute}.tl-rail{background:var(--color-border);border-radius:2px;height:2px;top:13px}.tl-fill{width:var(--progress);border-radius:inherit;background:var(--color-ink);position:absolute;inset:0 auto 0 0}.tl-dot{border-radius:50%;width:6px;height:6px;position:absolute;top:50%;transform:translate(-50%,-50%)}.d-unit{background:var(--color-ev-unit)}.d-branch{background:var(--color-ev-branch)}.d-conflict{background:var(--color-ev-conflict)}.d-sat{background:var(--color-ev-sat)}.d-back{background:var(--color-ev-back)}.d-res{background:var(--color-ev-res)}.tl-tip{bottom:12px;left:clamp(70px, var(--left,0%), calc(100% - 70px));z-index:2;pointer-events:none;position:absolute;transform:translate(-50%)}.tl-tip[hidden]{display:none}.tl-labels{height:16px;font-size:11px;line-height:16px;display:none;top:26px}.tl-label{white-space:nowrap;position:absolute;transform:translate(-50%)}.tl-label:first-child{transform:none}.tl-label:last-child:not(:first-child){transform:translate(-100%)}.tl-range{--tl-range-height:28px;width:100%;height:var(--tl-range-height);appearance:none;cursor:pointer;background:0 0;margin:0;position:absolute;inset:0 0 auto}.tl-range::-webkit-slider-runnable-track{background:0 0;height:100%}.tl-range::-moz-range-track{background:0 0}.tl-range::-webkit-slider-thumb{width:var(--thumb);height:var(--thumb);margin-top:calc((var(--tl-range-height) - var(--thumb)) / 2);border:2px solid var(--color-ink);background:var(--color-bg);appearance:none;border-radius:50%}.tl-range::-moz-range-thumb{width:var(--thumb);height:var(--thumb);box-sizing:border-box;border:2px solid var(--color-ink);background:var(--color-bg);border-radius:50%}.tl-range:focus-visible{outline:none}.tl-range:focus-visible::-webkit-slider-thumb{box-shadow:0 0 0 2px var(--color-bg), 0 0 0 4px var(--color-ink)}.tl-range:focus-visible::-moz-range-thumb{box-shadow:0 0 0 2px var(--color-bg), 0 0 0 4px var(--color-ink)}.tl-counter{font-variant-numeric:tabular-nums;white-space:nowrap;margin-left:auto;font-size:14px}.tl .dd-panel{top:auto;bottom:calc(100% + 6px)}.tl-menu{min-width:200px}.tl-menu .seg{margin:0 4px 4px;display:flex}.tl-menu .seg button{flex:1;padding-inline:6px}.sheet .tl-menu .seg{margin:0 12px 8px}.step-bar{border-bottom:1px solid var(--color-hairline);flex-wrap:wrap;align-items:center;gap:4px 12px;padding-bottom:12px;display:flex}.step-bar__summary{flex:100%;min-width:0}.step-bar__actions{align-items:center;gap:4px;margin-left:-14px;display:flex}.step-bar__label{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.step-bar__set{color:var(--color-text-2);font-family:var(--font-mono);text-overflow:ellipsis;white-space:nowrap;font-size:14px;line-height:20px;overflow:hidden}.step-bar__set sub{font-size:.75em;line-height:0}.step-menu--keys{display:none}.step-keys__row{color:var(--color-text-muted);justify-content:space-between;align-items:center;gap:12px;padding-block:4px;font-size:12px;line-height:16px;display:flex}.step-keys dt{flex:none}.step-editor{flex-direction:column;gap:16px;margin-bottom:24px;display:flex}.step-editor__head{align-items:center;gap:8px;display:flex}.step-editor__title{flex:1;font-size:16px;line-height:24px;display:none}.step-editor.is-card{border-radius:var(--radius-xl);box-shadow:inset 0 0 0 1px var(--color-border), var(--shadow-md);gap:14px;padding:20px}.is-card .step-editor__title{display:block}.is-card .solve-toolbar summary{border-radius:var(--radius-sm);height:32px;padding-inline:10px;font-size:13px}.step-input{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:12px;display:grid}.step-input>*{grid-column:1/-1}.step-input>.keys{grid-column:1}.step-input>.formula-input__actions{flex-direction:row-reverse;grid-column:2}.sheet .step-editor{margin-bottom:0;padding:4px 12px}.sheet .step-editor__head{order:1}.sheet .solve-toolbar{flex:1;grid-template-columns:1fr 1fr;display:grid}.sheet .solve-toolbar summary{width:100%}.sheet .solve-toolbar summary>svg:last-child{display:none}.sheet .step-input>.keys,.sheet .step-input>.formula-input__actions{grid-column:1/-1}.sheet .formula-input__hint{display:none}.sheet .formula-input__submit{flex:1}.sheet .field-box textarea,.sheet .field-mirror{font-size:15px}.sheet .preview{font-size:13px}#step-app[inert]{opacity:.5}.step-card{flex-direction:column;gap:14px;display:flex}.step-card__meta{color:var(--color-text-muted);flex-wrap:wrap;align-items:center;gap:6px 10px;font-size:13px;line-height:20px;display:flex}.step-card__title{letter-spacing:-.03em;font-size:30px;line-height:1.1}.step-card__mark{font-weight:var(--weight-medium)}.step-card__mark sub,.step-card__meta sub,.step-card__text sub{font-size:.75em;line-height:0}.step-card__text{max-width:32em;color:var(--color-text-muted);font-size:16px;line-height:1.5}.step-card__meta .lit,.step-card__text .lit{font-family:var(--font-mono);white-space:nowrap;font-size:.95em}.clause-set{flex-direction:column;gap:12px;display:flex}.step-zone--set{position:relative}.step-views{z-index:1;position:absolute;top:0;right:0}.clause-set__heading,.proof__heading{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);padding-right:160px;line-height:32px}.clause-set__after{color:var(--color-text-subtle);align-items:center;gap:12px;display:flex}.clause-set__after-set{min-width:0;color:var(--color-text);font-family:var(--font-mono);overflow-wrap:anywhere;font-size:20px;line-height:1.4}.clause-set__after sub,.proof sub{font-size:.75em;line-height:0}.clause-set__empty{border:1px dashed var(--color-border-strong);border-radius:var(--radius-lg);min-height:72px;color:var(--color-ev-sat);flex-wrap:wrap;justify-content:center;align-items:center;gap:10px;padding:12px 16px;display:flex}.clause-set__empty-set{color:var(--color-text);font-family:var(--font-mono);font-size:22px}.clause-set__empty-text{color:var(--color-text-muted);font-size:14px}.step-val{flex-direction:column;gap:8px;display:flex}.step-val__heading{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.proof__heading{margin-bottom:8px}.proof__list{max-height:60dvh;overflow-y:auto}.proof__item,.proof__branch{--depth-max:8;--indent:calc(min(var(--depth,0), var(--depth-max)) * 20px);padding-left:var(--indent);background:repeating-linear-gradient(to right, var(--color-hairline) 0 1px, transparent 1px 20px) no-repeat 6px 0 / var(--indent) 100%}.proof__branch{color:var(--color-ev-branch);font-size:12px;font-weight:var(--weight-medium);align-items:center;gap:6px;padding-block:8px 4px;line-height:16px;display:flex}.proof__branch .ic{width:14px;height:14px}.proof__branch .lit{font-family:var(--font-mono)}.proof__more{color:var(--color-text-muted);padding:8px 12px;font-size:14px}.proof__step{border-radius:var(--radius-md);width:100%;min-height:44px;color:var(--color-text);text-align:left;transition:background-color var(--dur-fast) var(--ease);align-items:center;gap:14px;padding:6px 12px;display:flex;box-shadow:inset 0 0 0 1.5px #0000}.proof__step:hover{background:var(--color-surface)}.proof__step:focus-visible{outline-offset:-2px}.proof__step.is-current,.proof__step.is-current:hover{background:var(--rule-soft,var(--color-surface-2));box-shadow:inset 0 0 0 1.5px var(--rule-fg,var(--color-ink))}.proof__num{color:var(--color-text-muted);font-family:var(--font-mono);flex:none;font-size:15px}.proof__body{flex:1;min-width:0}.proof__label{color:var(--color-text-muted);font-size:14px;line-height:20px;display:block}.proof__label .lit,.proof__valuation{font-family:var(--font-mono)}.proof__step--conflict .proof__label,.proof__step--sat .proof__label,.proof__step--result .proof__label{color:var(--rule-fg,var(--color-text));font-weight:var(--weight-medium)}.proof__step--result .proof__label{color:var(--color-text)}.proof__valuation{font-weight:var(--weight-regular)}.proof__set,.proof__ref{color:var(--color-text);font-family:var(--font-mono);overflow-wrap:anywhere;font-size:15px;line-height:22px;display:block}.proof__ref{display:none}.proof__tag{flex:none}.proof__tag .chip{height:22px;font-family:var(--font-mono);padding:0 8px;font-size:12px}.proof__step.is-future,.proof__step.is-future .proof__num,.proof__step.is-future .proof__label,.proof__step.is-future .proof__set,.proof__step.is-future .proof__ref{color:var(--color-text-subtle)}.proof__step.is-future .chip{color:var(--color-text-subtle);background:0 0}:is(#proof,#dp-view) :is(.proof__step--start,.proof__step--unit,.proof__step--branch,.proof__step--resolve) .proof__label{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}#proof .proof__step--branch .proof__set{display:none}#proof .proof__step--branch .proof__ref{display:block}.has-timeline{--timeline-height:102px;padding-bottom:calc(var(--tabbar-height) + var(--timeline-height) + env(safe-area-inset-bottom,0px))}.has-timeline .solve-result{margin-bottom:32px}.has-timeline main{padding-block:16px 0}.step-layout{grid-template-columns:minmax(0,1fr);gap:20px;padding-block:16px 24px;display:grid}.step-zone{min-width:0}.step-zone--set{flex-direction:column;gap:24px;display:flex}.step-zone .tree-view{margin-top:0}.step-zone--tree .tree-view{border-radius:var(--radius-xl);background:var(--color-surface)}.step-zone--tree .tree-view__head{margin-bottom:0;padding:16px 18px 0}.step-zone--tree .tree-view__canvas{background:0 0}.step-tabs .seg{display:flex}.step-tabs .seg button{flex:1;padding-inline:6px}.dp-view{gap:24px;min-width:0;display:grid}.dp-view>*{min-width:0}#dp-view,#dp-view .dp-view{display:contents}#dp-view[hidden]{display:none}#dp-view .dp-view__sequence{order:1;min-width:0}#dp-view .dp-view__algo{order:2;min-width:0}#dp-view .proof__heading{padding-right:0}#dp-view .dp-view__algo .pseudocode,#dp-view .dp-view__algo{flex-direction:column;gap:16px;display:flex}#dp-view .dp-pairs{order:-1}.dp-pairs{border-radius:var(--radius-xl);background:var(--color-bg);box-shadow:inset 0 0 0 1px var(--color-border);padding:16px 18px;overflow-x:auto}.dp-pairs__heading{color:var(--color-text-muted);font-size:12px;font-weight:var(--weight-medium);margin-bottom:8px;line-height:16px}.dp-pairs__table{width:100%}.dp-pairs__table th{padding-inline:14px}.dp-pairs__table td{font-family:var(--font-mono);padding-inline:14px;font-size:13px}.dp-pairs__table strong{font-weight:var(--weight-medium)}.dp-pairs .lit{font-family:var(--font-mono);white-space:normal}.dp-pairs__table .resolution-pair--dropped td:last-child,.dp-pairs__table .resolution-pair--repeated td:last-child{color:var(--color-text-subtle)}.dp-pairs__table .resolution-pair__tag{color:var(--color-text-muted);font-family:var(--font-sans);margin-left:6px;font-size:12px}.dp-pairs__note{color:var(--color-text-muted);overflow-wrap:anywhere;margin-top:12px;font-size:13px}.dp-pairs sub{font-size:.75em;line-height:0}.timeline{--progress:0%;--thumb:16px;inset:auto 0 calc(var(--tabbar-height) + env(safe-area-inset-bottom,0px)) 0;z-index:25;background:var(--color-bg);border-top:1px solid var(--color-hairline);position:fixed}.tl-legend>summary{cursor:pointer;align-items:center;min-height:52px;padding:0 12px;font-size:15px;list-style:none;display:flex}.tl-legend>summary::-webkit-details-marker{display:none}.tl-legend .tree-legend{padding:0 12px 12px}.step-compare:empty{display:none}.compare{border:1px solid var(--color-border);border-radius:var(--radius-xl);padding:4px 16px}.compare__details:not([open]) .compare__if-open,.compare__details[open] .compare__if-closed{display:none}.compare__toggle{cursor:pointer;flex-wrap:wrap;align-items:center;gap:2px 12px;min-height:56px;padding-block:8px;list-style:none;display:flex}.compare__toggle::-webkit-details-marker{display:none}.compare__heading{font-size:14px;line-height:20px}.compare__details[open] .compare__heading{font-size:16px}.compare__line{min-width:0;color:var(--color-text-muted);flex:100%;order:1;font-size:13px;line-height:20px}.compare__more{color:var(--color-text-muted);align-items:center;gap:6px;margin-left:auto;font-size:13px;display:inline-flex}.compare__more .ic{transform:rotate(-90deg)}.compare__details[open] .compare__more .ic{transform:rotate(180deg)}.compare__grid{gap:16px;min-width:0;margin-top:8px;display:grid}.compare__table{width:100%}.compare__table thead th{white-space:nowrap}.compare__col--current{background:var(--color-surface)}.compare__swatch{border-top:2px solid var(--color-ink);vertical-align:middle;width:14px;height:0;margin-right:6px;display:inline-block}.compare__swatch--dp{border-top:2px dashed var(--color-ev-res)}.compare__figure{min-width:0}.compare-chart{width:100%;height:auto;max-height:220px;display:block}.compare-chart__axis{stroke:var(--color-border-strong);stroke-width:1px}.compare-chart__tick{fill:var(--color-text-muted);font-family:var(--font-sans);font-size:10px}.compare-chart__series polyline{fill:none;stroke-linejoin:round;stroke-width:2px}.compare-chart__series--dll polyline{stroke:var(--color-ink)}.compare-chart__series--dll circle{fill:var(--color-ink)}.compare-chart__series--dp polyline{stroke:var(--color-ev-res);stroke-dasharray:5 3}.compare-chart__series--dp circle{fill:var(--color-ev-res)}.compare-chart__marker{fill:var(--color-bg);stroke-width:2.5px}.compare-chart__marker--dll{stroke:var(--color-ink)}.compare-chart__marker--dp{stroke:var(--color-ev-res)}.compare__caption,.compare__note{color:var(--color-text-subtle);font-size:12px;line-height:18px}.compare__caption{margin-top:4px}.compare__note{margin-block:12px}.tree-view{margin-top:24px}.tree-view__head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px 12px;margin-bottom:8px;display:flex}.tree-view__heading{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.tree-legend{color:var(--color-text-muted);flex-wrap:wrap;gap:4px 14px;font-size:12px;line-height:16px;display:flex}.lg{align-items:center;gap:6px;display:inline-flex}.lg i{width:14px;height:14px;font-size:9px;font-style:normal;font-weight:var(--weight-semibold);border-radius:4px;place-items:center;display:inline-grid}.lg--open{border:1.5px solid var(--color-text-muted);background:var(--color-bg)}.lg--conflict{border:1px solid var(--color-ev-conflict);background:var(--color-ev-conflict-soft);color:var(--color-ev-conflict)}.lg--sat{border:1px solid var(--color-ev-sat);background:var(--color-ev-sat-soft);color:var(--color-ev-sat)}.lg--future{border:1px dashed var(--color-text-subtle)}.lg--current{border:1.5px solid var(--color-text-muted);box-shadow:0 0 0 1.5px var(--color-bg), 0 0 0 3px var(--color-ink)}.lg--branch.lg--branch{border:1.5px solid var(--color-text-subtle);width:auto;color:var(--color-text-subtle);font-family:var(--font-mono);font-weight:var(--weight-regular);border-radius:999px;padding:0 5px}.lg--unit{background:linear-gradient(var(--color-text-subtle) 50%, transparent 0) center / 1.5px 5px repeat-y;border-radius:0}.tree-legend-menu .tree-legend{flex-direction:column;gap:10px;font-size:13px}.tree-legend-menu .pop{min-width:200px}.tree-view__frame{position:relative}.tree-view__hint{color:var(--color-text-subtle);pointer-events:none;font-size:12px;line-height:16px;position:absolute;bottom:20px;left:18px}.tree-view__canvas{border-radius:var(--radius-xl);background:var(--color-surface);cursor:grab;touch-action:none;max-height:70vh;padding-bottom:60px;overflow:auto}.tree-view__canvas.is-dragging,.tree-view__canvas.is-dragging .tree-node{cursor:grabbing}.tree-view__svg{max-width:none;margin:0 auto;display:block}.tree-zoom{border-radius:var(--radius-md);background:var(--color-bg);box-shadow:var(--shadow-sm);display:flex;position:absolute;bottom:12px;right:12px}.tree-edge line{stroke:var(--color-text-subtle);stroke-width:1.5px}.tree-edge--unit line{stroke:#a1a1aa;stroke-width:1.25px;stroke-dasharray:3 4}.tree-edge__pill{fill:var(--color-bg);stroke:var(--color-text-subtle);stroke-width:1.5px}.tree-edge__label{fill:var(--color-text-subtle);font-family:var(--font-mono);dominant-baseline:central;text-anchor:middle;font-size:12px}.tree-edge__unit{fill:var(--color-text-muted);font-family:var(--font-mono);dominant-baseline:central;font-size:12px}.tree-edge--future line,.tree-edge--future .tree-edge__pill{stroke:var(--color-tree-future)}.tree-edge--future .tree-edge__label,.tree-edge--future .tree-edge__unit{fill:var(--color-text-subtle)}.tree-edge line.tree-edge__ghost{stroke:var(--color-tree-future)}.tree-view__frame .tree-edge--faded line,.tree-view__frame .tree-edge--faded .tree-edge__pill,.tree-view__frame .tree-node--faded .tree-node__box{opacity:.45}.tree-view__frame .tree-edge--path line,.tree-view__frame .tree-edge--path .tree-edge__pill{stroke:var(--color-ev-sat)}.tree-view__frame .tree-edge--path line{stroke-width:2px}.tree-node{cursor:pointer}.tree-node:focus{outline:none}.tree-node__box{fill:var(--color-bg);stroke:var(--color-text-muted);stroke-width:1.5px}.tree-node:hover .tree-node__box{stroke:var(--color-ink)}.tree-node--future .tree-node__box{stroke:var(--color-tree-future);stroke-width:1px;stroke-dasharray:4 3}.tree-node--sat .tree-node__box{fill:var(--color-ev-sat-soft);stroke:var(--color-ev-sat)}.tree-node--conflict .tree-node__box{fill:var(--color-ev-conflict-soft);stroke:var(--color-ev-conflict)}.tree-node__ring{fill:none;stroke:none;stroke-width:2px}.tree-node--current .tree-node__ring{stroke:var(--color-ink)}[data-ring=unit] .tree-node--current .tree-node__ring{stroke:var(--color-ev-unit)}[data-ring=branch] .tree-node--current .tree-node__ring{stroke:var(--color-ev-branch)}[data-ring=conflict] .tree-node--current .tree-node__ring{stroke:var(--color-ev-conflict)}[data-ring=sat] .tree-node--current .tree-node__ring{stroke:var(--color-ev-sat)}[data-ring=backtrack] .tree-node--current .tree-node__ring{stroke:var(--color-ev-back)}.tree-node:focus-visible .tree-node__ring{stroke:var(--color-ink)}.tree-node__label{fill:var(--color-text-subtle);font-family:var(--font-sans);font-size:10px}.tree-node__set{fill:var(--color-text);font-family:var(--font-mono);font-size:12px}.tree-node--future .tree-node__set{fill:var(--color-text-subtle)}.tree-node__icon{font-family:var(--font-mono);font-size:13px;font-weight:var(--weight-medium);text-anchor:middle}.tree-node--sat .tree-node__icon{fill:var(--color-ev-sat)}.tree-node--conflict .tree-node__icon{fill:var(--color-ev-conflict)}.tree-view__svg--compact{max-width:100%;height:auto}.tree-node--static{cursor:default}.tree-node__compact{fill:var(--color-text);dominant-baseline:central;text-anchor:middle;font-size:12px}.tree-node__chain{stroke:#a1a1aa;stroke-width:1.25px;stroke-dasharray:3 4}.tree-node__dot{fill:var(--color-ev-unit)}@media (prefers-reduced-motion:no-preference){.tree-view__canvas.is-following{scroll-behavior:smooth}.tree-node__box,.tree-node,.tree-edge{transition:stroke var(--dur-slow) ease, fill var(--dur-slow) ease}.tree-view__svg--large .tree-node__box,.tree-view__svg--large .tree-node,.tree-view__svg--large .tree-edge{transition:none}}.home{padding-block:28px 40px;padding-inline:20px}.home-hero{flex-wrap:wrap;align-items:center;gap:26px 56px;display:flex}.home-hero__text{flex-direction:column;flex:520px;gap:18px;min-width:0;display:flex}.home-hero__eyebrow,.home-examples__label,.home-preview__step{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.home-hero__title{font-size:34px;font-weight:var(--weight-semibold);letter-spacing:-.035em;line-height:1.08}.home-hero__lead{max-width:30em;color:var(--color-text-muted);font-size:16px;line-height:1.55}.quick-formula{flex-direction:column;gap:18px;display:flex}.quick-formula .btn{width:100%}.quick-formula__input.input{border-radius:var(--radius-lg);min-width:0;height:52px;font-family:var(--font-mono);flex:none;padding-inline:14px;font-size:16px}.home-examples{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.home-examples__label{flex-basis:100%}.home-examples .btn{height:44px}.home-preview{border-radius:var(--radius-xl);background:var(--color-surface);flex-direction:column;flex:400px;gap:12px;min-width:0;padding:18px;display:flex}.home-preview__meta{justify-content:space-between;align-items:center;gap:8px;display:flex}.home-preview__title{font-size:19px;font-weight:var(--weight-semibold);letter-spacing:-.02em;line-height:1.3}.home-preview__title code{font-family:var(--font-mono);font-weight:var(--weight-medium)}.home-preview__clauses{gap:8px}.home-preview .clause{border-radius:var(--radius-md);min-height:40px;padding:4px 12px;font-size:16px}.mini-tree{width:100%;font-family:var(--font-mono);margin-top:8px;display:none}.mini-tree__root{fill:var(--color-bg);stroke:var(--color-text-muted);stroke-width:1.5px}.mini-tree__chain{fill:none;stroke:#a1a1aa;stroke-width:1.25px;stroke-dasharray:3 4}.mini-tree__dot{fill:var(--color-ev-unit)}.mini-tree__edge{fill:none;stroke:var(--color-text-subtle);stroke-width:1.5px}.mini-tree__pill{fill:var(--color-bg);stroke:var(--color-ev-branch);stroke-width:1.25px}.mini-tree__pill-text,.mini-tree__mark{text-anchor:middle;font-size:11px}.mini-tree__pill-text{fill:var(--color-ev-branch)}.mini-tree__mark{font-weight:var(--weight-medium)}.mini-tree__leaf{stroke-width:1.5px}.mini-tree__leaf--conflict{fill:var(--color-ev-conflict-soft);stroke:var(--color-ev-conflict)}.mini-tree__leaf--sat{fill:var(--color-ev-sat-soft);stroke:var(--color-ev-sat)}.mini-tree__mark--conflict{fill:var(--color-ev-conflict)}.mini-tree__mark--sat{fill:var(--color-ev-sat)}.home-more{margin-top:26px}.home-about{max-width:var(--prose-max);margin-top:32px}.home-about p{color:var(--color-text-muted);margin-top:8px}.home-links{flex-direction:column;display:flex}.home-link{border-bottom:1px solid var(--color-hairline);color:var(--color-text);align-items:center;gap:14px;padding-block:14px;text-decoration:none;display:flex}.home-link:last-child{border-bottom:0}.home-link:hover{color:var(--color-text)}.home-link__icon{border-radius:var(--radius-lg);background:var(--color-surface-2);flex:none;place-items:center;width:40px;height:40px;display:grid}.home-link__body{flex:1;min-width:0}.home-link__title{align-items:center;gap:6px;font-size:16px;line-height:1.5;display:flex}.home-link__arrow,.home-events{display:none}.home-link__arrow{width:16px;height:16px;color:var(--color-text-subtle)}.home-link__chevron{color:var(--color-text-subtle)}.home-link__text{color:var(--color-text-muted);font-size:14px;line-height:1.5}.home-events__item{align-items:center;gap:8px;display:inline-flex}@media (min-width:768px){.home{padding-block:72px;padding-inline:32px}.home-hero{gap:56px}.home-hero__text{gap:20px}.home-hero__eyebrow{font-size:13px}.home-hero__title{letter-spacing:-.04em;font-size:52px;line-height:1.04}.home-hero__lead{font-size:18px}.quick-formula{flex-direction:row;gap:8px;margin-top:8px}.quick-formula .btn{width:auto;height:52px}.quick-formula__input.input{flex:1;padding-inline:16px;font-size:17px}.home-examples__label{flex-basis:auto;margin-right:4px}.home-examples .btn{border-radius:var(--radius-sm);height:32px;padding-inline:10px;font-size:13px}.home-preview{gap:16px;padding:24px}.home-preview__title{font-size:22px}.mini-tree{display:block}.home-more{margin-top:72px}.home-links{grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;display:grid}.home-link,.home-link:last-child{border:1px solid var(--color-border);border-radius:var(--radius-xl);flex-direction:column;align-items:flex-start;gap:10px;padding:24px}.home-link{transition:border-color var(--dur-fast) var(--ease)}.home-link:hover{border-color:var(--color-border-strong)}.home-link__body{flex:none}.home-link__title{margin-bottom:10px;font-size:18px}.home-link__arrow{display:block}.home-link__chevron{display:none}.home-events{color:var(--color-text-muted);flex-wrap:wrap;justify-content:center;gap:12px 28px;margin-top:40px;font-size:14px;display:flex}}.solve{flex-direction:column;gap:16px;padding-block:20px 32px;padding-inline:20px;display:flex}.solve-head h1{letter-spacing:-.025em;font-size:26px;line-height:1.25}.solve-head__intro{color:var(--color-text-muted);margin-top:6px;display:none}.solve-layout{flex-wrap:wrap;align-items:flex-start;gap:16px 40px;display:flex}.solve-layout__input{flex-direction:column;flex:520px;gap:16px;min-width:0;display:flex}.solve-layout__output{flex:420px;min-width:0}.solve-result,.solve-empty{margin-top:24px}.solve-layout__output>.solve-result,.solve-layout__output>.solve-empty{margin-top:0}.solve-toolbar__notations{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);margin-left:auto;line-height:16px;display:none}.solve .formula-input{gap:8px}.solve .formula-input__actions{margin-top:10px}.solve .field-box textarea{min-height:104px}.solve .field-box textarea,.solve .field-mirror{font-size:16px}.solve .formula-input__submit{flex:1}.solve .formula-input__hint{display:none}@media (min-width:768px){.solve{gap:28px;padding-block:40px 64px;padding-inline:32px}.solve-head h1{font-size:30px}.solve-head__intro,.solve-toolbar__notations{display:block}.solve-layout__input{gap:18px}.solve .field-box textarea{min-height:88px}.solve .field-box textarea,.solve .field-mirror{font-size:17px}.solve .formula-input__submit{flex:none}.solve .formula-input__hint{display:inline}}.empty-state,.notation-help{border-radius:var(--radius-xl);background:var(--color-surface);flex-direction:column;padding:20px;display:flex}.empty-state{gap:16px}.notation-help{gap:12px}.empty-state__icon{border-radius:var(--radius-lg);background:var(--color-bg);width:40px;height:40px;box-shadow:var(--shadow-sm);place-items:center;display:grid}.empty-state__heading{font-size:18px;line-height:1.4}.empty-state__hint{color:var(--color-text-muted);overflow-wrap:anywhere;font-size:14px;line-height:1.55}.empty-state__list{flex-direction:column;gap:8px;display:flex}.empty-state__example.btn{justify-content:space-between;gap:16px;width:100%;height:48px}.empty-state__title{flex:none}.empty-state__formula{min-width:0;color:var(--color-text-muted);font-size:13px;font-weight:var(--weight-regular);text-overflow:ellipsis;overflow:hidden}.empty-state__formula sub{font-size:.75em;line-height:0}.notation-help__heading{font-size:16px;line-height:1.5}.notation-help .tbl{width:100%;font-size:13px}.notation-help .tbl th{border-bottom:1px solid var(--color-hairline);width:45%;color:var(--color-text-muted);font-size:13px;font-weight:var(--weight-regular);padding:10px 14px}.notation-help code{font-variant-ligatures:none;white-space:pre}.notation-help__note{color:var(--color-text-muted);font-size:13px;line-height:1.5}@media (min-width:768px){.empty-state,.notation-help{padding:28px}}.result-card{border:1px solid var(--color-border);border-radius:var(--radius-xl);background:var(--color-bg);flex-direction:column;gap:20px;padding:20px;display:flex;container:result-card/inline-size}.solve-result.is-stale .result-card{opacity:.55}.result-stale-note{margin-bottom:12px}.result-card__head{align-items:center;gap:12px;display:flex}.result-card__icon{width:44px;height:44px;font-size:20px;font-weight:var(--weight-semibold);border-radius:50%;flex:none;place-items:center;line-height:1;display:grid}.result-card__icon--plain,.result-stat--plain{background:var(--color-surface-2);color:var(--color-text-muted)}.result-card__status{letter-spacing:-.02em;font-size:28px;line-height:1.2}.result-card__meta,.result-card__heading{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:16px}.result-card__lead,.result-card__hint{color:var(--color-text-muted);font-size:14px;line-height:1.5}.result-card__section{flex-direction:column;gap:8px;display:flex}.result-valuation{overflow-x:auto}.result-valuation .tbl{width:100%}.result-valuation sub,.result-table__clause sub{font-size:.75em;line-height:0}.result-valuation__free{color:var(--color-text-muted);font-size:13px}.result-check>summary{border-radius:var(--radius-sm);cursor:pointer;justify-content:space-between;align-items:center;gap:8px;min-height:44px;list-style:none;display:flex}.result-check>summary::-webkit-details-marker{display:none}.result-check[open]>summary .ic{rotate:180deg}.result-check>.result-card__hint{margin-bottom:8px}.result-card__verified{color:var(--color-ev-sat);font-size:14px;font-weight:var(--weight-medium);line-height:1.4}.result-table-wrap{border:1px solid var(--color-border);border-radius:var(--radius-md);overflow-x:auto}.result-table{width:100%}.result-table tbody th{width:2.5rem}.result-table__clause{font-family:var(--font-mono);line-height:1.8}.result-stats{grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;display:grid}.result-stats--4{grid-template-columns:repeat(2,minmax(0,1fr))}.result-stat{border-radius:var(--radius-lg);padding:12px 10px;position:relative}.result-stat__body{display:block}.result-stat__n{color:var(--color-text);font-size:22px;font-weight:var(--weight-semibold);line-height:1.5;display:block}.result-stat__label{align-items:center;gap:4px;font-size:13px;line-height:1.5;display:flex}.result-stat__label .ic{width:14px;height:14px;position:absolute;top:14px;right:10px}@container result-card (max-width:340px){.result-stats:not(.result-stats--4){grid-template-columns:minmax(0,1fr);gap:6px}.result-stats:not(.result-stats--4) .result-stat{padding:8px 12px}.result-stats:not(.result-stats--4) .result-stat__body{align-items:baseline;gap:8px;display:flex}.result-stats:not(.result-stats--4) .result-stat__n{font-size:18px}.result-stats:not(.result-stats--4) .result-stat__label .ic{position:absolute;top:50%;right:12px;transform:translateY(-50%)}}.result-card__warnings{flex-direction:column;gap:8px;display:flex}.result-card__warnings .msg{padding:10px 14px;font-size:13px}.result-card__actions{flex-wrap:wrap;gap:8px;display:flex}.result-card__actions>.dd{margin-left:auto}.result-card__actions summary{list-style:none}.result-card__actions summary::-webkit-details-marker{display:none}@media (min-width:768px){.result-card{padding:28px}.result-stat{padding:12px}.result-stat__label .ic{position:static}.result-stats--4{grid-template-columns:repeat(4,minmax(0,1fr))}}.examples-menu__search{border-radius:var(--radius-sm);background:var(--color-surface-2);height:40px;color:var(--color-text-muted);flex:none;align-items:center;gap:8px;margin:4px 4px 6px;padding-inline:10px;display:none}.examples-menu__search .ic{width:16px;height:16px}.examples-menu__search input{min-width:0;color:var(--color-text);background:0 0;outline:none;flex:1;font-size:14px}.examples-menu__search input::placeholder{color:var(--color-text-muted)}.examples-menu__search:focus-within{outline:2px solid var(--color-ink);outline-offset:-2px}.examples-menu__group[hidden]{display:none}.examples-menu__group--history{border-bottom:1px solid var(--color-hairline);margin-bottom:6px;padding-bottom:6px}.examples-menu__item{border-radius:var(--radius-sm);width:100%;min-height:52px;color:var(--color-text);text-align:left;transition:background-color var(--dur-fast) var(--ease);align-items:center;gap:10px;padding:0 10px;font-size:14px;display:flex}.examples-menu__item:hover,.examples-menu__item:focus-visible{background:var(--color-surface-2)}.examples-menu__item:focus-visible{outline-offset:-2px}.examples-menu__item>.ic{width:16px;height:16px;color:var(--color-text-subtle)}.examples-menu__title,.examples-menu__formula{flex:1;min-width:0}.examples-menu__formula{text-overflow:ellipsis;white-space:nowrap;font-size:13px;overflow:hidden}.examples-menu__formula sub{font-size:.75em;line-height:0}.examples-menu__meta{color:var(--color-text-muted);flex:none;font-size:12px}.examples-menu__empty{color:var(--color-text-muted);padding:4px 10px 8px;font-size:14px;line-height:1.5}.examples-menu__clear{border-top:1px solid var(--color-hairline);border-radius:0 0 var(--radius-sm) var(--radius-sm);color:var(--color-text-muted);margin-top:6px}.generator__form{flex-direction:column;gap:20px;font-size:15px;display:flex}.generator__title{font-size:15px;line-height:1.5}.generator__range,.generator__seg{flex-direction:column;gap:10px;display:flex}.generator__range-head{justify-content:space-between;gap:8px;display:flex}.generator__range b{font-weight:var(--weight-semibold)}.generator__range input{width:100%;height:44px;accent-color:var(--color-ink);margin-block:-8px}.generator__seg .seg{display:flex}.generator__seg .seg button{flex:1;padding-inline:6px}.generator__seed-block{flex-direction:column;gap:6px;display:flex}.generator__seed{justify-content:space-between;align-items:center;gap:12px;display:flex}.generator__seed .input[type]{width:110px;font-family:var(--font-mono);padding-inline:12px}.generator__hint{color:var(--color-text-subtle);font-size:12px;line-height:16px}.generator__error{color:var(--color-ev-conflict);font-size:14px;line-height:1.5}.generator__submit.btn{width:100%;height:48px}.sheet .generator__form{padding:4px 12px}@media (min-width:768px){.examples-menu__search{display:flex}.examples-menu__item{min-height:40px}.generator__panel{width:340px;padding:18px}.generator__form{gap:16px;font-size:14px}.generator__range,.generator__seg{gap:8px}.generator__range input{height:16px;margin-block:0}.generator__seed .input[type]{border-radius:var(--radius-sm);width:96px;height:36px;padding-inline:10px;font-size:14px}.generator__submit.btn{height:40px}}.card{border-radius:var(--radius-xl);background:var(--color-bg);box-shadow:inset 0 0 0 1px var(--color-border);color:var(--color-text);padding:0;font-size:1rem;line-height:1.6;overflow:visible}.panel{border-radius:var(--radius-xl);background:var(--color-surface)}.exercises-page{max-width:896px;margin:-8px auto 0;padding-bottom:16px}.exercises-top{grid-template-columns:minmax(0,1fr) 260px;align-items:end;gap:18px 24px;display:grid}.exercises-title h1{letter-spacing:-.025em;font-size:30px;line-height:1.2}.exercises-title p{color:var(--color-text-muted);margin-top:6px}.exercise-progress{flex-direction:column;gap:6px;display:flex}.exercise-progress__label{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);justify-content:space-between;display:flex}.exercise-progress__label b{color:var(--color-text);font-weight:var(--weight-semibold)}.exercise-progress__bar{background:var(--color-border);border-radius:3px;height:6px;display:flex;overflow:hidden}.exercise-progress__done{background:var(--color-ev-sat);transition:width var(--dur-slow) var(--ease)}.exercise-progress__doing{background:var(--color-ink);transition:width var(--dur-slow) var(--ease)}.exercise-next{transition:background-color var(--dur-fast) var(--ease);flex-direction:row;grid-column:1/-1;align-items:center;gap:16px;padding:16px 20px;text-decoration:none}a.exercise-next:hover{background:var(--color-surface);color:var(--color-text)}.exercise-next>.ic{color:var(--color-text-subtle)}.exercise-next__play{background:var(--color-ink);color:#fff;border-radius:50%;flex:none;place-items:center;width:40px;height:40px;display:grid}.exercise-next__play svg{fill:currentColor;width:16px;height:16px}.exercise-next__text{flex-direction:column;flex:1;min-width:0;display:flex}.exercise-next__label,.exercise-next__meta{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium)}.exercise-next__title{font-size:16px;font-weight:var(--weight-semibold);line-height:1.5}.exercise-list__toolbar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;margin-top:18px;display:flex}.exercise-list__empty{color:var(--color-text-muted);margin-top:28px}.exercise-group{flex-direction:column;gap:4px;margin-top:28px;display:flex}.exercise-group__heading{border-bottom:1px solid var(--color-hairline);align-items:baseline;gap:8px;padding:0 12px 6px;font-size:15px;line-height:1.6;display:flex}.exercise-group__count{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium)}.exercise-group__list{flex-direction:column;display:flex}.exercise-item{border-radius:var(--radius-lg);min-height:60px;color:var(--color-text);transition:background-color var(--dur-fast) var(--ease);align-items:center;gap:16px;padding:10px 12px;text-decoration:none;display:flex}.exercise-item:hover{background:var(--color-surface);color:var(--color-text)}.exercise-item>.ic{color:var(--color-text-subtle)}.exercise-status{border-radius:50%;flex:none;place-items:center;width:24px;height:24px;display:grid}.exercise-status--todo{box-shadow:inset 0 0 0 1.5px var(--color-border-strong)}.exercise-status--inProgress{background:linear-gradient(90deg, var(--color-ink) 50%, transparent 50%);box-shadow:inset 0 0 0 1.5px var(--color-ink)}.exercise-status--done{background:var(--color-ev-sat-soft);color:var(--color-ev-sat)}.exercise-status .ic{stroke-width:2.25px;width:14px;height:14px}.exercise-item__body{flex-direction:column;flex:1;gap:2px;min-width:0;display:flex}.exercise-item__title{font-size:15px;font-weight:var(--weight-medium);line-height:1.4}.exercise-item__meta,.exercise-item__summary{color:var(--color-text-subtle);font-size:12px;line-height:1.5}.exercise-item__meta{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.exercise-item__formula code{font-family:var(--font-mono);font-size:12px}.exercise-item__formula sub{font-size:.75em;line-height:0}.exercise-item__side{flex:none;align-items:center;gap:16px;display:flex}.exercise-reset{border-top:1px solid var(--color-hairline);flex-direction:column;align-items:flex-start;gap:8px;margin-top:28px;padding-top:16px;display:flex}.exercise-reset--confirm{border:1px solid var(--color-border-strong);border-radius:var(--radius-lg);padding:16px}.exercise-reset__question{font-weight:var(--weight-semibold)}.exercise-reset__hint{color:var(--color-text-muted);padding-inline:14px;font-size:13px;line-height:1.5}.exercise-reset__actions{flex-wrap:wrap;gap:8px;display:flex}.exercise-reset__status:empty{display:none}.exercise-detail{flex-direction:column;gap:28px;margin-top:-16px;padding-bottom:16px;display:flex}.exercise-detail__head{flex-direction:column;gap:12px;display:flex}.exercise-detail__back{min-height:24px;color:var(--color-text-muted);font-size:13px;font-weight:var(--weight-medium);align-self:flex-start;align-items:center;gap:4px;text-decoration:none;display:inline-flex}.exercise-detail__back:hover{color:var(--color-text)}.exercise-detail__back .ic{width:14px;height:14px}.exercise-detail__title{flex-wrap:wrap;align-items:flex-start;gap:16px;display:flex}.exercise-detail__title>div{flex-direction:column;flex:1;gap:6px;min-width:0;display:flex}.exercise-detail__title h1{letter-spacing:-.025em;font-size:30px;line-height:1.2}.exercise-detail__eyebrow{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);flex-wrap:wrap;align-items:center;gap:10px;line-height:1.5;display:flex}.exercise-detail__solution .ic,.exercise-detail__foot .ic{width:16px;height:16px}.exercise-detail__foot{display:none}.exercise-detail__bar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;display:flex}.exercise-counters{color:var(--color-text-muted);gap:16px;font-size:14px;display:flex}.exercise-counters b{color:var(--color-text);font-weight:var(--weight-semibold)}.exercise-counters b.is-bad{color:var(--color-ev-conflict)}.exercise-summary{border-radius:var(--radius-lg);background:var(--color-surface);flex-direction:column;gap:2px;padding:12px 16px;font-size:14px;line-height:1.5;display:flex}.exercise-summary__title{font-weight:var(--weight-medium)}.exercise-summary__hint{color:var(--color-text-muted);font-size:13px}.play-layout{flex-wrap:wrap;align-items:flex-start;gap:40px;display:flex}.play__main{flex-direction:column;flex:520px;min-width:0;display:flex}.play__tree{flex:380px;min-width:0}.play__board{flex-direction:column;gap:20px;display:flex}.play__feedback{margin-bottom:20px}.play__set{flex-direction:column;gap:10px;display:flex}.play__label{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:1.5}.play__label code{font-family:var(--font-mono)}.play__label sub,.play__clause sub{font-size:.75em;line-height:0}.play__how,.play__none{color:var(--color-text-muted);font-size:14px;line-height:1.5}.play__clause{cursor:pointer;transition:border-color var(--dur-fast) var(--ease), background-color var(--dur-fast) var(--ease)}.play__clause:hover{border-color:var(--color-border-strong);background:var(--color-surface)}.play__empty{color:var(--color-ev-sat);font-family:var(--font-mono);font-size:19px}.play__empty span{font-family:var(--font-sans);margin-left:8px;font-size:14px}.play__moves{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;display:grid}.play__card{gap:10px;padding:16px}.play__card-label{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);align-items:center;gap:6px;line-height:1.5;display:flex}.play__card-label--branch{color:var(--color-ev-branch)}.play__card-label .ic{width:14px;height:14px}.play__choices{flex-wrap:wrap;gap:6px;display:flex}.play__answers .ic:first-child{color:var(--color-ev-sat)}.play__answers [data-play=unsat] .ic{color:var(--color-ev-conflict)}.play__literal{min-width:48px;font-family:var(--font-mono);font-weight:var(--weight-regular)}.play__note{color:var(--color-text-subtle);font-size:12px;line-height:1.5}.play__hints{flex-direction:column;gap:10px;padding:14px 16px;display:flex}.play__hints-head{flex-wrap:wrap;align-items:center;gap:4px 10px;display:flex}.play__hints-title{font-size:14px;font-weight:var(--weight-medium);align-items:center;gap:8px;display:inline-flex}.play__hints-title .ic{width:16px;height:16px}.play__hint-cost{color:var(--color-text-subtle);flex:180px;font-size:12px}.play__hint-list{color:var(--color-text-2);flex-direction:column;gap:6px;font-size:14px;line-height:1.5;display:flex}.play__target{outline:2px solid var(--color-ink);outline-offset:2px}.clause.play__target{border-color:var(--color-ev-unit);box-shadow:inset 0 0 0 1px var(--color-ev-unit);outline:0}.play__tree .tree-view{border-radius:var(--radius-xl);background:var(--color-surface);margin-top:0}.play__tree .tree-view__head{margin-bottom:0;padding:16px 16px 0}.play__tree .tree-view__canvas{background:0 0}.play__tree .tree-legend-menu,.play__tree .tree-view__hint{display:none}.sat-panel{flex-direction:column;flex:380px;min-width:0;padding:20px;display:flex}.sat-panel .msg{background:var(--color-bg);box-shadow:inset 0 0 0 1px var(--color-border);margin-bottom:12px}.sat-panel__check{flex-direction:column;gap:12px;display:flex}.sat-set{gap:8px;padding:20px}.sat-set code{font-family:var(--font-mono);overflow-wrap:anywhere;line-height:1.6}.sat-set sub,.sat-check__clause sub,.sat-check__why sub,.sat-var__name sub{font-size:.75em;line-height:0}.sat-answer{flex-direction:column;align-items:flex-start;gap:10px;display:flex}.sat-answer h3{font-size:18px;line-height:1.5}.sat-answer .seg button{min-width:88px}.sat-valuation{flex-direction:column;gap:12px;display:flex}.sat-valuation__title{font-size:15px;font-weight:var(--weight-medium)}.sat-vars{flex-direction:column;gap:12px;display:flex}.sat-var{align-items:center;gap:12px;display:flex}.sat-var__name{min-width:24px;font-family:var(--font-mono);font-size:17px}.sat-var .seg button{min-width:52px}.sat-var .seg button[data-value=true][aria-pressed=true]{color:var(--color-ev-sat)}.sat-var .seg button[data-value=false][aria-pressed=true]{color:var(--color-ev-conflict)}.sat-var__empty,.sat-check__title{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);line-height:1.5}.sat-check{flex-direction:column;gap:2px;display:flex}.sat-check__row{border-radius:var(--radius-md);--row-color:var(--color-text-subtle);align-items:center;gap:12px;min-height:40px;padding:4px 12px;display:flex}.sat-check__row>.ic{color:var(--color-ev-sat)}.sat-check__row--open{background:var(--color-ev-branch-soft);--row-color:var(--color-ev-branch)}.sat-check__row--bad{background:var(--color-ev-conflict-soft);--row-color:var(--color-ev-conflict)}.sat-check__row--open>.ic,.sat-check__row--bad>.ic{color:var(--row-color)}.sat-check__clause{min-width:0;font-family:var(--font-mono);overflow-wrap:anywhere;flex:1;font-size:14px}.sat-check__why{color:var(--row-color);font-size:12px;font-weight:var(--weight-medium);text-align:right}.play__done{gap:12px;padding:20px}.play__done--sat{--done-color:var(--color-ev-sat)}.play__done--unsat{--done-color:var(--color-ev-conflict)}.play__done-title{color:var(--done-color);font-size:20px;font-weight:var(--weight-semibold);line-height:1.4}.play__done-stats{color:var(--color-text-muted);font-size:14px}.play__done-actions{flex-wrap:wrap;gap:8px;display:flex}.lesson{padding-top:0;padding-inline:20px;padding-bottom:40px}.lesson__body{width:100%;min-width:0;max-width:var(--prose-max);flex-direction:column;gap:16px;margin-inline:auto;padding-top:28px;display:flex}.lesson__eyebrow{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium)}.lesson__title{letter-spacing:-.03em;font-size:32px;line-height:1.1}.lesson__lead,.lesson-prose,.lesson-rules{color:var(--color-text-2);font-size:16px;line-height:1.7}.lesson-section{min-width:0;scroll-margin-top:var(--lesson-scroll-offset);flex-direction:column;gap:16px;margin-top:32px;display:flex}.lesson-section__title{letter-spacing:-.025em;align-items:baseline;gap:12px;font-size:24px;line-height:1.2;display:flex}.lesson-section__num{color:var(--color-text-subtle);font-family:var(--font-mono);font-size:14px;font-weight:var(--weight-medium);letter-spacing:0;flex:none}.lesson-prose{flex-direction:column;gap:16px;display:flex}.lesson-rules{flex-direction:column;gap:8px;padding-left:24px;list-style:outside;display:flex}ol.lesson-rules{list-style:decimal}.lesson-interactive{min-width:0;margin-block:8px}.lesson-section__try{font-size:15px;font-weight:var(--weight-medium)}.lesson-section__try a{text-decoration:none}.lesson-section__try a:hover{text-decoration:underline}.lesson-toc:empty{height:52px}.lesson-toc{top:var(--lesson-sticky-top);z-index:10;background:var(--color-bg);margin-inline:-20px;position:sticky}.lesson-toc__summary{border-bottom:1px solid var(--color-hairline);cursor:pointer;align-items:center;gap:10px;height:52px;padding-inline:20px;font-size:14px;list-style:none;display:flex;position:relative}.lesson-toc__summary::-webkit-details-marker{display:none}.lesson-toc__position,.lesson-toc__count,.lesson-toc__state,.lesson-toc__heading{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);flex:none}.lesson-toc__current{min-width:0;font-weight:var(--weight-medium);text-overflow:ellipsis;white-space:nowrap;flex:1;overflow:hidden}.lesson-toc__line{background:var(--color-ink);height:2px;transform:scaleX(var(--lesson-progress,0));transform-origin:0;position:absolute;inset:auto 0 -1px}.lesson-toc__panel{flex-direction:column;gap:14px;display:flex}.lesson-toc__meter{align-items:center;gap:10px;display:flex}.lesson-progress{background:var(--color-border);border-radius:2px;flex:1;height:3px;overflow:hidden}.lesson-progress__bar{background:var(--color-ink);height:100%;transform:scaleX(var(--lesson-progress,0));transform-origin:0}.lesson-toc__count,.lesson-toc__state{display:none}.lesson-toc__list{flex-direction:column;gap:2px;display:flex}.lesson-toc__link{border-radius:var(--radius-sm);min-height:36px;color:var(--color-text-subtle);align-items:center;gap:10px;padding:6px 10px;font-size:14px;line-height:1.3;text-decoration:none;display:flex}.lesson-toc__item--done .lesson-toc__link{color:var(--color-text-2)}.lesson-toc__link:hover{background:var(--color-surface);color:var(--color-text)}.lesson-toc__link[aria-current=location]{background:var(--color-surface-2);color:var(--color-text);font-weight:var(--weight-medium)}.lesson-toc__num{width:14px;font-family:var(--font-mono);text-align:center;flex:none;font-size:12px}.lesson-toc__title{flex:1;min-width:0}.lesson-toc__check{width:14px;height:14px;color:var(--color-ev-sat);stroke-width:2.5px}.sheet .lesson-toc__heading{display:none}.sheet .lesson-toc__meter{padding:0 12px 10px}.sheet .lesson-progress{height:4px}.sheet .lesson-toc__count,.sheet .lesson-toc__state{display:inline}.sheet .lesson-toc__panel,.sheet .lesson-toc__list{gap:0}.sheet .lesson-toc__link{min-height:52px;color:var(--color-text-muted);padding:8px 12px;font-size:15px}.sheet .lesson-toc__item--done .lesson-toc__link{color:var(--color-text)}.sheet .lesson-toc__num{width:20px;font-size:13px}.sheet .lesson-toc__check{width:20px;height:20px}@media (min-width:768px){.lesson{padding-inline:32px;padding-bottom:80px}.lesson-toc{margin-inline:-32px}.lesson-toc__summary{padding-inline:32px}.lesson__body,.lesson-section,.lesson-prose{gap:20px}.lesson__body{padding-top:40px}.lesson__eyebrow{font-size:13px}.lesson__title{letter-spacing:-.035em;font-size:48px;line-height:1.05}.lesson__lead,.lesson-prose,.lesson-rules{font-size:18px}.lesson-section{margin-top:48px}.lesson-section__title{font-size:30px}.lesson-section__num{font-size:15px}.lesson-interactive{margin-block:12px}}@media (min-width:1080px){.lesson{padding-top:56px}.lesson__layout{grid-template-columns:240px minmax(0,1fr);align-items:start;gap:64px;display:grid}.lesson__body{margin-inline:0;padding-top:0}.lesson-toc{top:calc(var(--lesson-sticky-top) + 24px);background:0 0;margin-inline:0;padding-top:8px}.lesson-toc__summary{display:none}}.lesson-figure{background:var(--color-surface);border-radius:20px;flex-direction:column;gap:16px;min-width:0;margin-inline:-8px;padding:16px;font-size:14px;line-height:1.5;display:flex}.lesson-figure__head{align-items:center;gap:10px;display:flex}.lesson-figure__icon{border-radius:var(--radius-sm);background:var(--color-bg);width:28px;height:28px;box-shadow:var(--shadow-sm);flex:none;place-items:center;display:grid}.lesson-figure__icon .ic{width:14px;height:14px}.lesson-figure__title{min-width:0;font-size:15px;font-weight:var(--weight-semibold)}.lesson-figure__tag{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);flex:none;margin-left:auto}.lesson-choices{flex-wrap:wrap;flex:none;align-self:flex-start;max-width:100%;display:flex}.lesson-figure .clauses,.propagation-figure .clauses{gap:8px}.lesson-figure .clause,.propagation-figure .clause{border-radius:var(--radius-md);min-height:40px;padding:4px 12px;font-size:16px}.lesson-figure .lit,.propagation-figure .lit{font-family:var(--font-mono)}.lesson-figure sub,.propagation-figure sub{font-size:.75em;line-height:0}.sat-explorer__control{flex-direction:column;gap:6px;display:flex}.sat-explorer__head{flex-wrap:wrap;justify-content:space-between;gap:4px 16px;display:flex}.sat-explorer__summary{font-weight:var(--weight-semibold)}.sat-explorer__range{width:100%;height:44px;accent-color:var(--color-ink);cursor:pointer;margin:0}.sat-explorer__bars{align-items:flex-end;gap:3px;height:80px;display:flex}.sat-explorer__bar{background:var(--color-border);border-radius:3px 3px 0 0;flex:1;min-width:0}.sat-explorer__bar.is-on{background:var(--color-ink)}.sat-explorer__table-wrap{overflow-x:auto}.sat-explorer__table{font-size:13px}.sat-explorer__table caption{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);text-align:left;padding-bottom:4px}.sat-explorer__table td,.sat-explorer__table tbody th{padding:4px 14px;font-size:13px}.sat-explorer__table th:first-child,.sat-explorer__table td:first-child{padding-left:0}.sat-explorer__row--match{background:var(--color-surface-2)}.sat-explorer__row--match th:first-child{box-shadow:inset 2px 0 0 var(--color-ink);padding-left:10px}.sat-explorer__vars{border-radius:var(--radius-sm);min-width:44px;min-height:44px;color:var(--color-text);font-variant-numeric:tabular-nums;text-underline-offset:3px;padding:0 8px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.sat-explorer__vars:hover{background:var(--color-surface-2)}.sat-explorer__note,.notation-converter__none,.notation-converter__hint,.notation-converter__warnings,.propagation-lab__history,.select-compare__stats,.dll-player__legend,.dll-player__counter,.dp-player__about,.dp-player__legend{color:var(--color-text-muted);font-size:13px}.notation-converter__field{flex-direction:column;gap:6px;display:flex}.notation-converter__input{width:100%;font-size:16px}.notation-converter__examples,.propagation-lab__actions,.notation-converter__summary,.dll-player__controls{flex-wrap:wrap;gap:8px;display:flex}.notation-converter__summary{gap:6px}.notation-converter__output{flex-direction:column;gap:12px;display:flex}.notation-converter__list{gap:8px;display:grid}.notation-converter__row{border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-bg);flex-direction:column;gap:6px;min-width:0;padding:12px;display:flex}.notation-converter__row--current{border-color:var(--color-ink);box-shadow:inset 0 0 0 .5px var(--color-ink)}.notation-converter__row dt{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium)}.notation-converter__row--current dt{color:var(--color-text)}.notation-converter__text{font-family:var(--font-mono);overflow-wrap:anywhere;font-size:13px}.notation-converter__verdict{font-weight:var(--weight-medium)}.notation-converter__warnings{padding-left:20px;list-style:outside}.propagation-diagram{gap:12px;display:grid}.propagation-diagram__col{min-width:0}.propagation-diagram__label{color:var(--color-text-muted);font-size:13px;font-weight:var(--weight-medium);margin-bottom:8px}.propagation-diagram__literal{color:var(--color-ev-unit);font-family:var(--font-mono);margin-left:8px}.propagation-diagram__arrow{color:var(--color-text-subtle);justify-self:center;transform:rotate(90deg)}.propagation-diagram__empty{border:1px solid var(--color-ev-sat);border-radius:var(--radius-md);background:var(--color-ev-sat-soft);min-height:40px;color:var(--color-ev-sat);font-family:var(--font-mono);font-size:16px;font-weight:var(--weight-medium);align-items:center;padding:4px 16px;display:inline-flex}.propagation-diagram__rules{color:var(--color-text-muted);flex-direction:column;gap:4px;margin-top:12px;display:flex}.propagation-diagram__rules strong{color:var(--color-ev-unit);font-weight:var(--weight-semibold)}.propagation-lab__unit{color:inherit;cursor:pointer;transition:background-color var(--dur-fast) var(--ease)}.propagation-lab__unit:hover{background:var(--color-ev-unit-soft)}.propagation-lab__status{font-weight:var(--weight-medium)}.propagation-lab__status--sat{color:var(--color-ev-sat)}.propagation-lab__status--unsat{color:var(--color-ev-conflict)}.propagation-figure{flex-direction:column;gap:12px;min-width:0;font-size:14px;line-height:1.5;display:flex}.propagation-figure__title{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium)}.propagation-figure .propagation-diagram__rules{margin-top:0}.history-figure__step{font-size:15px;font-weight:var(--weight-medium)}.history-figure__step:not(:first-of-type){margin-top:12px}.history-figure__step .lit{color:var(--color-ev-branch)}.history-figure__result{font-weight:var(--weight-medium);margin-top:4px}.resolution-pairs{gap:8px;display:grid}li.resolution-pair{border:1px solid var(--color-border);border-radius:var(--radius-md);background:var(--color-bg);overflow-wrap:anywhere;padding:8px 12px;font-size:13px}.resolution-pair .lit{font-family:var(--font-mono)}.resolution-pair sub{font-size:.75em;line-height:0}.resolution-pair__op{color:var(--color-text-muted);margin-inline:4px}.resolution-pair--dropped{color:var(--color-text-muted)}.resolution-pair__tag{color:var(--color-text-muted);margin-left:8px;font-size:12px;display:inline-block}.dll-player__set,.select-compare__set{font-family:var(--font-mono);overflow-wrap:anywhere;font-size:13px}.dll-player__grid{gap:16px;display:grid}.dll-player__panel{flex-direction:column;order:-1;gap:8px;min-width:0;display:flex}.dll-player__flow{flex-direction:column;gap:8px;min-width:0;display:flex}.dll-player__call{font-weight:var(--weight-medium)}.dll-player__call .lit,.dll-player__explain .lit{white-space:nowrap}.dll-player__explain{border-left:2px solid var(--rule-fg,var(--color-border-strong));padding-left:12px}.dll-player__cards{margin-top:8px}.flow{width:100%;max-width:400px;height:auto;margin-inline:auto;display:block}.flow__shape{fill:var(--color-bg);stroke:var(--color-text-muted);stroke-width:1.2px}.flow__text{fill:var(--color-text);font-family:var(--font-sans);text-anchor:middle;dominant-baseline:central;font-size:12px}.flow__text--code{font-family:var(--font-mono)}.flow__union{font-family:var(--font-sans)}.flow__node[data-node=propagate] .flow__shape{fill:var(--color-ev-unit-soft);stroke:var(--color-ev-unit)}.flow__node[data-node=select] .flow__shape{fill:var(--color-ev-branch-soft);stroke:var(--color-ev-branch)}.flow__node[data-node=sat] .flow__shape,.flow__node[data-node=thenSat] .flow__shape{fill:var(--color-ev-sat-soft);stroke:var(--color-ev-sat)}.flow__node[data-node=sat] .flow__text,.flow__node[data-node=thenSat] .flow__text{fill:var(--color-ev-sat)}.flow__node[data-node=unsat] .flow__shape{fill:var(--color-ev-conflict-soft);stroke:var(--color-ev-conflict)}.flow__node[data-node=unsat] .flow__text{fill:var(--color-ev-conflict)}.flow__edge polyline{fill:none;stroke:var(--color-text-subtle);stroke-width:1.5px}.flow__edge--recursive polyline{stroke-dasharray:4 3}.flow__arrowhead{fill:var(--color-text-subtle)}.flow__edge-label{fill:var(--color-text-subtle);font-family:var(--font-mono);font-size:11px}.flow__edge.is-path polyline{stroke:var(--color-ink);stroke-width:2px}.flow__arrowhead--path{fill:var(--color-ink)}.flow__edge.is-path .flow__edge-label{fill:var(--color-ink);font-weight:var(--weight-medium)}.flow__node.is-path .flow__shape{stroke-width:2px}.flow__node.is-current .flow__shape{fill:var(--rule-soft,var(--color-surface-2));stroke:var(--rule-fg,var(--color-ink));stroke-width:2.5px}.flow__node.is-current .flow__text{fill:var(--rule-fg,var(--color-ink));font-weight:var(--weight-medium)}.select-compare__criterion{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.select-compare__criterion .select{width:auto;max-width:100%}.select-compare__grid{gap:12px;display:grid}.select-compare__side{border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-bg);flex-direction:column;gap:6px;min-width:0;padding:14px;display:flex}.select-compare__side--winner{border-color:var(--color-ink);box-shadow:inset 0 0 0 .5px var(--color-ink)}.select-compare__heading{font-size:13px;font-weight:var(--weight-medium);flex-wrap:wrap;align-items:center;gap:8px;display:flex}.select-compare__badge{border-radius:var(--radius-full);background:var(--color-ev-sat-soft);color:var(--color-ev-sat);font-size:12px;font-weight:var(--weight-medium);padding:0 8px}.select-compare__stats strong{color:var(--color-text);font-weight:var(--weight-semibold)}.select-compare__tree{overflow-x:auto}.select-compare__verdict{font-weight:var(--weight-medium)}.dp-player .dp-view{grid-template-columns:none;grid-template-areas:none;gap:16px}.dp-player .dp-view>*{grid-area:auto}.dp-player .proof__list{max-height:22rem}.dp-player .compare-chart{max-width:520px}.dp-player__compare{border-top:1px solid var(--color-border);flex-direction:column;gap:8px;padding-top:16px;display:flex}.dp-player__legend .compare__swatch--dp{margin-left:12px}.dp-player__open{font-size:13px;font-weight:var(--weight-medium)}@media (min-width:640px){.notation-converter__list{grid-template-columns:repeat(3,minmax(0,1fr))}.select-compare__grid{grid-template-columns:repeat(2,minmax(0,1fr));align-items:start}}@media (min-width:768px){.lesson-figure{margin-inline:-48px;padding:24px}.sat-explorer__vars{min-height:32px}.propagation-diagram{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:start}.propagation-diagram__arrow{align-self:center;transform:none}.dll-player__grid{grid-template-columns:repeat(2,minmax(0,1fr));align-items:start}.dll-player__panel{order:0}}@media (prefers-reduced-motion:reduce){.propagation-lab__unit{transition:none}}.quiz{flex-direction:column;gap:16px;min-width:0;display:flex}.quiz__head{align-items:center;gap:12px;display:flex}.quiz__count,.quiz__score,.quiz__kind{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);flex:none}.quiz__track{background:var(--color-border);border-radius:2px;flex:1;height:4px;overflow:hidden}.quiz__track i{background:var(--color-ink);height:100%;transition:width var(--dur-slow) var(--ease);display:block}.quiz__card{border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-bg);flex-direction:column;gap:14px;padding:16px;font-size:15px;line-height:1.5;display:flex}.quiz__prompt{font-size:17px;font-weight:var(--weight-medium);line-height:1.45}.quiz__prompt:focus{outline:none}.quiz__set{overflow-wrap:anywhere}.quiz__math{font-family:var(--font-mono)}.quiz__math sub{font-size:.75em;line-height:0}.quiz__options{flex-direction:column;gap:8px;display:flex}.quiz__option{border-radius:var(--radius-lg);background:var(--color-bg);width:100%;min-height:48px;box-shadow:inset 0 0 0 1px var(--color-border-strong);color:var(--color-text);text-align:left;overflow-wrap:anywhere;transition:background-color var(--dur-fast) var(--ease);align-items:center;gap:12px;padding:8px 14px;font-size:15px;display:flex}.quiz__option:hover:not(:disabled){background:var(--color-surface);box-shadow:inset 0 0 0 1.5px var(--color-ink)}.quiz__option:disabled{color:var(--color-text-muted);cursor:default}.quiz__radio{width:18px;height:18px;box-shadow:inset 0 0 0 1.5px var(--color-border-strong);border-radius:50%;flex:none}.quiz__option--right{background:var(--color-ev-sat-soft);box-shadow:inset 0 0 0 1.5px var(--color-ev-sat)}.quiz__option--right[aria-checked=false]{outline:1.5px dashed var(--color-ev-sat);outline-offset:-1.5px;box-shadow:none}.quiz__option--wrong{background:var(--color-ev-conflict-soft);box-shadow:inset 0 0 0 1.5px var(--color-ev-conflict)}.quiz__option--right:disabled,.quiz__option--wrong:disabled{color:var(--color-text)}.quiz__option--right .ic{color:var(--color-ev-sat)}.quiz__option--wrong .ic{color:var(--color-ev-conflict)}.quiz__label{flex:1;min-width:0}.quiz__tag{font-size:12px;font-weight:var(--weight-medium);flex:none}.quiz__option--right .quiz__tag{color:var(--color-ev-sat)}.quiz__option--wrong .quiz__tag{color:var(--color-ev-conflict)}.quiz__feedback--right b{color:var(--color-ev-sat)}.quiz__feedback--wrong b{color:var(--color-ev-conflict)}.quiz__actions{justify-content:flex-end;display:flex}.quiz__metrics{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;display:grid}.quiz__metric{border-radius:var(--radius-lg);background:var(--color-surface);flex-direction:column;padding:12px;display:flex}.quiz__metric-value{font-size:24px;font-weight:var(--weight-semibold);letter-spacing:-.02em}.quiz__metric-label{color:var(--color-text-muted);font-size:13px}.quiz__best,.quiz__summary-note{font-size:14px}.quiz__best{font-weight:var(--weight-medium)}.quiz__review{gap:8px;display:grid}.quiz__review-item{border:1px solid var(--color-border);border-left:3px solid var(--color-ev-sat);border-radius:var(--radius-md);overflow-wrap:anywhere;padding:10px 12px;font-size:14px}.quiz__review-item--wrong{border-left-color:var(--color-ev-conflict)}.quiz__review-prompt{font-weight:var(--weight-medium)}.quiz__review-line{color:var(--color-text-muted);margin-top:4px}.quiz__review-line--right{color:var(--color-ev-sat)}.quiz__summary>.btn{align-self:flex-start}@media (min-width:768px){.quiz__card{padding:24px}.quiz__prompt{font-size:19px}}@media (prefers-reduced-motion:reduce){.quiz__option{transition:none}}.not-found{flex-direction:column;justify-content:center;align-items:flex-start;gap:18px;padding:64px 20px;display:flex}.clause.not-found__f{letter-spacing:-.02em;min-height:0;padding:4px 18px;font-size:40px}.not-found__title{letter-spacing:-.03em;font-size:28px;line-height:1.2}.not-found__text{max-width:28em;color:var(--color-text-muted);font-size:16px;line-height:1.5}.not-found__actions{flex-wrap:wrap;gap:8px;width:100%;display:flex}.not-found__actions .btn{flex:1}@media (min-width:768px){.not-found{text-align:center;align-items:center;padding-block:120px}.clause.not-found__f{font-size:56px}.not-found__title{font-size:36px}.not-found__text{font-size:17px}.not-found__actions{justify-content:center}.not-found__actions .btn{flex:none}}.dd{position:relative}.dd::details-content{transition:none}.code-panel::details-content{transition:none}.lesson-toc__details::details-content{transition:none}.dd>summary{cursor:pointer;list-style:none}.dd>summary::-webkit-details-marker{display:none}.dd[open]>summary>svg:last-child:not(:first-child){transform:rotate(180deg)}.dd-panel{z-index:40;position:absolute;top:calc(100% + 6px);left:0}.dd.end>.dd-panel{left:auto;right:0}.menu,.pop{background:var(--color-bg);border:1px solid var(--color-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-md)}.pop{padding:16px}.menu{flex-direction:column;min-width:240px;padding:6px;display:flex}.menu .grp{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);padding:8px 10px 4px;line-height:16px}.pop .grp{color:var(--color-text-subtle);font-size:12px;font-weight:var(--weight-medium);margin-bottom:12px;line-height:16px}.menu>button,.menu>a{border-radius:var(--radius-sm);min-height:40px;color:var(--color-text);text-align:left;transition:background-color var(--dur-fast) var(--ease);align-items:center;gap:10px;padding:0 10px;font-size:14px;text-decoration:none;display:flex}.menu>button:hover,.menu>a:hover,.menu>button:focus-visible,.menu>a:focus-visible{background:var(--color-surface-2);color:var(--color-text)}.menu>button:focus-visible,.menu>a:focus-visible{outline-offset:-2px}.menu>button[aria-pressed=true]{font-weight:var(--weight-medium)}.menu>button>svg{width:18px;height:18px;color:var(--color-text-muted);flex:none}.menu-key{color:var(--color-text-subtle);font-family:var(--font-mono);font-size:12px}.menu hr{border:0;border-top:1px solid var(--color-hairline);margin:6px 0}.sheet{width:100%;max-width:none;max-height:85dvh;padding:8px 8px calc(16px + env(safe-area-inset-bottom,0px));background:var(--color-bg);color:var(--color-text);box-shadow:var(--shadow-lg);overscroll-behavior:contain;animation:sheet-in var(--dur-base) var(--ease);border:0;border-radius:20px 20px 0 0;margin:0;position:fixed;inset:auto 0 0}.sheet[open]{flex-direction:column;display:flex}.sheet::backdrop{background:#18181b66}@keyframes sheet-in{0%{transform:translateY(100%)}}html:has(.sheet[open]){overflow:hidden}.sheet-grip{background:var(--color-tree-future);touch-action:none;border-radius:2px;flex:none;align-self:center;width:36px;height:4px;margin:4px 0 6px}.sheet-head{touch-action:none;flex:none;align-items:center;gap:8px;padding:0 4px 6px 12px;display:flex}.sheet-title{font-size:17px;font-weight:var(--weight-semibold);flex:1}.sheet>:not(.sheet-grip,.sheet-head){min-height:0;overflow-y:auto}.sheet .dd-panel{position:static}.sub{display:none}.sheet .sub{color:var(--color-text-subtle);font-size:13px;line-height:18px;display:block}.sheet .menu,.sheet .pop{min-width:0;box-shadow:none;border:0}.sheet .menu{padding:0}.sheet .pop{padding:4px 12px}.sheet .menu>button,.sheet .menu>a{min-height:52px;padding:0 12px;font-size:15px}.sheet .menu>button>svg{width:20px;height:20px}.ftr{border-top:1px solid var(--color-hairline)}.ftr-in{color:var(--color-text-muted);text-align:center;flex-wrap:wrap;justify-content:center;gap:16px;padding-block:16px;font-size:13px;line-height:20px;display:flex}.ftr-credits{flex-wrap:wrap;justify-content:center;align-items:center;gap:0 16px;display:flex}.ftr-repo{min-width:44px;min-height:44px;color:var(--color-text-muted);justify-content:center;align-items:center;gap:6px;display:inline-flex}.ftr-repo:hover{color:var(--color-text)}.ftr-repo svg{fill:currentColor;flex:none;width:16px;height:16px}.ftr nav{display:none}.ftr nav a{color:var(--color-text-muted)}.ftr nav a:hover{color:var(--color-text)}.ic{fill:none;stroke:currentColor;stroke-width:1.75px;stroke-linecap:round;stroke-linejoin:round;flex:none;width:18px;height:18px}.tabbar{view-transition-name:shell-tabs;z-index:30;height:calc(var(--tabbar-height) + env(safe-area-inset-bottom,0px));padding-bottom:env(safe-area-inset-bottom,0px);background:var(--color-bg);border-top:1px solid var(--color-hairline);position:fixed;inset:auto 0 0}.tabbar ul{height:100%}.tabbar a{height:100%;color:var(--color-text-muted);white-space:nowrap;flex-direction:column;justify-content:center;align-items:center;gap:3px;font-size:11px;line-height:14px;text-decoration:none;display:flex}.tabbar a:hover{color:var(--color-text)}.tabbar a[aria-current=page]{color:var(--color-text);font-weight:var(--weight-semibold)}.tabbar .ic{width:20px;height:20px}.tabbar a[aria-current=page] .ic{stroke-width:2.25px}@media (max-width:767.98px){.btn:not([data-size]),.btn[data-size=default],.btn[data-size=sm]{min-width:44px;height:44px}.btn[data-size=icon]{width:44px;height:44px}.seg button{min-width:44px;height:38px}.seg button:after{content:"";position:absolute;inset:-3px 0}.keys button{width:44px;height:44px}.step-input>.keys,.step-input>.formula-input__actions{grid-column:1/-1}.exercises-page{margin-top:-4px;padding-bottom:8px}.exercises-top{grid-template-columns:minmax(0,1fr);gap:14px}.exercises-title h1{font-size:26px}.exercise-progress{order:1}.exercise-next{padding:14px 16px}.exercise-next__meta{display:none}.exercise-list__toolbar{margin-top:14px}.exercise-list__filters{width:100%;display:flex}.exercise-list__filters button{flex:1;padding-inline:6px}.exercise-list__toolbar>.btn{width:100%}.exercise-detail{gap:20px;padding-bottom:8px}.exercise-detail__head{gap:10px}.exercise-detail__back{min-height:44px}.exercise-detail__title h1{font-size:24px}.exercise-detail__solution{display:none}.exercise-detail__foot{display:flex}.exercise-modes{width:100%;display:flex}.exercise-modes button{flex:1}.play-layout{gap:20px}.play__moves{grid-template-columns:minmax(0,1fr)}.sat-set{padding:16px}.sat-set code{font-size:14px}.exercise-group{margin-top:20px}.exercise-group__heading{padding-inline:4px}.exercise-item{gap:12px;min-height:64px;padding-inline:4px}.exercise-item__formula,.exercise-item__side,.step-layout[data-tab=set] .step-zone:not(.step-zone--set),.step-layout[data-tab=tree] .step-zone:not(.step-zone--tree),.step-layout[data-tab=algo] .step-zone:not(.step-zone--algo),.step-layout[data-tab=tree] .step-card__text{display:none}.step-zone--tree .tree-view__head{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.step-zone--tree .tree-view__hint{display:none}.step-zone--tree .tree-view__canvas{max-height:52dvh}.proof__item,.proof__branch{--depth-max:4}.proof__list{max-height:45dvh}.dp-pairs{padding:12px}.dp-pairs__table th,.dp-pairs__table td{padding-inline:6px}.clause{gap:6px;min-height:44px;padding:4px 13px;font-size:17px}.seg.sm button:after{inset:-9px 0}.tl{row-gap:8px}.tl-range{--tl-range-height:44px;top:-8px}.lesson-figure .propagation-lab__unit{min-height:44px}.toast__close{position:relative}.toast__close:after{content:"";position:absolute;inset:-6px}.sat-explorer__table th a{align-items:center;min-height:44px;display:inline-flex}}@media (min-width:768px){.wrap{padding-inline:32px}.nav{display:block}.ftr-in{text-align:left;justify-content:space-between}.ftr nav{display:block}.ftr-repo{min-height:0}.tabbar{display:none}.step-card__title{font-size:38px}.step-bar{gap:12px;padding-bottom:16px}.step-bar__summary{flex:320px}.step-bar__actions{flex:none;gap:12px;margin-left:0}.step-menu--keys{display:block}.has-timeline{padding-bottom:0}.has-timeline main{padding-block:20px 0}.step-layout{gap:28px;padding-block:32px}.step-zone--set{gap:28px}.step-tabs{display:none}.compare{border-width:1px 0 0;border-color:var(--color-hairline);border-radius:0;padding:0}.compare__line{flex:0 auto;order:0;font-size:14px}.compare__details:not([open]) .compare__more{margin-left:0}.compare__grid{grid-template-columns:minmax(0,1fr) minmax(0,380px);align-items:center;gap:32px}.timeline{position:static}.tl{flex-wrap:nowrap;gap:16px;padding:16px 0}.tl-track{flex:auto;order:0;min-width:0;height:44px}.tl-labels{display:block}.tl-counter{margin-left:0}}@media (min-width:1200px){.step-layout{grid-template-rows:auto auto 1fr;grid-template-columns:minmax(0,508fr) minmax(0,588fr);gap:28px 40px}.step-card,.step-zone--set,#dp-view .dp-view__sequence,.step-zone--algo{grid-column:1}.step-zone--tree,#dp-view .dp-view__algo{grid-area:1/2/-1}#dp-view .dp-view__sequence{grid-row:2/-1}.dp-player .dp-view{grid-template-columns:minmax(0,6fr) minmax(0,5fr);align-items:start}.step-zone--tree #tree,.step-zone--tree .tree-view{flex-direction:column;height:100%;display:flex}.step-zone--tree #tree>.tree-view{flex:1}.step-zone--tree .tree-view__frame{flex:1;min-height:560px}.step-zone--tree .tree-view__canvas{max-height:none;position:absolute;inset:0}}.rule-unit{--rule-fg:var(--color-ev-unit);--rule-soft:var(--color-ev-unit-soft)}.rule-branch{--rule-fg:var(--color-ev-branch);--rule-soft:var(--color-ev-branch-soft)}.rule-conflict{--rule-fg:var(--color-ev-conflict);--rule-soft:var(--color-ev-conflict-soft)}.rule-sat{--rule-fg:var(--color-ev-sat);--rule-soft:var(--color-ev-sat-soft)}.rule-backtrack{--rule-fg:var(--color-ev-back);--rule-soft:var(--color-ev-back-soft)}.rule-resolution{--rule-fg:var(--color-ev-res);--rule-soft:var(--color-ev-res-soft)}.lit--true{border-radius:var(--radius-sm);background:var(--color-ev-sat-soft);color:var(--color-ev-sat);font-weight:var(--weight-medium);text-underline-offset:3px;padding:1px 4px;text-decoration:underline}.print-sheet{display:none}@media print{@page{margin:16mm 14mm}body.is-printing{background:#fff;padding:0}body.is-printing>:not(.print-sheet,.ftr),body.is-printing .ftr nav,body.is-printing .ftr-repo,.print-sheet .proof__hint,.print-sheet .tree-view__hint,.print-sheet .tree-zoom{display:none!important}.print-sheet{color:#000;display:block}.print-sheet__app{color:var(--color-text-muted);font-size:14px}.print-sheet__title{font-size:1.375rem;font-weight:var(--weight-semibold);margin-bottom:24px}.print-sheet .proof__tag,.print-sheet .proof__ref,.print-sheet .proof__branch{display:none}.print-sheet .proof__num{order:1}.print-sheet .proof__list{border:0;max-height:none;padding:0;overflow:visible}.print-sheet .proof__item,.print-sheet .tree-view{break-inside:avoid}.print-sheet .tree-view__canvas{background-image:none;max-height:none;padding:12px;overflow:visible}.print-sheet .tree-view__svg{max-width:100%;height:auto}.print-sheet .proof__step,.print-sheet .tree-node,.print-sheet .tree-view__canvas{-webkit-print-color-adjust:exact;print-color-adjust:exact}.print-sheet .tree-edge--faded line,.print-sheet .tree-edge--faded .tree-edge__pill,.print-sheet .tree-node--faded .tree-node__box{opacity:1}.print-sheet .tree-edge--path line,.print-sheet .tree-edge--path .tree-edge__pill{stroke:var(--color-text-subtle);stroke-width:1.5px}.print-sheet .tree-node--current .tree-node__ring{stroke:none}.print-sheet .proof__step.is-current{box-shadow:none;background:0 0;border-color:#0000}.print-sheet .proof__heading,.print-sheet .tree-view__heading{break-after:avoid}.print-sheet .proof__item:has(.dp-pairs){break-inside:auto}.print-sheet .dp-pairs{margin:8px 0 12px 32px}.print-sheet .dp-pairs__table td,.print-sheet .dp-pairs__table th{border:0;padding:2px 12px 2px 0}.print-sheet .resolution-pair{break-inside:avoid}body.is-printing .ftr{break-inside:avoid;background:0 0;margin-top:16px}body.is-printing .ftr-in{padding:8px 0 0}}}@layer utilities{.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}.fixed{position:fixed}.container{width:100%}@media (min-width:40rem){.container{max-width:40rem}}@media (min-width:48rem){.container{max-width:48rem}}@media (min-width:64rem){.container{max-width:64rem}}@media (min-width:80rem){.container{max-width:80rem}}@media (min-width:96rem){.container{max-width:96rem}}.m-0{margin:0}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-6{margin-bottom:calc(var(--spacing) * 6)}.contents{display:contents}.flex{display:flex}.hidden{display:none}.inline{display:inline}.table{display:table}.size-3\.5{width:calc(var(--spacing) * 3.5);height:calc(var(--spacing) * 3.5)}.h-7{height:calc(var(--spacing) * 7)}.w-\[min\(20rem\,calc\(100vw-2rem\)\)\]{width:min(20rem,100vw - 2rem)}.max-w-\(--prose-max\){max-width:var(--prose-max)}.min-w-0{min-width:0}.flex-1{flex:1}.grow{flex-grow:1}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.resize{resize:both}.list-none{list-style-type:none}.gap-6{gap:calc(var(--spacing) * 6)}.gap-\[18px\]{gap:18px}.self-start{align-self:flex-start}.p-0{padding:0}.p-3{padding:calc(var(--spacing) * 3)}.font-mono{font-family:var(--font-mono)}.font-normal{--tw-font-weight:var(--font-weight-normal);font-weight:var(--font-weight-normal)}.text-ev-back{color:var(--color-ev-back)}.text-ev-branch{color:var(--color-ev-branch)}.text-ev-conflict{color:var(--color-ev-conflict)}.text-ev-res{color:var(--color-ev-res)}.text-ev-sat{color:var(--color-ev-sat)}.text-ev-unit{color:var(--color-ev-unit)}.text-text-muted{color:var(--color-text-muted)}.text-text-subtle{color:var(--color-text-subtle)}.ring{--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)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.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,)}@media not all and (min-width:48rem){.max-md\:sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.max-md\:hidden{display:none}.max-md\:w-11{width:calc(var(--spacing) * 11)}.max-md\:px-0{padding-inline:0}}@media (min-width:48rem){.md\:block{display:block}.md\:hidden{display:none}.md\:max-h-\[min\(32rem\,70vh\)\]{max-height:min(32rem,70vh)}.md\:w-95{width:calc(var(--spacing) * 95)}.md\:overflow-y-auto{overflow-y:auto}}}:root{--radius:.625rem;--background:oklch(100% 0 0);--foreground:oklch(14.5% 0 0);--card:oklch(100% 0 0);--card-foreground:oklch(14.5% 0 0);--popover:oklch(100% 0 0);--popover-foreground:oklch(14.5% 0 0);--primary:oklch(20.5% 0 0);--primary-foreground:oklch(98.5% 0 0);--secondary:oklch(97% 0 0);--secondary-foreground:oklch(20.5% 0 0);--muted:oklch(97% 0 0);--muted-foreground:oklch(55.6% 0 0);--accent:oklch(97% 0 0);--accent-foreground:oklch(20.5% 0 0);--destructive:oklch(57.7% .245 27.325);--border:oklch(92.2% 0 0);--input:oklch(92.2% 0 0);--ring:oklch(70.8% 0 0);--chart-1:#93c5fd;--chart-2:#3b82f6;--chart-3:#2563eb;--chart-4:#1d4ed8;--chart-5:#1e40af;--sidebar:oklch(98.5% 0 0);--sidebar-foreground:oklch(14.5% 0 0);--sidebar-primary:oklch(20.5% 0 0);--sidebar-primary-foreground:oklch(98.5% 0 0);--sidebar-accent:oklch(97% 0 0);--sidebar-accent-foreground:oklch(20.5% 0 0);--sidebar-border:oklch(92.2% 0 0);--sidebar-ring:oklch(70.8% 0 0);--sidebar-width:16rem;--sidebar-mobile-width:18rem;--scrollbar-track:transparent;--scrollbar-thumb:var(--border);--scrollbar-width:.625rem;--scrollbar-sm-width:.375rem;--scrollbar-radius:9999px;--chevron-down-icon:url("data:image/svg+xml;utf8,<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"24\" height=\"24\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"oklch(0.556 0 0)\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" class=\"lucide lucide-chevron-down-icon lucide-chevron-down\"><path d=\"m6 9 6 6 6-6\"/></svg>");--chevron-down-icon-50:url("data:image/svg+xml;utf8,<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"24\" height=\"24\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"oklch(0.556 0 0 / 0.5)\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" class=\"lucide lucide-chevron-down-icon lucide-chevron-down\"><path d=\"m6 9 6 6 6-6\"/></svg>");--check-icon:url("data:image/svg+xml;utf8,<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"24\" height=\"24\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"oklch(0.556 0 0)\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" class=\"lucide lucide-check-icon lucide-check\"><path d=\"M20 6 9 17l-5-5\"/></svg>")}.dark{--background:oklch(14.5% 0 0);--foreground:oklch(98.5% 0 0);--card:oklch(20.5% 0 0);--card-foreground:oklch(98.5% 0 0);--popover:oklch(20.5% 0 0);--popover-foreground:oklch(98.5% 0 0);--primary:oklch(92.2% 0 0);--primary-foreground:oklch(20.5% 0 0);--secondary:oklch(26.9% 0 0);--secondary-foreground:oklch(98.5% 0 0);--muted:oklch(26.9% 0 0);--muted-foreground:oklch(70.8% 0 0);--accent:oklch(37.1% 0 0);--accent-foreground:oklch(98.5% 0 0);--destructive:oklch(70.4% .191 22.216);--border:oklch(100% 0 0/.1);--input:oklch(100% 0 0/.15);--ring:oklch(55.6% 0 0);--chart-1:#93c5fd;--chart-2:#3b82f6;--chart-3:#2563eb;--chart-4:#1d4ed8;--chart-5:#1e40af;--sidebar:oklch(20.5% 0 0);--sidebar-foreground:oklch(98.5% 0 0);--sidebar-primary:oklch(48.8% .243 264.376);--sidebar-primary-foreground:oklch(98.5% 0 0);--sidebar-accent:oklch(26.9% 0 0);--sidebar-accent-foreground:oklch(98.5% 0 0);--sidebar-border:oklch(100% 0 0/.1);--sidebar-ring:oklch(43.9% 0 0);--chevron-down-icon:url("data:image/svg+xml;utf8,<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"24\" height=\"24\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"oklch(0.708 0 0)\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" class=\"lucide lucide-chevron-down-icon lucide-chevron-down\"><path d=\"m6 9 6 6 6-6\"/></svg>");--chevron-down-icon-50:url("data:image/svg+xml;utf8,<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"24\" height=\"24\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"oklch(0.708 0 0 / 0.5)\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" class=\"lucide lucide-chevron-down-icon lucide-chevron-down\"><path d=\"m6 9 6 6 6-6\"/></svg>");--check-icon:url("data:image/svg+xml;utf8,<svg xmlns=\"http://www.w3.org/2000/svg\" width=\"24\" height=\"24\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"oklch(0.708 0 0)\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\" class=\"lucide lucide-check-icon lucide-check\"><path d=\"M20 6 9 17l-5-5\"/></svg>");color-scheme:dark}:root{--radius:10px;--background:var(--color-bg);--foreground:var(--color-text);--card:var(--color-bg);--card-foreground:var(--color-text);--popover:var(--color-bg);--popover-foreground:var(--color-text);--primary:var(--color-ink);--primary-foreground:#fff;--secondary:var(--color-surface-2);--secondary-foreground:var(--color-text);--muted:var(--color-surface-2);--muted-foreground:var(--color-text-muted);--accent:var(--color-surface-2);--accent-foreground:var(--color-text);--destructive:var(--color-ev-conflict);--border:var(--color-border);--input:var(--color-border-strong);--ring:var(--color-ink);--prose-max:42rem;--header-height:52px;--header-border:0px;--credits-bar-height:36px;--tabbar-height:64px;--lesson-sticky-top:calc(var(--header-height) + var(--header-border));--lesson-scroll-offset:calc(var(--lesson-sticky-top) + 68px)}@media (min-width:768px){:root{--header-height:60px;--header-border:1px}}@media (min-width:1080px){:root{--lesson-scroll-offset:calc(var(--lesson-sticky-top) + 16px)}}@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-font-weight{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-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-leading{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-translate-z{syntax:"*";inherits:false;initial-value:0}