*,*:before,*:after{box-sizing:border-box}*{margin:0}body{line-height:1.5;-webkit-font-smoothing:antialiased}img,picture,video,canvas,svg{display:block;max-width:100%}input,button,textarea,select{font:inherit}p,h1,h2,h3,h4,h5,h6{overflow-wrap:break-word}p{text-wrap:pretty}h1,h2,h3,h4,h5,h6{text-wrap:balance}#root,#__next{isolation:isolate}#app{background-color:var(--background);height:100vh}:root{--spacing-xs: .25rem;--spacing-sm: .5rem;--spacing-md: 1rem;--spacing-lg: 1.5rem;--spacing-xl: 2rem;--spacing-2xl: 3rem;--radius-sm: .375rem;--radius-md: .5rem;--radius-lg: .75rem;--radius-xl: 1rem;--transition-fast: .15s cubic-bezier(.4, 0, .2, 1);--transition-base: .2s cubic-bezier(.4, 0, .2, 1);--transition-slow: .3s cubic-bezier(.4, 0, .2, 1);--success: #22c55e;--success-bg: rgba(34, 197, 94, .1);--warning: #eab308;--warning-bg: rgba(234, 179, 8, .1);--error: #ef4444;--error-bg: rgba(239, 68, 68, .1)}:root.dark-mode{--background: #09090b;--surface: #18181b;--surface-elevated: #1f1f23;--border: #2e2e33;--border-light: #3a3a40;--text-primary: #fafafa;--text-secondary: #71717a;--accent: #818cf8;--accent-hover: #6366f1;--accent-light: #a5b4fc;--accent-subtle: rgba(129, 140, 248, .08);--button-bg: #1c1c20;--button-hover: #27272a;--focus-color: #312e81;--shadow-sm: 0 1px 2px 0 rgba(0, 0, 0, .6);--shadow-md: 0 4px 12px 0 rgba(0, 0, 0, .5);--shadow-lg: 0 8px 24px 0 rgba(0, 0, 0, .5);--shadow-xl: 0 12px 32px 0 rgba(0, 0, 0, .6)}:root:not(.dark-mode){--background: #eef0f6;--surface: #ffffff;--surface-elevated: #f7f8fb;--border: #d4d7e0;--border-light: #e2e5ed;--text-primary: #1a1a2e;--text-secondary: #6b6f80;--accent: #5b5bd6;--accent-hover: #4747c2;--accent-light: #7c7ce8;--accent-subtle: rgba(91, 91, 214, .08);--button-bg: #f0f1f5;--button-hover: #e4e6ee;--focus-color: #c7d2fe;--shadow-sm: 0 1px 3px 0 rgba(0, 0, 0, .08), 0 1px 2px -1px rgba(0, 0, 0, .06);--shadow-md: 0 4px 6px -1px rgba(0, 0, 0, .08), 0 2px 4px -2px rgba(0, 0, 0, .06);--shadow-lg: 0 10px 15px -3px rgba(0, 0, 0, .08), 0 4px 6px -4px rgba(0, 0, 0, .06);--shadow-xl: 0 20px 25px -5px rgba(0, 0, 0, .08), 0 8px 10px -6px rgba(0, 0, 0, .06)}:root{font-family:Inter,system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:var(--text-primary);background-color:var(--background);transition:color .2s,background-color .2s;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}::selection{background:var(--accent);color:#fff}::-webkit-scrollbar{width:6px;height:6px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--border);border-radius:3px}::-webkit-scrollbar-thumb:hover{background:var(--text-secondary)}h1{font-size:3.2em;line-height:1.1;font-weight:700;letter-spacing:-.02em}h2{font-size:1.875em;line-height:1.2;font-weight:600;letter-spacing:-.01em}h3{font-size:1.5em;line-height:1.3;font-weight:600}p{color:var(--text-primary);line-height:1.6}button,.btn{border-radius:var(--radius-md);padding:.65rem 1.25rem;font-size:1em;font-weight:500;font-family:inherit;background-color:var(--button-bg);color:var(--text-primary);cursor:pointer;border:1px solid var(--border);transition:all var(--transition-base);box-shadow:var(--shadow-sm)}button:hover:not(:disabled),.btn:hover:not(:disabled){background-color:var(--button-hover);border-color:var(--accent);color:var(--accent);transform:translateY(-1px);box-shadow:var(--shadow-md)}button.primary,.btn-primary{background:var(--accent);border:1px solid var(--accent);color:#fff;box-shadow:var(--shadow-md)}button.primary:hover:not(:disabled),.btn-primary:hover:not(:disabled){background:var(--accent-hover);border-color:var(--accent-hover);transform:translateY(-2px);box-shadow:var(--shadow-lg)}button:focus-visible,.btn:focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}button:disabled,.btn:disabled{opacity:.4;cursor:not-allowed;transform:none}input,textarea{width:100%;height:100%;font-size:1.5em;font-family:monospace;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-md);padding:var(--spacing-md);color:var(--text-primary);transition:all var(--transition-base);box-shadow:var(--shadow-sm)}input:hover:not(:disabled),textarea:hover:not(:disabled){border-color:var(--border-light)}input:focus,textarea:focus{outline:none;border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px var(--accent-subtle)}input:disabled,textarea:disabled{opacity:.5;cursor:not-allowed}ul.svelte-1rg6zyw{list-style:none;margin:0;padding:0}li.svelte-1rg6zyw{display:flex;justify-content:space-between;align-items:center;margin-bottom:10px}.toast-container.svelte-1rg6zyw{z-index:9999;position:fixed;padding:4px;box-sizing:border-box;color:#fff;width:max-content;max-width:100%;pointer-events:none}.toast-container.bottom-right.svelte-1rg6zyw{bottom:1em;right:1em}.toast-container.bottom-left.svelte-1rg6zyw{bottom:1em;left:1em}.toast-container.top-left.svelte-1rg6zyw{top:1em;left:1em}.toast-container.top-right.svelte-1rg6zyw{top:1em;right:1em}.toast-container.top-center.svelte-1rg6zyw{top:1em;right:50%;left:50%;transform:translate(-50%)}.toast-container.bottom-center.svelte-1rg6zyw{bottom:1em;right:50%;left:50%;transform:translate(-50%)}.toast-container.center-center.svelte-1rg6zyw{top:50%;right:50%;left:50%;transform:translate(-50%,-50%)}.toast-container.svelte-1rg6zyw>:where(.svelte-1rg6zyw):not(:last-child){margin-bottom:10px}.st-toast.svelte-1t011t6{width:100%;cursor:pointer;z-index:10000;max-width:100%;font-size:.875rem;pointer-events:auto;background-color:#ffffffd9;background-clip:padding-box;border:1px solid rgba(0,0,0,.1);box-shadow:0 .5rem 1rem #00000026;border-radius:.25rem}.st-toast.success.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#16a34a;color:#fff}.st-toast.info.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#0284c7;color:#fff}.st-toast.error.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#e11d48;color:#fff}.st-toast.warning.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#ca8a04;color:#fff}.st-toast.dark.svelte-1t011t6{color:#fff;background:#393939}.st-toast.dark.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6) svg:where(.svelte-1t011t6){fill:#fff}.st-toast.dark.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6):focus{border:solid 1px #fff;border-radius:3px}.st-toast.dark.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6):focus:focus{border-color:#fff;outline:none}.st-toast.dark.success.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#16a34a;color:#fff}.st-toast.dark.success.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:solid 1px #fff}.st-toast.dark.info.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#0284c7;color:#fff}.st-toast.dark.info.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:solid 1px #fff}.st-toast.dark.error.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#e11d48;color:#fff}.st-toast.dark.error.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:solid 1px #fff}.st-toast.dark.warning.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#ca8a04;color:#fff}.st-toast.dark.warning.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:solid 1px #fff}.st-toast.light.svelte-1t011t6{color:#161616}.st-toast.light.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6) svg:where(.svelte-1t011t6){color:#161616}.st-toast.light.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6):focus{border:solid 1px #fff;border-radius:3px}.st-toast.light.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6):focus:focus{border-color:#fff;outline:none}.st-toast.light.success.svelte-1t011t6{border-color:#16a34a;background:#16a34a33}.st-toast.light.success.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#16a34a;color:#fff}.st-toast.light.success.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:1px solid rgb(22,163,74)}.st-toast.light.info.svelte-1t011t6{border-color:#0284c7;background:#0284c733}.st-toast.light.info.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#0284c7;color:#fff}.st-toast.light.info.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:1px solid rgb(2,132,199)}.st-toast.light.error.svelte-1t011t6{border-color:#e11d48;background:#e11d4833}.st-toast.light.error.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#e11d48;color:#fff}.st-toast.light.error.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:1px solid rgb(225,29,72)}.st-toast.light.warning.svelte-1t011t6{border-color:#ca8a04;background:#ca8a0433}.st-toast.light.warning.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){fill:#ca8a04;color:#fff}.st-toast.light.warning.svelte-1t011t6 .st-toast-header:where(.svelte-1t011t6){border-bottom:1px solid rgb(202,138,4)}.st-toast-header.svelte-1t011t6{display:flex;align-items:center;padding:.5rem .75rem;background-clip:padding-box;border-top-left-radius:calc(.25rem - 1px);border-top-right-radius:calc(.25rem - 1px)}.st-toast-header.svelte-1t011t6 .st-toast-title:where(.svelte-1t011t6){flex:1;text-align:left;margin-left:.5rem;outline:none}.st-toast-header.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6){margin-right:-.375rem;margin-left:.75rem;background:transparent;border:0}.st-toast-body.svelte-1t011t6{position:relative;padding:.75rem 2rem;word-wrap:break-word;text-align:left}.st-toast-body.st-toast-no-title.svelte-1t011t6{padding-left:.75rem}.st-toast-body.st-toast-no-title.svelte-1t011t6 .st-toast-icon:where(.svelte-1t011t6){display:inline-block;position:relative;top:-1px}.st-toast-body.st-toast-no-title.svelte-1t011t6 .st-toast-description:where(.svelte-1t011t6){margin-left:.5rem}.st-toast-body.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6){position:absolute;right:10px;top:13px}.st-toast-body.svelte-1t011t6 .st-toast-close-btn:where(.svelte-1t011t6):focus{border-color:#fff}.st-toast.svelte-is9c7e{display:flex;pointer-events:auto;width:320px;height:auto;padding-left:.875rem;color:#fff;box-shadow:0 2px 6px #0003;position:relative;cursor:pointer}.st-toast.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){flex-shrink:0;margin-right:.875rem;margin-top:.875rem}.st-toast.svelte-is9c7e progress[value]:where(.svelte-is9c7e){-webkit-appearance:none;-moz-appearance:none;appearance:none;display:block;width:100%;position:absolute;bottom:0;left:0;right:0;height:4px}.st-toast.dark.svelte-is9c7e{color:#fff;background:#393939}.st-toast.dark.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-bar{background-color:#393939}.st-toast.dark.svelte-is9c7e .st-toast-close-btn:where(.svelte-is9c7e) svg:where(.svelte-is9c7e){fill:#fff}.st-toast.dark.svelte-is9c7e .st-toast-close-btn:where(.svelte-is9c7e):focus{border:solid 1px #fff}.st-toast.dark.success.svelte-is9c7e{border-left:3px solid rgb(22,163,74)}.st-toast.dark.success.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#16a34a;color:#fff}.st-toast.dark.success.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#16a34a}.st-toast.dark.info.svelte-is9c7e{border-left:3px solid rgb(2,132,199)}.st-toast.dark.info.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#0284c7;color:#fff}.st-toast.dark.info.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#0284c7}.st-toast.dark.error.svelte-is9c7e{border-left:3px solid rgb(225,29,72)}.st-toast.dark.error.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#e11d48;color:#fff}.st-toast.dark.error.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#e11d48}.st-toast.dark.warning.svelte-is9c7e{border-left:3px solid rgb(202,138,4)}.st-toast.dark.warning.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#ca8a04;color:#fff}.st-toast.dark.warning.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#ca8a04}.st-toast.light.svelte-is9c7e{color:#161616;fill:#161616}.st-toast.light.success.svelte-is9c7e{border-left:3px solid rgb(22,163,74);background:#16a34a33}.st-toast.light.success.svelte-is9c7e progress:where(.svelte-is9c7e){background:#16a34a33}.st-toast.light.success.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-bar{background-color:transparent}.st-toast.light.success.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#16a34a}.st-toast.light.success.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#16a34a}.st-toast.light.success.svelte-is9c7e .st-toast-close-btn:where(.svelte-is9c7e):focus{border:solid 1px rgb(22,163,74)}.st-toast.light.success.svelte-is9c7e:before{border-color:#16a34a;content:"";pointer-events:none;position:absolute;top:0;left:0;width:100%;height:100%;box-sizing:border-box;filter:opacity(.4);border-style:solid;border-width:1px 1px 1px 0}.st-toast.light.info.svelte-is9c7e{border-left:3px solid rgb(2,132,199);background:#0284c733}.st-toast.light.info.svelte-is9c7e progress:where(.svelte-is9c7e){background:#0284c733}.st-toast.light.info.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-bar{background-color:transparent}.st-toast.light.info.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#0284c7}.st-toast.light.info.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#0284c7}.st-toast.light.info.svelte-is9c7e .st-toast-close-btn:where(.svelte-is9c7e):focus{border:solid 1px rgb(2,132,199)}.st-toast.light.info.svelte-is9c7e:before{border-color:#0284c7;content:"";pointer-events:none;position:absolute;top:0;left:0;width:100%;height:100%;box-sizing:border-box;filter:opacity(.4);border-style:solid;border-width:1px 1px 1px 0}.st-toast.light.error.svelte-is9c7e{border-left:3px solid rgb(225,29,72);background:#e11d4833}.st-toast.light.error.svelte-is9c7e progress:where(.svelte-is9c7e){background:#e11d4833}.st-toast.light.error.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-bar{background-color:transparent}.st-toast.light.error.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#e11d48}.st-toast.light.error.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#e11d48}.st-toast.light.error.svelte-is9c7e .st-toast-close-btn:where(.svelte-is9c7e):focus{border:solid 1px rgb(225,29,72)}.st-toast.light.error.svelte-is9c7e:before{border-color:#e11d48;content:"";pointer-events:none;position:absolute;top:0;left:0;width:100%;height:100%;box-sizing:border-box;filter:opacity(.4);border-style:solid;border-width:1px 1px 1px 0}.st-toast.light.warning.svelte-is9c7e{border-left:3px solid rgb(202,138,4);background:#ca8a0433}.st-toast.light.warning.svelte-is9c7e progress:where(.svelte-is9c7e){background:#ca8a0433}.st-toast.light.warning.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-bar{background-color:transparent}.st-toast.light.warning.svelte-is9c7e progress[value]:where(.svelte-is9c7e)::-webkit-progress-value{background-color:#ca8a04}.st-toast.light.warning.svelte-is9c7e .st-toast-icon:where(.svelte-is9c7e){fill:#ca8a04}.st-toast.light.warning.svelte-is9c7e .st-toast-close-btn:where(.svelte-is9c7e):focus{border:solid 1px rgb(202,138,4)}.st-toast.light.warning.svelte-is9c7e:before{border-color:#ca8a04;content:"";pointer-events:none;position:absolute;top:0;left:0;width:100%;height:100%;box-sizing:border-box;filter:opacity(.4);border-style:solid;border-width:1px 1px 1px 0}.st-toast-details.svelte-is9c7e{margin-top:.875rem;margin-right:1rem;text-align:left;align-self:flex-start}.st-toast-details.svelte-is9c7e .st-toast-title:where(.svelte-is9c7e){font-size:.875rem;line-height:1.125rem;letter-spacing:.16px;font-weight:600;word-break:break-word;margin:0;outline:none}.st-toast-details.svelte-is9c7e .st-toast-description:where(.svelte-is9c7e){font-size:.875rem;font-weight:400;line-height:1.125rem;letter-spacing:.16px;margin-top:0;margin-bottom:1rem;word-break:break-word}.st-toast-close-btn.svelte-is9c7e{outline:2px solid transparent;outline-offset:-2px;display:flex;align-items:center;justify-content:center;background-color:transparent;border:none;cursor:pointer;margin-left:auto;padding:0;height:3rem;width:3rem;min-height:3rem;min-width:3rem;transition:outline .11s,background-color .11s}.grid-layout.svelte-m3ev3n{padding:var(--spacing-xl);display:flex;width:100%;max-width:1920px;height:calc(100% - 4rem);margin:0 auto;gap:var(--spacing-lg);align-items:stretch}@media screen and (max-width: 1200px){.grid-layout.svelte-m3ev3n{padding:var(--spacing-lg);gap:var(--spacing-md)}}@media screen and (max-width: 950px){.grid-layout.svelte-m3ev3n{flex-direction:column;height:auto;padding:var(--spacing-md);gap:var(--spacing-md)}}@media screen and (max-width: 600px){.grid-layout.svelte-m3ev3n{padding:var(--spacing-sm);gap:var(--spacing-sm)}}button.svelte-18udnt3{padding:var(--spacing-sm) var(--spacing-md);font-size:1rem;border-radius:var(--radius-md);background:var(--button-bg);border:1px solid var(--border);color:var(--text-secondary);cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm);display:flex;align-items:center;justify-content:center}button.svelte-18udnt3:hover{background:var(--button-hover);border-color:var(--accent);color:var(--accent);box-shadow:var(--shadow-md);transform:translateY(-1px)}button.svelte-18udnt3:focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}button.svelte-18udnt3:active{transform:translateY(0)}.modal.svelte-jfd4g2{display:flex;align-items:center;justify-content:center;position:fixed;z-index:100;left:0;top:0;width:100%;height:100%;padding:var(--spacing-lg);overflow:auto;background-color:#00000080;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);animation:svelte-jfd4g2-fadeIn var(--transition-base)}@keyframes svelte-jfd4g2-fadeIn{0%{opacity:0}to{opacity:1}}.contents.svelte-jfd4g2{display:grid;grid-template-rows:auto minmax(0,1fr) auto;background-color:var(--surface);padding:var(--spacing-xl);border:1px solid var(--border);width:var(--modal-width, auto);max-width:calc(100vw - 2 * var(--spacing-lg));min-width:0;box-sizing:border-box;max-height:min(88vh,52rem);border-radius:var(--radius-xl);box-shadow:var(--shadow-xl);animation:svelte-jfd4g2-slideUp var(--transition-slow)}@keyframes svelte-jfd4g2-slideUp{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}.header.svelte-jfd4g2{position:sticky;top:0;background:var(--surface);z-index:1;text-align:center;color:var(--text-primary);margin-bottom:var(--spacing-lg)}.header.svelte-jfd4g2 h2:where(.svelte-jfd4g2){font-size:1.5rem;font-weight:600;margin:0}.body.svelte-jfd4g2{display:flex;flex-direction:column;gap:var(--spacing-lg);min-height:0;overflow:auto}.body.has-body.svelte-jfd4g2{padding:var(--spacing-md) 0;margin-bottom:var(--spacing-lg)}.footer.svelte-jfd4g2{position:sticky;bottom:0;background:var(--surface);z-index:1}.footer.has-body.svelte-jfd4g2{padding:var(--spacing-md) 0 0 0;border-top:1px solid var(--border)}.footer button{width:100%;padding:var(--spacing-md) var(--spacing-lg);font-size:1rem;text-wrap:nowrap;margin-top:var(--spacing-md)}.footer button:first-child{margin-top:0}.footer div{display:flex;gap:var(--spacing-md)}.footer div button{flex:1;margin:0;padding:var(--spacing-md) var(--spacing-lg)}@media (max-width: 760px){.modal.svelte-jfd4g2{padding:var(--spacing-md)}.contents.svelte-jfd4g2{padding:var(--spacing-lg);width:min(100%,100vw - 2 * var(--spacing-md));max-height:92vh}}.mathml-viewer.svelte-1p480kh{display:flex;align-items:center;height:100%;padding:1rem .5rem;justify-content:center;font-size:1.35rem}@media screen and (max-width: 950px){.mathml-viewer.svelte-1p480kh{padding:var(--spacing-md)}}.operator-keyboard-wrapper.svelte-813mqm{position:relative;width:100%;transition:padding-bottom var(--transition-base)}.operator-keyboard-wrapper.compact.svelte-813mqm{display:grid;gap:0}.operator-keyboard-wrapper.compact.keyboard-visible.svelte-813mqm input,.operator-keyboard-wrapper.compact.keyboard-visible.svelte-813mqm textarea{border-bottom-left-radius:0;border-bottom-right-radius:0}.inline-shell.svelte-813mqm{display:grid;grid-template-rows:0fr;overflow:hidden;opacity:0;transform:translateY(-6px);transition:grid-template-rows .18s ease,opacity .16s ease,transform .18s ease;pointer-events:none}.inline-shell.svelte-813mqm>.keyboard-bar:where(.svelte-813mqm){min-height:0}.inline-shell.visible.svelte-813mqm{grid-template-rows:1fr;opacity:1;transform:translateY(0);pointer-events:auto}.keyboard-bar.svelte-813mqm{z-index:9999;display:flex;flex-wrap:wrap;gap:4px;padding:var(--spacing-sm);border:1px solid var(--border);border-radius:0 0 var(--radius-md) var(--radius-md);background:var(--surface);box-shadow:var(--shadow-lg);animation:svelte-813mqm-slideDown .15s ease-out}.keyboard-bar.inline-bar.svelte-813mqm{position:static;z-index:auto;box-shadow:var(--shadow-sm);border-top:none;animation:none}.keyboard-bar.inline-bar.compact-bar.svelte-813mqm{gap:.35rem;padding:.45rem;border-top:none;border-radius:0 0 var(--radius-md) var(--radius-md);box-shadow:none}@keyframes svelte-813mqm-slideDown{0%{opacity:0;transform:translateY(-4px)}to{opacity:1;transform:translateY(0)}}.key.svelte-813mqm{display:inline-flex;align-items:center;justify-content:center;min-width:2rem;height:2rem;padding:0 var(--spacing-sm);font-family:"Cambria Math","STIX Two Math",serif;font-size:1.15rem;line-height:1;color:var(--text-primary);background:var(--button-bg);border:1px solid var(--border);border-radius:var(--radius-sm);cursor:pointer;transition:all var(--transition-base);-webkit-user-select:none;user-select:none}.compact-bar.svelte-813mqm .key:where(.svelte-813mqm){min-width:1.9rem;height:1.9rem;padding:0 .45rem;font-size:1.05rem}.key.svelte-813mqm:hover{color:var(--accent);border-color:var(--accent);background:var(--button-hover);transform:translateY(-1px);box-shadow:var(--shadow-sm)}.key.svelte-813mqm:active{transform:translateY(0);box-shadow:none;background:var(--accent);color:#fff;border-color:var(--accent)}@media screen and (max-width: 950px){.keyboard-bar.svelte-813mqm{padding:var(--spacing-xs);gap:3px}.key.svelte-813mqm{min-width:1.75rem;height:1.75rem;font-size:1rem}}.diagnostic-panel.svelte-1hx27kr{display:flex;flex-direction:column;gap:var(--spacing-sm);padding:var(--spacing-md);width:100%;min-width:0;box-sizing:border-box;border-radius:var(--radius-lg);border:1px solid var(--error);background:linear-gradient(180deg,#ef444414,#ef444408);box-shadow:var(--shadow-sm)}.diagnostic-panel.warning.svelte-1hx27kr{border-color:var(--warning);background:linear-gradient(180deg,#f59e0b1f,#f59e0b0a)}.diagnostic-panel.compact.svelte-1hx27kr{gap:.45rem;padding:.55rem .7rem;border-radius:var(--radius-md)}.header.svelte-1hx27kr{display:flex;flex-wrap:wrap;align-items:center;gap:var(--spacing-sm);min-width:0}.badge.svelte-1hx27kr{padding:.25rem .65rem;border-radius:999px;font-size:.75rem;font-weight:700;letter-spacing:.01em;background:#505050b3;color:var(--error)}html:not(.dark-mode) .badge.svelte-1hx27kr{background:#ffffffb3}.warning.svelte-1hx27kr .badge:where(.svelte-1hx27kr){color:var(--warning)}.message.svelte-1hx27kr{font-size:.9rem;font-weight:600;color:var(--text-primary);min-width:0;overflow-wrap:anywhere}.diagnostic-panel.compact.svelte-1hx27kr .message:where(.svelte-1hx27kr){font-size:.8rem;font-weight:600}.diagnostic-panel.compact.svelte-1hx27kr .header:where(.svelte-1hx27kr){gap:.45rem}.preview.svelte-1hx27kr{padding:var(--spacing-md);border-radius:var(--radius-md);background:#0f172a0a;font-family:monospace;font-size:.95rem;line-height:1.6;word-break:break-word}.diagnostic-panel.compact.svelte-1hx27kr .preview:where(.svelte-1hx27kr){padding:.55rem .65rem;font-size:.82rem;line-height:1.45}.compact-inline.svelte-1hx27kr{font-family:monospace;font-size:.8rem;line-height:1.35;width:100%;min-width:0;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;color:var(--text-secondary)}.code.svelte-1hx27kr{white-space:pre-wrap}.compact-inline.svelte-1hx27kr .code:where(.svelte-1hx27kr),.compact-inline.svelte-1hx27kr .highlight:where(.svelte-1hx27kr){white-space:pre}.highlight.svelte-1hx27kr{white-space:pre-wrap;background:#ef44442e;color:var(--error);border-bottom:2px solid var(--error);border-radius:.2rem;padding:.05rem .1rem}.warning.svelte-1hx27kr .highlight:where(.svelte-1hx27kr){background:#f59e0b2e;color:var(--warning);border-bottom-color:var(--warning)}.marker.svelte-1hx27kr{font-weight:700}.meta.svelte-1hx27kr{display:flex;flex-wrap:wrap;gap:var(--spacing-md);font-size:.82rem;color:var(--text-secondary);min-width:0;overflow-wrap:anywhere}.compact-meta.svelte-1hx27kr{font-size:.76rem;gap:0;line-height:1.35}.meta.svelte-1hx27kr code:where(.svelte-1hx27kr){font-family:monospace}.body.svelte-itr9ia{display:grid;grid-template-columns:minmax(0,1.09fr) minmax(0,1fr);grid-template-areas:"theorem variables" "preview variables";gap:var(--spacing-lg);width:min(100%,68rem);min-width:0}.panel.svelte-itr9ia{padding:var(--spacing-lg);border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface-elevated);box-shadow:var(--shadow-sm);min-width:0}.theorem-panel.svelte-itr9ia{grid-area:theorem}.variable-panel.svelte-itr9ia{grid-area:variables;display:grid;gap:var(--spacing-md);align-content:start}.preview-panel.svelte-itr9ia{grid-area:preview}.panel-header.svelte-itr9ia{display:flex;justify-content:space-between;align-items:center;gap:var(--spacing-md);margin-bottom:var(--spacing-md)}.panel-header.svelte-itr9ia p:where(.svelte-itr9ia){font-weight:600}.panel-header.svelte-itr9ia span:where(.svelte-itr9ia){font-size:.9rem;color:var(--text-secondary)}.chip-grid.svelte-itr9ia{display:grid;grid-template-columns:repeat(auto-fit,minmax(9.5rem,1fr));gap:var(--spacing-sm)}.variable-chip.svelte-itr9ia{display:grid;gap:var(--spacing-xs);padding:var(--spacing-sm) var(--spacing-md);background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-md);transition:all var(--transition-base);box-shadow:none}.variable-chip.active.svelte-itr9ia{border-color:var(--accent);box-shadow:var(--shadow-md);transform:translateY(-1px)}.chip-formula.svelte-itr9ia .mathml-viewer{font-size:1rem;padding:0;justify-content:flex-start}.chip-status.svelte-itr9ia{justify-self:start;font-size:.75rem;font-weight:600;padding:.15rem .45rem;border-radius:99px;background:var(--button-bg);color:var(--text-secondary)}.chip-status.valid.svelte-itr9ia{color:#1e9f65;background:#10b9812e}.chip-status.error.svelte-itr9ia{color:#dc2626;background:#ef444426}.editor-card.svelte-itr9ia{display:grid;gap:.65rem;padding:var(--spacing-md);min-width:0;border:1px solid var(--border);border-radius:var(--radius-md);background:var(--surface)}.editor-header.svelte-itr9ia{display:flex;align-items:center;gap:var(--spacing-sm);color:var(--text-secondary);font-size:.9rem}.editor-header.svelte-itr9ia .mathml-viewer{padding:0;font-size:1rem}.row-input.svelte-itr9ia{width:100%;height:3.5rem;padding:0 var(--spacing-md);border:1px solid var(--border);border-radius:var(--radius-md);background:var(--surface-elevated);color:var(--text-primary);font-size:1rem;outline:none;transition:border-color var(--transition-base),box-shadow var(--transition-base)}.row-input.svelte-itr9ia:focus{border-color:var(--accent);box-shadow:0 0 0 3px #2563eb1a}.input-hint.svelte-itr9ia{font-size:.85rem;color:#1e9f65;line-height:1.4}.input-hint.error.svelte-itr9ia{color:#dc2626}.preview-panel.svelte-itr9ia .preview-status.error:where(.svelte-itr9ia){color:#dc2626}.preview-body.svelte-itr9ia{border:1px dashed var(--border);border-radius:var(--radius-md);padding:var(--spacing-sm);background:var(--surface);transition:all var(--transition-base);overflow:auto hidden}.mathml-viewer-wrapper.svelte-itr9ia{overflow:hidden auto}.preview-body.loading.svelte-itr9ia{opacity:.75}@media (max-width: 980px){.body.svelte-itr9ia{grid-template-columns:1fr;grid-template-areas:"theorem" "variables" "preview";width:100%}.panel.svelte-itr9ia{padding:var(--spacing-md)}}.dropdown.svelte-k4y09z{position:relative;display:inline-block}.dropdown.disabled.svelte-k4y09z button:where(.svelte-k4y09z){opacity:.4;pointer-events:none}.dropdown.svelte-k4y09z button:where(.svelte-k4y09z){padding:.45rem .85rem;font-size:.85rem;border-radius:var(--radius-md);background:var(--button-bg);border:1px solid var(--border);color:var(--text-primary);font-weight:500;cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm);display:flex;align-items:center;gap:var(--spacing-xs)}.chevron.svelte-k4y09z{transition:transform var(--transition-fast);color:var(--text-secondary);flex-shrink:0}.chevron.open.svelte-k4y09z{transform:rotate(180deg)}.dropdown.svelte-k4y09z button:where(.svelte-k4y09z):hover:not(:disabled){background:var(--button-hover);border-color:var(--accent);color:var(--accent);box-shadow:var(--shadow-md);transform:translateY(-1px)}.dropdown.svelte-k4y09z button:where(.svelte-k4y09z):hover:not(:disabled) .chevron:where(.svelte-k4y09z){color:var(--accent)}.dropdown.svelte-k4y09z button:where(.svelte-k4y09z):focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.menu.svelte-k4y09z{position:absolute;top:calc(100% + var(--spacing-sm));right:0;background:var(--surface);list-style:none;margin:0;padding:var(--spacing-xs) 0;border-radius:var(--radius-lg);border:1px solid var(--border);box-shadow:var(--shadow-lg);z-index:10;min-width:160px;animation:svelte-k4y09z-slideDown var(--transition-fast) ease-out}@keyframes svelte-k4y09z-slideDown{0%{opacity:0;transform:translateY(-6px)}to{opacity:1;transform:translateY(0)}}.menu.svelte-k4y09z li:where(.svelte-k4y09z){margin:0}.menu.svelte-k4y09z button:where(.svelte-k4y09z){width:100%;padding:var(--spacing-sm) var(--spacing-lg);text-align:left;background:none;border:none;border-radius:0;color:var(--text-primary);cursor:pointer;transition:all var(--transition-fast);font-weight:400;box-shadow:none;transform:none}.menu.svelte-k4y09z button:where(.svelte-k4y09z):hover{background:var(--accent-subtle);color:var(--accent)}.menu.svelte-k4y09z button:where(.svelte-k4y09z):focus-visible{outline:none;background:var(--accent-subtle);color:var(--accent);box-shadow:none}main.svelte-1ah3lo{height:100%;display:flex;flex-direction:column}nav.svelte-1ah3lo{display:flex;justify-content:space-between;align-items:center;background:var(--surface);border-bottom:1px solid var(--border);padding:0;font-size:1.05rem;height:3.5rem;transition:all var(--transition-base);position:relative;z-index:50;flex-shrink:0}nav.svelte-1ah3lo:after{content:"";position:absolute;bottom:-1px;left:0;right:0;height:1px;background:linear-gradient(90deg,transparent,var(--accent),transparent);opacity:.35}.nav-left.svelte-1ah3lo,.nav-right.svelte-1ah3lo{list-style:none;display:flex;align-items:center;gap:var(--spacing-md);margin:0;padding:0 var(--spacing-xl)}nav.svelte-1ah3lo a:where(.svelte-1ah3lo){text-decoration:none;color:var(--text-primary);font-weight:600;transition:color var(--transition-base);display:flex;align-items:center;gap:var(--spacing-sm);padding:var(--spacing-sm) 0}nav.svelte-1ah3lo a:where(.svelte-1ah3lo):hover{color:var(--accent)}.examples-menu.svelte-1ah3lo{position:relative}.nav-button.svelte-1ah3lo{display:flex;align-items:center;gap:var(--spacing-xs);padding:.45rem .85rem;font-size:.85rem;border-radius:var(--radius-md);background:var(--button-bg);border:1px solid var(--border);color:var(--text-primary);font-weight:500;cursor:pointer;transition:all var(--transition-base)}.nav-button.svelte-1ah3lo:hover:not(:disabled){background:var(--button-hover);border-color:var(--accent);color:var(--accent)}.nav-button.svelte-1ah3lo:disabled{opacity:.4;cursor:not-allowed}.nav-button.svelte-1ah3lo i:where(.svelte-1ah3lo):first-child{color:var(--warning)}.chevron.svelte-1ah3lo{font-size:.7rem;transition:transform var(--transition-fast);color:var(--text-secondary)}.chevron.open.svelte-1ah3lo{transform:rotate(180deg)}.examples-dropdown.svelte-1ah3lo{position:absolute;top:calc(100% + var(--spacing-sm));left:0;background:var(--surface);list-style:none;margin:0;padding:var(--spacing-xs) 0;border-radius:var(--radius-lg);border:1px solid var(--border);box-shadow:var(--shadow-lg);z-index:100;min-width:320px;max-height:400px;overflow-y:auto;animation:svelte-1ah3lo-slideDown var(--transition-fast) ease-out}@keyframes svelte-1ah3lo-slideDown{0%{opacity:0;transform:translateY(-6px)}to{opacity:1;transform:translateY(0)}}.examples-dropdown.svelte-1ah3lo li:where(.svelte-1ah3lo){margin:0}.example-item.svelte-1ah3lo{display:flex;flex-direction:column;align-items:flex-start;gap:2px;width:100%;padding:var(--spacing-sm) var(--spacing-lg);background:none;border:none;text-align:left;cursor:pointer;transition:all var(--transition-fast);border-radius:0;color:var(--text-primary);position:relative}.example-item.svelte-1ah3lo:hover{background:var(--accent-subtle)}.example-name.svelte-1ah3lo{font-weight:600;font-size:.9rem;color:var(--text-primary)}.example-mode.svelte-1ah3lo{position:absolute;right:var(--spacing-md);top:var(--spacing-sm);font-size:.7rem;color:var(--accent);background:#6366f11a;padding:1px 6px;border-radius:var(--radius-sm)}.example-formula.svelte-1ah3lo{font-size:.8rem;color:var(--text-secondary);font-family:monospace;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:100%}.wrapper.svelte-nc87bi{width:100%;display:flex;flex-direction:column;overflow:hidden;background-color:var(--surface);border-radius:var(--radius-lg);border:1px solid var(--border);box-shadow:var(--shadow-md);transition:all var(--transition-base)}.content.svelte-nc87bi{display:flex;flex-direction:column;height:100%;gap:var(--spacing-lg);flex:1;align-items:stretch;border-radius:var(--radius-lg);padding:var(--spacing-xl);text-align:left;min-height:0}.fullwidth.svelte-nc87bi{width:100%}.small.svelte-nc87bi{max-width:640px}@media screen and (max-width: 950px){.small.svelte-nc87bi{max-width:none}.content.svelte-nc87bi{padding:var(--spacing-lg);gap:var(--spacing-md)}}.workspace-tabs.svelte-35dpac{display:flex;align-items:stretch;background:var(--surface);border:1px solid var(--border);border-bottom:none;border-radius:var(--radius-lg) var(--radius-lg) 0 0;overflow:hidden;min-height:2.5rem;flex-shrink:0}.tabs-scroll.svelte-35dpac{display:flex;flex:1;overflow-x:auto;overflow-y:hidden;scrollbar-width:thin;scrollbar-color:var(--border) transparent}.tabs-scroll.svelte-35dpac::-webkit-scrollbar{height:2px}.tabs-scroll.svelte-35dpac::-webkit-scrollbar-thumb{background:var(--border);border-radius:2px}.tab.svelte-35dpac{display:flex;align-items:center;padding:var(--spacing-sm) var(--spacing-lg);border:none;border-right:1px solid var(--border);border-bottom:2px solid transparent;background:transparent;color:var(--text-secondary);font-size:.85rem;cursor:pointer;white-space:nowrap;transition:all var(--transition-base);position:relative;min-width:0;flex-shrink:0;gap:var(--spacing-xs)}.tab.svelte-35dpac:hover{color:var(--text-primary);background:var(--background)}.tab.active.svelte-35dpac{color:var(--text-primary);border-bottom-color:var(--accent);background:var(--background)}.tab.solving.svelte-35dpac:not(.active){border-bottom-color:var(--warning)}.tab-icon.svelte-35dpac{font-size:.75rem;color:var(--text-secondary);opacity:.6;width:1rem;text-align:center;flex-shrink:0}.tab-icon.active.svelte-35dpac{color:var(--accent);opacity:1}.tab-label.svelte-35dpac{max-width:180px;overflow:hidden;text-overflow:ellipsis;line-height:1.3}.step-count.svelte-35dpac{font-size:.7rem;color:var(--text-secondary);background:var(--button-bg);padding:1px 6px;border-radius:10px;flex-shrink:0}.tab-actions.svelte-35dpac{display:flex;align-items:center;gap:2px;margin-left:var(--spacing-xs);opacity:.7}.tab-actions.svelte-35dpac:hover{opacity:1}.tab-action.svelte-35dpac{display:inline-flex;align-items:center;justify-content:center;width:1.4rem;height:1.4rem;padding:0;border:none;border-radius:var(--radius-sm);background:transparent;color:var(--text-secondary);cursor:pointer;transition:all var(--transition-base)}.tab-action.svelte-35dpac:hover{color:var(--accent);background:var(--button-hover)}.tab-action.delete.svelte-35dpac:hover{color:var(--error);background:var(--error-bg)}.rename-input.svelte-35dpac{font-size:.85rem;padding:3px 8px;border:1px solid var(--accent);border-radius:var(--radius-sm);background:var(--background);color:var(--text-primary);outline:none;box-shadow:0 0 0 3px #6366f126;min-width:80px;max-width:220px}.rename-input.svelte-35dpac:focus{border-color:var(--accent);box-shadow:0 0 0 3px #6366f133}.add-tab.svelte-35dpac{display:flex;align-items:center;justify-content:center;padding:var(--spacing-sm) var(--spacing-md);border:none;border-bottom:2px solid transparent;background:transparent;color:var(--text-secondary);cursor:pointer;font-size:.8rem;flex-shrink:0;transition:all var(--transition-base);opacity:.6;box-shadow:none}.add-tab.svelte-35dpac:hover{color:var(--accent);opacity:1;background:var(--background)}.solver-layout.svelte-1l48tjz{position:relative;display:flex;flex-direction:column;gap:var(--spacing-lg);height:100%;width:100%;min-height:0}.premise-input-wrapper.svelte-1kbcjc2{display:flex;align-items:center;gap:var(--spacing-lg)}.premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2) i:where(.svelte-1kbcjc2){font-size:1.25rem}.premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2){width:2.5rem;aspect-ratio:1;padding:var(--spacing-sm);display:flex;justify-content:center;align-items:center;border:1px solid var(--border);transition:all var(--transition-base);background:var(--button-bg);color:var(--text-primary);border-radius:var(--radius-md);cursor:pointer;box-shadow:var(--shadow-sm)}.premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2):hover:not(:disabled){color:var(--error);border-color:var(--error);background:var(--error-bg);transform:translateY(-1px);box-shadow:var(--shadow-md)}.premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2):focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2):active:not(:disabled){transform:translateY(0)}.premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2):disabled{cursor:not-allowed;opacity:.5}html:not(.dark-mode) .premise-input-wrapper.svelte-1kbcjc2 button:where(.svelte-1kbcjc2):disabled{opacity:.5}.editor-stack.svelte-fil19h{display:flex;flex-direction:column;gap:var(--spacing-sm);width:100%}input.svelte-fil19h{height:3.5rem;text-decoration:none;width:100%;padding:0 var(--spacing-sm);border:none;background:transparent;color:var(--text-primary);font-size:1rem;outline:none}.wrapper.error.svelte-fil19h{border-color:var(--error);box-shadow:0 0 0 3px var(--error-bg)}.wrapper.valid.svelte-fil19h{border-color:var(--success)}.wrapper.valid.svelte-fil19h:focus-within{border-color:var(--success);box-shadow:var(--shadow-md),0 0 0 3px var(--success-bg)}.wrapper.error.svelte-fil19h:focus-within{border-color:var(--error);box-shadow:var(--shadow-md),0 0 0 3px var(--error-bg)}.wrapper.svelte-fil19h{width:100%;min-height:3.5rem;border-radius:var(--radius-md);background:var(--surface);border:1px solid var(--border);position:relative;display:flex;flex-direction:column;overflow:visible;transition:all var(--transition-base);box-shadow:var(--shadow-sm);padding:0}.wrapper.svelte-fil19h:focus-within{border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px #2563eb1a}input[disabled].svelte-fil19h{color:inherit;opacity:.6;cursor:not-allowed}.assignment-container.svelte-1utyxr1{display:flex;align-items:center;gap:var(--spacing-lg);font-weight:500}@media screen and (max-width: 950px){.assignment-container.svelte-1utyxr1{flex-direction:column;align-items:center;gap:var(--spacing-md)}}.btn.svelte-m680km{width:100%;height:3.5rem;padding:0 var(--spacing-md);border-radius:var(--radius-md);background:var(--button-bg);border:1px solid var(--border);color:var(--text-primary);font-weight:500;cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm)}.btn:focus[disabled].svelte-m680km,.btn:hover[disabled].svelte-m680km{cursor:not-allowed}.btn.svelte-m680km:focus{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.btn.svelte-m680km:hover:not(:disabled){color:var(--accent);border-color:var(--accent);background:var(--button-hover);transform:translateY(-2px);box-shadow:var(--shadow-md)}.btn.svelte-m680km:active:not(:disabled){transform:translateY(0);box-shadow:var(--shadow-sm)}.btn.svelte-m680km:disabled{opacity:.5;cursor:not-allowed}@media screen and (max-width: 950px){.btn.svelte-m680km{font-size:.9rem;height:auto;padding:var(--spacing-sm) var(--spacing-md)}}.variant-list.svelte-cpk8a3{display:grid;gap:var(--spacing-sm);width:min(34rem,100%)}.variant-card.svelte-cpk8a3{display:grid;grid-template-columns:auto 1fr;align-items:center;gap:var(--spacing-md);padding:var(--spacing-md) var(--spacing-lg);background:var(--surface-elevated);border:1px solid var(--border);border-radius:var(--radius-lg);text-align:left;box-shadow:var(--shadow-sm)}.variant-card.svelte-cpk8a3:hover{border-color:var(--accent);box-shadow:var(--shadow-md)}.variant-index.svelte-cpk8a3{width:1.8rem;height:1.8rem;border-radius:999px;display:grid;place-items:center;font-size:.85rem;font-weight:600;color:var(--accent);background:#2563eb1f}.variant-text.svelte-cpk8a3{font-size:.95rem;font-weight:500;color:var(--text-primary)}.proof-options.svelte-1sds06n{display:grid;gap:var(--spacing-md);width:min(34rem,100%)}.proof-card.svelte-1sds06n{display:grid;grid-template-columns:auto 1fr;gap:var(--spacing-md);padding:var(--spacing-lg);border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface-elevated);text-align:left;color:var(--text-primary);box-shadow:var(--shadow-sm)}.proof-card.svelte-1sds06n:hover{border-color:var(--accent);box-shadow:var(--shadow-md)}.icon.svelte-1sds06n{width:2.25rem;height:2.25rem;border-radius:var(--radius-md);display:grid;place-items:center;background:#2563eb1f;color:var(--accent)}.text.svelte-1sds06n{display:grid;gap:.15rem}.title.svelte-1sds06n{display:block;font-size:1rem;font-weight:600}.description.svelte-1sds06n{display:block;font-size:.9rem;color:var(--text-secondary)}.format-selector.svelte-1pw5h2x{display:flex;gap:var(--spacing-sm);margin-bottom:var(--spacing-md)}.format-btn.svelte-1pw5h2x{flex:1;padding:var(--spacing-md);border:1px solid var(--border);border-radius:var(--radius-md);background:var(--surface);color:var(--text-secondary);cursor:pointer;transition:all var(--transition-base);display:flex;align-items:center;justify-content:center;gap:var(--spacing-sm);font-weight:500}.format-btn.svelte-1pw5h2x:hover{border-color:var(--accent);color:var(--text-primary)}.format-btn.active.svelte-1pw5h2x{background:var(--accent);color:#fff;border-color:var(--accent);box-shadow:var(--shadow-md)}.preview-container.svelte-1pw5h2x{background:var(--surface-elevated);border:1px solid var(--border);border-radius:var(--radius-md);padding:var(--spacing-md);max-height:40vh;overflow:auto}.preview.svelte-1pw5h2x{margin:0;font-family:JetBrains Mono,Fira Code,monospace;font-size:.8rem;white-space:pre-wrap;word-break:break-all;color:var(--text-primary);line-height:1.5}.button.secondary.svelte-1pw5h2x{background:var(--surface-elevated);color:var(--text-primary);display:flex;align-items:center;justify-content:center;gap:var(--spacing-sm)}.hint-container.svelte-15uegj8{position:relative;display:inline-flex;align-items:center}.hint-trigger.svelte-15uegj8{display:inline-flex;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;padding:0;border:none;background:none;color:var(--text-secondary);cursor:pointer;transition:color var(--transition-base);font-size:.85rem;opacity:.6}.hint-trigger.svelte-15uegj8:hover{color:var(--accent);opacity:1}.hint-popover.svelte-15uegj8{position:absolute;top:calc(100% + 6px);left:50%;transform:translate(-50%);z-index:200;min-width:200px;max-width:320px;padding:var(--spacing-sm) var(--spacing-md);background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-md);box-shadow:var(--shadow-lg);animation:svelte-15uegj8-fadeIn .15s ease-out}@keyframes svelte-15uegj8-fadeIn{0%{opacity:0;transform:translate(-50%) translateY(-4px)}to{opacity:1;transform:translate(-50%) translateY(0)}}.hint-title.svelte-15uegj8{font-weight:600;font-size:.85rem;color:var(--accent);margin-bottom:var(--spacing-xs)}.hint-text.svelte-15uegj8{font-size:.8rem;color:var(--text-secondary);line-height:1.5}.controls-wrapper.svelte-hp0zjm{display:flex;flex-direction:column;gap:var(--spacing-sm)}.button-wrapper.svelte-hp0zjm{display:flex;gap:var(--spacing-md)}.undo-redo-group.svelte-hp0zjm{display:flex;gap:var(--spacing-sm)}.controls-hint.svelte-hp0zjm{position:absolute;top:0;right:0;gap:var(--spacing-xs)}.hint-label.svelte-hp0zjm{font-size:.8rem;color:var(--text-secondary);opacity:.7}.editor-stack.svelte-1sxujpl{display:flex;flex-direction:column;gap:var(--spacing-sm);width:100%}.row-input.svelte-1sxujpl{width:100%;font-size:1.05em;padding:var(--spacing-md);border:1px solid var(--border);color:var(--text-primary);background:var(--surface);height:auto;border-radius:var(--radius-md);transition:all var(--transition-base);min-height:3rem}.row-input.svelte-1sxujpl:focus{border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px #2563eb1a;border-radius:var(--radius-md) var(--radius-md) 0 0}.row-input.valid.svelte-1sxujpl{border-color:var(--success)}.row-input.valid.svelte-1sxujpl:focus{border-color:var(--success);box-shadow:var(--shadow-md),0 0 0 3px #22c55e1a}.row-input.invalid.svelte-1sxujpl{border-color:var(--error)}.row-input.invalid.svelte-1sxujpl:focus{border-color:var(--error);box-shadow:var(--shadow-md),0 0 0 3px #ef44441a}.details-card.svelte-ottkgq{display:flex;flex-direction:column;gap:1rem;padding:1.15rem;border:1px solid var(--border);border-radius:var(--radius-lg);background:linear-gradient(180deg,#ffffff09,#fff0);box-shadow:inset 0 1px #ffffff05}.details-header.svelte-ottkgq{display:flex;justify-content:center;gap:.35rem}.detail-title-row.svelte-ottkgq{display:flex;align-items:center;gap:.8rem}.detail-badge.svelte-ottkgq{display:inline-flex;align-items:center;justify-content:center;min-width:2.35rem;height:2.35rem;padding:0 .4rem;border-radius:999px;background:#2563eb1a;color:var(--accent);font-weight:700;font-size:.82rem;flex-shrink:0}.detail-copy.svelte-ottkgq{display:flex;flex-direction:column;gap:.15rem;min-width:0}.detail-title.svelte-ottkgq{font-size:.95rem;font-weight:700;color:var(--text-primary)}.detail-subtitle.svelte-ottkgq{font-size:.8rem;color:var(--text-secondary);line-height:1.4}.details-grid.svelte-ottkgq{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:.9rem;padding:1rem;border-radius:var(--radius-md);border:1px solid var(--border);background:#ffffff06}.details-grid-elimination.svelte-ottkgq .detail-group-compact:where(.svelte-ottkgq){grid-column:span 2}.details-grid-elimination.svelte-ottkgq .detail-group-input:where(.svelte-ottkgq){grid-column:span 8}.detail-group.svelte-ottkgq{display:flex;flex-direction:column;gap:.55rem;min-width:0}.detail-group-label.svelte-ottkgq,.option-group-label.svelte-ottkgq{font-size:.72rem;font-weight:700;letter-spacing:.05em;text-transform:uppercase;color:var(--text-secondary)}.detail-group-input.svelte-ottkgq{justify-content:space-between}.sentence-chip.svelte-ottkgq{display:inline-flex;align-items:center;justify-content:center;min-height:2.3rem;padding:.45rem .8rem;border-radius:999px;border:1px solid var(--border);background:var(--surface);font-size:.9rem;font-weight:600;color:var(--text-primary);max-width:100%;overflow-wrap:anywhere}.sentence-chip.empty.svelte-ottkgq{color:var(--text-secondary);border-style:dashed}.row-input.svelte-ottkgq{width:100%;font-size:1em;min-height:3.5rem;padding:.9rem .95rem;border:1px solid var(--border);color:var(--text-primary);background:var(--surface);border-radius:var(--radius-md);transition:all var(--transition-base);box-shadow:inset 0 1px #ffffff05}.option-group.svelte-ottkgq{display:flex;flex-direction:column;gap:.65rem;min-width:0}.option-group-copy.svelte-ottkgq{font-size:.78rem;line-height:1.45;color:var(--text-secondary)}.helper-banner.svelte-ottkgq{display:flex;align-items:center;flex-wrap:wrap;gap:.6rem;padding:.9rem 1rem;border-radius:var(--radius-md);border:1px solid rgba(34,197,94,.2);background:#22c55e14;font-size:.84rem;line-height:1.5}.chip-group.svelte-ottkgq{display:flex;flex-wrap:wrap;gap:var(--spacing-xs);min-width:0}.chip.svelte-ottkgq{padding:.5rem .78rem;border-radius:999px;border:1px solid var(--border);background:var(--surface);color:var(--text-primary);font-size:.8rem;font-weight:600;max-width:100%;white-space:normal}.chip.svelte-ottkgq:hover,.chip.active.svelte-ottkgq{border-color:var(--accent);color:var(--accent);background:#2563eb14}.row-input.svelte-ottkgq:focus{border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px #2563eb1a}.details-card.invalid.svelte-ottkgq .row-input:where(.svelte-ottkgq){border-color:var(--error)}@media screen and (max-width: 1400px){.details-grid-elimination.svelte-ottkgq .detail-group-compact:where(.svelte-ottkgq),.details-grid-elimination.svelte-ottkgq .detail-group-input:where(.svelte-ottkgq){grid-column:span 6}}@media screen and (max-width: 980px){.details-grid.svelte-ottkgq{grid-template-columns:1fr}.details-grid-elimination.svelte-ottkgq .detail-group-compact:where(.svelte-ottkgq),.details-grid-elimination.svelte-ottkgq .detail-group-input:where(.svelte-ottkgq){grid-column:auto}}@media screen and (max-width: 780px){.details-card.svelte-ottkgq,.details-grid.svelte-ottkgq{padding-inline:.9rem}.sentence-chip.svelte-ottkgq{justify-content:flex-start}}.details-card.svelte-1xzr4kh{display:flex;flex-direction:column;gap:1rem;padding:1.15rem;border:1px solid var(--border);border-radius:var(--radius-lg);background:linear-gradient(180deg,#ffffff09,#fff0);box-shadow:inset 0 1px #ffffff05}.details-header.svelte-1xzr4kh{display:flex;justify-content:center;gap:.35rem}.detail-title-row.svelte-1xzr4kh{display:flex;align-items:center;gap:.8rem}.detail-badge.svelte-1xzr4kh{display:inline-flex;align-items:center;justify-content:center;min-width:2.35rem;height:2.35rem;padding:0 .4rem;border-radius:999px;background:#2563eb1a;color:var(--accent);font-weight:700;font-size:.82rem;flex-shrink:0}.detail-copy.svelte-1xzr4kh{display:flex;flex-direction:column;gap:.15rem;min-width:0}.detail-title.svelte-1xzr4kh{font-size:.95rem;font-weight:700;color:var(--text-primary)}.detail-subtitle.svelte-1xzr4kh{font-size:.8rem;color:var(--text-secondary);line-height:1.4}.details-grid.svelte-1xzr4kh{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:.9rem;padding:1rem;border-radius:var(--radius-md);border:1px solid var(--border);background:#ffffff06}.details-grid-introduction.svelte-1xzr4kh .detail-group-compact:where(.svelte-1xzr4kh){grid-column:span 3}.details-grid-introduction.svelte-1xzr4kh .detail-group-wide:where(.svelte-1xzr4kh){grid-column:span 6}.detail-group.svelte-1xzr4kh{display:flex;flex-direction:column;gap:.55rem;min-width:0}.detail-group-label.svelte-1xzr4kh{font-size:.72rem;font-weight:700;letter-spacing:.05em;text-transform:uppercase;color:var(--text-secondary)}.detail-group-input.svelte-1xzr4kh{justify-content:space-between}.sentence-chip.svelte-1xzr4kh{display:inline-flex;align-items:center;justify-content:center;min-height:2.3rem;padding:.45rem .8rem;border-radius:999px;border:1px solid var(--border);background:var(--surface);font-size:.9rem;font-weight:600;color:var(--text-primary);max-width:100%;overflow-wrap:anywhere}.row-input.svelte-1xzr4kh{width:100%;font-size:1em;min-height:3.5rem;padding:.9rem .95rem;border:1px solid var(--border);color:var(--text-primary);background:var(--surface);border-radius:var(--radius-md);transition:all var(--transition-base);box-shadow:inset 0 1px #ffffff05}.chip-group.svelte-1xzr4kh{display:flex;flex-wrap:wrap;gap:var(--spacing-xs);min-width:0}.chip.svelte-1xzr4kh{display:inline-flex;align-items:center;gap:.45rem;padding:.5rem .78rem;border-radius:999px;border:1px solid var(--border);background:var(--surface);color:var(--text-primary);font-size:.8rem;font-weight:600;max-width:100%;white-space:normal}.chip-kind.svelte-1xzr4kh{font-size:.7rem;text-transform:uppercase;letter-spacing:.04em;color:var(--text-secondary)}.chip.svelte-1xzr4kh:hover,.chip.active.svelte-1xzr4kh{border-color:var(--accent);color:var(--accent);background:#2563eb14}.empty-state.svelte-1xzr4kh,.selection-summary.svelte-1xzr4kh{padding:.8rem .9rem;border-radius:var(--radius-md);font-size:.8rem}.empty-state.svelte-1xzr4kh{border:1px dashed var(--border);color:var(--text-secondary)}.selection-summary.svelte-1xzr4kh{padding:.9rem 1rem;border:1px solid rgba(37,99,235,.18);background:#2563eb0f;color:var(--text-primary);line-height:1.5}.selection-summary.muted.svelte-1xzr4kh{border-style:dashed;color:var(--text-secondary)}.row-input.svelte-1xzr4kh:focus{border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px #2563eb1a}.details-card.invalid.svelte-1xzr4kh .row-input:where(.svelte-1xzr4kh){border-color:var(--error)}@media screen and (max-width: 1400px){.details-grid-introduction.svelte-1xzr4kh .detail-group-compact:where(.svelte-1xzr4kh),.details-grid-introduction.svelte-1xzr4kh .detail-group-wide:where(.svelte-1xzr4kh){grid-column:span 6}}@media screen and (max-width: 980px){.details-grid.svelte-1xzr4kh{grid-template-columns:1fr}.details-grid-introduction.svelte-1xzr4kh .detail-group-compact:where(.svelte-1xzr4kh),.details-grid-introduction.svelte-1xzr4kh .detail-group-wide:where(.svelte-1xzr4kh){grid-column:auto}}@media screen and (max-width: 780px){.details-card.svelte-1xzr4kh,.details-grid.svelte-1xzr4kh{padding-inline:.9rem}.sentence-chip.svelte-1xzr4kh{justify-content:flex-start}}.editor-bar.svelte-8ad41v{padding:clamp(.9rem,1vw,1.1rem);border:1px solid var(--border);border-radius:var(--radius-lg);background:linear-gradient(180deg,#ffffff08,#fff0)}.editor-grid.svelte-8ad41v{display:grid;grid-template-columns:minmax(0,1.55fr) repeat(3,minmax(10.5rem,1fr));gap:.9rem;align-items:start}.field.svelte-8ad41v{display:grid;grid-template-rows:auto minmax(4.2rem,auto) minmax(1rem,auto);gap:.42rem;font-size:.78rem;color:var(--text-secondary);min-width:0}.field.svelte-8ad41v>span:where(.svelte-8ad41v):first-child{font-weight:600;letter-spacing:.04em;text-transform:uppercase;font-size:.72rem}.picker-field.svelte-8ad41v{position:relative}.field-control.svelte-8ad41v{display:flex;align-items:stretch;min-width:0}.field-note.svelte-8ad41v{font-size:.72rem;line-height:1.35;color:var(--text-secondary);min-height:1rem}.field-warning.svelte-8ad41v{color:var(--warning)}.row-input.svelte-8ad41v{width:100%;font-size:1em;min-height:4.2rem;padding:.9rem .95rem;border:1px solid var(--border);color:var(--text-primary);background:var(--surface);border-radius:var(--radius-md);transition:all var(--transition-base);box-shadow:inset 0 1px #ffffff05}.row-input.warning.svelte-8ad41v{border-color:var(--warning)}.picker-trigger.svelte-8ad41v{display:flex;align-items:center;justify-content:space-between;gap:var(--spacing-sm);width:100%;min-height:4.2rem;padding:.75rem .95rem;border-radius:var(--radius-md);border:1px solid var(--border);background:var(--surface);color:var(--text-primary);text-align:left;transition:all var(--transition-base)}.picker-copy-wrap.svelte-8ad41v{display:flex;align-items:center;gap:.7rem;min-width:0}.picker-symbol.svelte-8ad41v,.picker-option-symbol.svelte-8ad41v{display:inline-flex;align-items:center;justify-content:center;min-width:2.35rem;height:2.35rem;padding:0 .4rem;border-radius:999px;background:#2563eb1a;color:var(--accent);font-weight:700;font-size:.82rem;flex-shrink:0}.picker-symbol.placeholder.svelte-8ad41v{background:#94a3b81f;color:var(--text-secondary)}.picker-copy.svelte-8ad41v,.picker-option-copy.svelte-8ad41v{display:flex;flex-direction:column;gap:.15rem;min-width:0}.picker-code.svelte-8ad41v,.picker-option-code.svelte-8ad41v{font-weight:700;font-size:.82rem;color:var(--text-primary)}.picker-title.svelte-8ad41v,.picker-option-title.svelte-8ad41v{font-size:.74rem;color:var(--text-secondary);line-height:1.35}.picker-panel.svelte-8ad41v{position:fixed;padding:var(--spacing-sm);display:flex;flex-direction:column;gap:var(--spacing-sm);border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface-elevated);box-shadow:var(--shadow-lg);z-index:200;overflow:hidden}.picker-search.svelte-8ad41v{padding-block:.68rem;min-height:unset}.picker-options.svelte-8ad41v{display:flex;flex-direction:column;flex:1 1 auto;gap:.35rem;overflow:auto}.picker-option.svelte-8ad41v{display:flex;align-items:center;gap:.75rem;width:100%;padding:.6rem .7rem;border-radius:var(--radius-md);border:1px solid transparent;background:transparent;color:var(--text-primary);text-align:left}.picker-option.svelte-8ad41v:hover,.picker-option.active.svelte-8ad41v{border-color:var(--accent);background:#2563eb14}.empty-picker-state.svelte-8ad41v{padding:.8rem .9rem;border-radius:var(--radius-md);font-size:.8rem;border:1px dashed var(--border);color:var(--text-secondary)}.preview-chip.svelte-8ad41v,.details-toggle.svelte-8ad41v{display:inline-flex;align-items:center;gap:.55rem;width:100%;min-height:4.2rem;padding:.8rem .95rem;border-radius:var(--radius-md);border:1px solid var(--border);background:var(--surface-elevated);color:var(--text-primary);transition:all var(--transition-base)}.preview-chip.svelte-8ad41v{overflow:hidden;justify-content:flex-start;box-shadow:inset 0 1px #ffffff05}.preview-indicator.svelte-8ad41v{width:.55rem;height:.55rem;border-radius:999px;background:var(--text-secondary);opacity:.5;flex-shrink:0}.preview-indicator.ready.svelte-8ad41v{background:#22c55e;opacity:1}.preview-value.svelte-8ad41v{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.preview-chip.muted.svelte-8ad41v{color:var(--text-secondary)}.details-toggle.svelte-8ad41v{justify-content:center;font-size:.84rem;font-weight:700;white-space:nowrap}.row-input.svelte-8ad41v:focus,.picker-trigger.svelte-8ad41v:focus,.details-toggle.svelte-8ad41v:focus{border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px #2563eb1a}.field.invalid.svelte-8ad41v .row-input:where(.svelte-8ad41v),.field.invalid.svelte-8ad41v .details-toggle:where(.svelte-8ad41v),.field.invalid.svelte-8ad41v .preview-chip:where(.svelte-8ad41v),.field.invalid.svelte-8ad41v .picker-trigger:where(.svelte-8ad41v){border-color:var(--error)}.details-toggle.svelte-8ad41v:hover{border-color:var(--accent);color:var(--accent);background:#2563eb14}@media screen and (max-width: 1400px){.editor-grid.svelte-8ad41v{grid-template-columns:repeat(2,minmax(0,1fr))}.picker-field.svelte-8ad41v{grid-column:1 / -1}}@media screen and (max-width: 980px){.editor-grid.svelte-8ad41v{grid-template-columns:1fr}.picker-field.svelte-8ad41v{grid-column:auto}}@media screen and (max-width: 780px){.editor-bar.svelte-8ad41v{padding-inline:.9rem}}.editor-shell.svelte-bcbtgu{display:flex;flex-direction:column;gap:var(--spacing-md);width:100%}.actions-container.svelte-1pn7xwg{display:flex;gap:var(--spacing-sm);align-items:center}.action-button.svelte-1pn7xwg{width:2.25rem;aspect-ratio:1;padding:var(--spacing-sm);display:flex;justify-content:center;align-items:center;border:1px solid var(--border);border-radius:var(--radius-md);background:var(--button-bg);color:var(--text-secondary);cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm)}.action-button.svelte-1pn7xwg:disabled{cursor:not-allowed;opacity:.4}.action-button.svelte-1pn7xwg:not(:disabled):hover{transform:translateY(-1px);box-shadow:var(--shadow-md)}.action-button.svelte-1pn7xwg:not(:disabled):active{transform:translateY(0)}.check-button.svelte-1pn7xwg:hover:not(:disabled){color:var(--success);border-color:var(--success);background:var(--success-bg)}.delete-button.svelte-1pn7xwg:hover:not(:disabled){color:var(--error);border-color:var(--error);background:var(--error-bg)}.edit-button.svelte-1pn7xwg:hover:not(:disabled){color:var(--warning);border-color:var(--warning);background:var(--warning-bg)}button.svelte-1pn7xwg{font-size:.7em}@media screen and (max-width: 950px){.actions-container.svelte-1pn7xwg{justify-content:flex-end;width:100%}}.row.svelte-fr7zsa{display:flex;gap:var(--spacing-md);justify-content:center;align-items:center;padding:var(--spacing-md) var(--spacing-lg);border-radius:var(--radius-md);border:1px solid var(--border);background:var(--surface);font-family:monospace;font-size:1.3em;text-decoration:none;color:inherit;cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm);position:relative}.row.svelte-fr7zsa:hover{background:var(--surface-elevated);box-shadow:var(--shadow-md)}.row.highlighted.usable.svelte-fr7zsa,.row.highlighted.svelte-fr7zsa{border-color:var(--success);box-shadow:0 0 0 2px var(--success-bg),var(--shadow-md);background:var(--surface)}.row.usable.svelte-fr7zsa{border-color:var(--warning);box-shadow:0 0 0 2px var(--warning-bg),var(--shadow-md)}.row.invalid.svelte-fr7zsa{border-color:var(--error);box-shadow:0 0 0 2px var(--error-bg),var(--shadow-md)}.formula-container.svelte-fr7zsa{display:flex;align-items:center;flex-grow:1;min-width:0}.edit-main.svelte-fr7zsa{display:flex;align-items:center;gap:var(--spacing-md);width:100%;min-width:0}.edit-layout.svelte-fr7zsa{display:flex;flex-direction:column;gap:var(--spacing-md);width:100%}.edit-footer.svelte-fr7zsa{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:var(--spacing-md);width:100%;padding-left:calc(2.5rem + var(--spacing-md))}.edit-actions.svelte-fr7zsa{display:flex;align-items:center;justify-content:flex-end;align-self:center}.used-rule.svelte-fr7zsa,.line-number.svelte-fr7zsa{text-align:center;padding-inline:var(--spacing-md)}.used-rule.svelte-fr7zsa{width:auto;flex-grow:0;flex-shrink:1}.used-rule.editing.svelte-fr7zsa{flex:1;padding-inline:0;min-width:0}.line-number.svelte-fr7zsa{width:2.5rem;font-weight:600;font-size:.85em;color:var(--text-secondary);-webkit-user-select:none;user-select:none}.line-content.svelte-fr7zsa{position:relative;text-align:left;flex-grow:2;min-width:0}.line-content.editing.svelte-fr7zsa{flex:1}.line-content.scrollable.svelte-fr7zsa{overflow-x:auto;white-space:nowrap;padding-bottom:4px}.separator.svelte-fr7zsa{width:1px;border-right:1px solid var(--border)}.row.editing.svelte-fr7zsa{flex-direction:column;align-items:stretch}@media screen and (max-width: 1150px){.used-rule.svelte-fr7zsa,.line-number.svelte-fr7zsa,.line-content.svelte-fr7zsa{font-size:.8em}}@media screen and (max-width: 1180px){.edit-footer.svelte-fr7zsa{padding-left:0;grid-template-columns:1fr}.edit-actions.svelte-fr7zsa{width:100%;justify-content:flex-end}}@media screen and (max-width: 950px){.row.svelte-fr7zsa{flex-direction:column;align-items:stretch}.edit-main.svelte-fr7zsa{align-items:stretch}.separator.svelte-fr7zsa{width:100%;height:1px;border-right:none;border-bottom:1px solid var(--border)}}.table-wrapper.svelte-1say50{flex:1;overflow:hidden auto;border-radius:var(--radius-lg);border:1px solid var(--border);background-color:var(--background);padding:var(--spacing-md);box-shadow:var(--shadow-md)}.table.svelte-1say50{width:100%;display:flex;flex-direction:column;gap:var(--spacing-sm);max-height:100%}button.svelte-1say50{width:100%;height:3rem;display:flex;align-items:center;justify-content:center;gap:var(--spacing-sm);transition:all var(--transition-base);color:var(--text-secondary);border-style:dashed}button.svelte-1say50 i:where(.svelte-1say50){transition:transform var(--transition-base)}button.svelte-1say50:hover:not(:disabled) i:where(.svelte-1say50){transform:rotate(90deg)}button.disabled.svelte-1say50{cursor:not-allowed;opacity:.4}button.disabled.svelte-1say50:hover{border:1px dashed var(--border);transform:none}.hint-panel.svelte-1tvzd7i{display:flex;flex-direction:column;gap:var(--spacing-sm);width:100%}.hint-button.svelte-1tvzd7i{display:inline-flex;align-items:center;justify-content:center;gap:var(--spacing-sm);align-self:flex-start;min-height:2.75rem;padding:.65rem 1rem;border-radius:var(--radius-md);border:1px solid var(--border);background:var(--button-bg);color:var(--text-primary);box-shadow:var(--shadow-sm);transition:all var(--transition-base)}.hint-button.svelte-1tvzd7i:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.hint-button.loading.svelte-1tvzd7i{cursor:wait}.hint-icon.svelte-1tvzd7i{color:var(--warning)}.loading-spinner.svelte-1tvzd7i{width:1rem;height:1rem;border:2px solid var(--border-light);border-top-color:var(--accent);border-radius:999px;animation:svelte-1tvzd7i-spin .8s linear infinite}.hint-card.svelte-1tvzd7i{width:100%;max-width:100%;padding:var(--spacing-md);border:1px solid var(--border);border-radius:var(--radius-md);background:var(--surface-elevated);box-shadow:var(--shadow-sm);overflow-wrap:anywhere}.hint-card-header.svelte-1tvzd7i{display:flex;justify-content:space-between;align-items:center;gap:var(--spacing-sm);margin-bottom:var(--spacing-sm)}.hint-card-header.svelte-1tvzd7i h3:where(.svelte-1tvzd7i){margin:0;font-size:1rem}.selection-badge.svelte-1tvzd7i{font-size:.75rem;color:var(--accent);background:var(--accent-subtle);padding:.2rem .45rem;border-radius:var(--radius-sm)}.hint-copy.svelte-1tvzd7i{margin:0;color:var(--text-secondary);font-size:.9rem}.hint-list.svelte-1tvzd7i{margin:var(--spacing-md) 0 0;padding:0;list-style:none;display:flex;flex-direction:column;gap:var(--spacing-sm)}.hint-item.svelte-1tvzd7i{padding:var(--spacing-sm);border:1px solid var(--border);border-radius:var(--radius-sm);background:var(--surface)}.hint-item-message.svelte-1tvzd7i{margin:var(--spacing-xs) 0 0;font-size:.88rem;color:var(--text-secondary);line-height:1.5}.hint-rule-row.svelte-1tvzd7i{display:flex;align-items:center;justify-content:space-between;gap:var(--spacing-sm)}.hint-rule-short.svelte-1tvzd7i{font-size:.75rem;color:var(--accent)}.hint-meta.svelte-1tvzd7i{margin-top:var(--spacing-xs);font-size:.85rem;color:var(--text-secondary)}@keyframes svelte-1tvzd7i-spin{to{transform:rotate(360deg)}}@media screen and (max-width: 600px){.hint-button.svelte-1tvzd7i{width:100%;justify-content:center}.hint-card-header.svelte-1tvzd7i,.hint-rule-row.svelte-1tvzd7i{flex-direction:column;align-items:flex-start}}.section-header.svelte-nl8gmc,.conclusion-header.svelte-nl8gmc{display:flex;align-items:center;gap:var(--spacing-sm);font-size:.9rem;font-weight:500;color:var(--text-secondary)}.rule-grid.svelte-1h2qy6z{width:100%;max-width:23rem;display:flex;flex-wrap:wrap;gap:var(--spacing-md);justify-content:center}.tooltip.svelte-hlk0rg{position:absolute;background:linear-gradient(135deg,var(--surface-elevated),var(--surface));color:var(--text-primary);padding:var(--spacing-sm) var(--spacing-md);border-radius:var(--radius-md);border:1px solid var(--border);z-index:1000;display:none;width:max-content;font-size:.9rem;font-weight:500;box-shadow:var(--shadow-lg);pointer-events:none;max-width:250px;text-align:center;word-wrap:break-word}.tooltip.bottom.svelte-hlk0rg:before{content:"";position:absolute;width:0;height:0;border-left:.5rem solid transparent;border-right:.5rem solid transparent;border-bottom:.5rem solid var(--surface);top:-.5rem;left:50%;transform:translate(-50%);filter:drop-shadow(0 -1px 0 var(--border))}.tooltip.top.svelte-hlk0rg:after{content:"";position:absolute;width:0;height:0;border-left:.5rem solid transparent;border-right:.5rem solid transparent;border-top:.5rem solid var(--surface);bottom:-.5rem;left:50%;transform:translate(-50%);filter:drop-shadow(0 1px 0 var(--border))}.tooltip.left.svelte-hlk0rg:after{content:"";position:absolute;width:0;height:0;border-top:.5rem solid transparent;border-bottom:.5rem solid transparent;border-left:.5rem solid var(--surface);right:-.5rem;top:50%;transform:translateY(-50%);filter:drop-shadow(1px 0 0 var(--border))}.tooltip.right.svelte-hlk0rg:after{content:"";position:absolute;width:0;height:0;border-top:.5rem solid transparent;border-bottom:.5rem solid transparent;border-right:.5rem solid var(--surface);left:-.5rem;top:50%;transform:translateY(-50%);filter:drop-shadow(-1px 0 0 var(--border))}.tooltip.show.svelte-hlk0rg{display:flex;flex-direction:column;animation:svelte-hlk0rg-tooltipFadeIn var(--transition-base)}@keyframes svelte-hlk0rg-tooltipFadeIn{0%{opacity:0;transform:scale(.95)}to{opacity:1;transform:scale(1)}}.tooltip.bottom.svelte-hlk0rg{top:100%;left:50%;transform:translate(-50%);margin-top:var(--spacing-sm)}.tooltip.bottom.show.svelte-hlk0rg{animation:svelte-hlk0rg-tooltipFadeInBottom var(--transition-base)}@keyframes svelte-hlk0rg-tooltipFadeInBottom{0%{opacity:0;transform:translate(-50%) translateY(-8px)}to{opacity:1;transform:translate(-50%) translateY(0)}}.tooltip.left.svelte-hlk0rg{top:50%;right:100%;transform:translateY(-50%);margin-right:var(--spacing-sm)}.tooltip.left.show.svelte-hlk0rg{animation:svelte-hlk0rg-tooltipFadeInLeft var(--transition-base)}@keyframes svelte-hlk0rg-tooltipFadeInLeft{0%{opacity:0;transform:translateY(-50%) translate(8px)}to{opacity:1;transform:translateY(-50%) translate(0)}}.tooltip.right.svelte-hlk0rg{top:50%;left:100%;transform:translateY(-50%);margin-left:var(--spacing-sm)}.tooltip.right.show.svelte-hlk0rg{animation:svelte-hlk0rg-tooltipFadeInRight var(--transition-base)}@keyframes svelte-hlk0rg-tooltipFadeInRight{0%{opacity:0;transform:translateY(-50%) translate(-8px)}to{opacity:1;transform:translateY(-50%) translate(0)}}.tooltip.top.svelte-hlk0rg{bottom:100%;left:50%;transform:translate(-50%);margin-bottom:var(--spacing-sm)}.tooltip.top.show.svelte-hlk0rg{animation:svelte-hlk0rg-tooltipFadeInTop var(--transition-base)}@keyframes svelte-hlk0rg-tooltipFadeInTop{0%{opacity:0;transform:translate(-50%) translateY(8px)}to{opacity:1;transform:translate(-50%) translateY(0)}}.wrapper.svelte-142llnk{width:100%;max-width:5rem;position:relative}.rule-slot.svelte-142llnk{font-size:1rem;font-weight:600;width:100%;aspect-ratio:1;padding:var(--spacing-md);cursor:pointer;border-radius:var(--radius-md);border:1px solid var(--border);background:var(--surface-elevated);color:var(--text-primary);transition:all var(--transition-base);box-shadow:var(--shadow-sm);display:flex;align-items:center;justify-content:center;position:relative;overflow:hidden}.rule-slot.svelte-142llnk:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background:radial-gradient(circle at center,var(--accent-subtle),transparent 70%);opacity:0;transition:opacity var(--transition-base)}.rule-slot.svelte-142llnk:hover{border-color:var(--accent);color:var(--accent);transform:translateY(-2px);box-shadow:var(--shadow-md),0 0 0 1px var(--accent-subtle)}.rule-slot.svelte-142llnk:hover:before{opacity:1}.rule-slot.svelte-142llnk:focus{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.rule-slot.svelte-142llnk:active{transform:translateY(0);box-shadow:var(--shadow-sm)}.body.svelte-s80by0{display:flex;flex-direction:column;gap:var(--spacing-lg);width:min(34rem,100%)}.formula-card.svelte-s80by0{padding:var(--spacing-md);background:var(--surface-elevated);border:1px solid var(--border);border-radius:var(--radius-lg)}.label.svelte-s80by0{font-size:.85rem;font-weight:600;color:var(--text-secondary);margin-bottom:var(--spacing-sm)}.input-row.svelte-s80by0{display:flex;align-items:center;gap:var(--spacing-md)}.modal-input.svelte-s80by0{font-size:1rem;height:auto;padding:var(--spacing-md)}.help-link.svelte-s80by0{-webkit-user-select:none;user-select:none;color:var(--accent);text-decoration:none;cursor:pointer;font-size:.9rem;font-weight:600;border:1px solid var(--border);background:var(--surface-elevated);transition:all var(--transition-base);padding:var(--spacing-sm) var(--spacing-md);border-radius:var(--radius-md);box-shadow:var(--shadow-sm)}.help-link.svelte-s80by0:hover{color:var(--accent-hover);border-color:var(--accent);background:#2563eb1a}.help-link.svelte-s80by0:focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.suggestions.svelte-s80by0{display:flex;flex-wrap:wrap;gap:var(--spacing-sm);margin-top:var(--spacing-xs);padding:var(--spacing-lg);background:var(--surface-elevated);border-radius:var(--radius-lg);border:1px solid var(--border);box-shadow:var(--shadow-sm)}.suggestion.svelte-s80by0{padding:var(--spacing-sm) var(--spacing-md);font-size:.95rem;font-family:monospace;background-color:var(--surface);color:var(--text-primary);border:1px solid var(--border);border-radius:999px;cursor:pointer;transition:all var(--transition-base)}.suggestion.svelte-s80by0:hover{background-color:var(--button-hover);color:var(--accent);border-color:var(--accent);transform:translateY(-1px);box-shadow:var(--shadow-md)}.suggestion.svelte-s80by0:focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.no-suggestions.svelte-s80by0{color:var(--text-secondary);font-size:.9rem;padding:var(--spacing-md) 0}.modal-form.svelte-14hftut{display:flex;flex-direction:column;gap:var(--spacing-lg);width:100%;min-width:0}.input-stack.svelte-14hftut{display:grid;gap:.65rem;min-width:0}.description.svelte-14hftut{color:var(--text-secondary);font-size:.95rem;line-height:1.6;padding:var(--spacing-md);background:var(--surface-elevated);border:1px solid var(--border);border-radius:var(--radius-lg)}.input-label.svelte-14hftut{font-weight:600;font-size:.95rem;color:var(--text-primary)}input[name=modal-input].svelte-14hftut{width:100%;height:3.5rem;font-size:1rem;font-family:monospace;padding:0 var(--spacing-md);border:1px solid var(--border);border-radius:var(--radius-md);background:var(--surface-elevated);color:var(--text-primary);outline:none;transition:border-color var(--transition-base),box-shadow var(--transition-base)}input[name=modal-input].svelte-14hftut:focus{border-color:var(--accent);box-shadow:0 0 0 3px #2563eb1a}input[name=modal-input].invalid.svelte-14hftut{border-color:var(--warning);box-shadow:0 0 0 3px #f59e0b1a}.position-group.svelte-14hftut{border:1px solid var(--border);border-radius:var(--radius-lg);padding:var(--spacing-lg);display:grid;gap:var(--spacing-md);background:var(--surface-elevated);transition:all var(--transition-base)}.position-group.svelte-14hftut:hover{border-color:var(--accent);box-shadow:var(--shadow-sm)}.position-title.svelte-14hftut{padding:0 var(--spacing-sm);font-size:.9rem;color:var(--text-secondary);font-weight:500}.position-option.svelte-14hftut{display:flex;align-items:center;gap:var(--spacing-md);padding:var(--spacing-sm) var(--spacing-md);border:1px solid transparent;border-radius:var(--radius-md);cursor:pointer;transition:all var(--transition-base)}.position-option.svelte-14hftut:hover{background:var(--button-hover);border-color:var(--accent)}.position-option.svelte-14hftut input[type=radio]:where(.svelte-14hftut){width:1.125rem;height:1.125rem;margin:0;cursor:pointer;accent-color:var(--accent)}.position-option.svelte-14hftut span:where(.svelte-14hftut){color:var(--text-primary)}.actions.svelte-14hftut{display:flex;gap:var(--spacing-md);width:100%}.actions.svelte-14hftut button:where(.svelte-14hftut){font-size:1rem;padding:var(--spacing-md) var(--spacing-lg)}@media (max-width: 640px){.modal-form.svelte-14hftut{width:100%}}h2.svelte-4v3gca{margin:0;font-size:1.25rem}.header-row.svelte-4v3gca{display:flex;align-items:center;gap:var(--spacing-sm);width:100%}.wrapper.svelte-4v3gca{width:100%;display:flex;align-items:center;flex-direction:column;gap:var(--spacing-md)}.theorem-wrapper.svelte-ovbl5q{width:100%;flex-grow:1;min-height:0;padding:var(--spacing-md);overflow-y:auto;border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface-elevated);box-shadow:var(--shadow-sm);transition:all var(--transition-base)}.theorems.svelte-ovbl5q{display:flex;flex-direction:column;gap:var(--spacing-md)}.theorem-wrapper.svelte-ovbl5q::-webkit-scrollbar{width:8px}.theorem-wrapper.svelte-ovbl5q::-webkit-scrollbar-track{background:var(--background);border-radius:var(--radius-md)}.theorem-wrapper.svelte-ovbl5q::-webkit-scrollbar-thumb{background:var(--border);border-radius:var(--radius-md)}.theorem-wrapper.svelte-ovbl5q::-webkit-scrollbar-thumb:hover{background:var(--accent)}.mathml-viewer-wrapper.svelte-17ubutj{opacity:0;transform:translateY(-.5rem);transition:opacity var(--transition-base),transform var(--transition-base);pointer-events:none;max-height:0;overflow:hidden}.mathml-viewer-wrapper.visible.svelte-17ubutj{opacity:1;transform:translateY(0);pointer-events:auto;max-height:500px;overflow:auto hidden;white-space:nowrap;padding-bottom:4px}p.svelte-17ubutj:not(.visible){opacity:0;display:none}.theorem-slot.svelte-17ubutj{width:100%;height:100%;padding:var(--spacing-lg);background-color:var(--surface);border-radius:var(--radius-lg);border:1px solid var(--border);display:grid;grid-template-columns:1fr auto;gap:var(--spacing-lg);align-items:center;position:relative;line-height:0;overflow:hidden;transition:all var(--transition-base);box-shadow:var(--shadow-sm)}.theorem-slot.svelte-17ubutj:hover:not(.invalid){border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 1px var(--accent-subtle);cursor:pointer;transform:translateY(-1px)}.theorem-slot.svelte-17ubutj:focus{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.theorem-slot.invalid.svelte-17ubutj{border-color:var(--error);box-shadow:0 0 0 2px var(--error-bg),var(--shadow-sm)}.theorem-slot.invalid.svelte-17ubutj:hover{cursor:not-allowed}.theorem-slot.svelte-17ubutj .name:where(.svelte-17ubutj){text-align:left;min-width:0}.theorem-slot.svelte-17ubutj .name:where(.svelte-17ubutj) input:where(.svelte-17ubutj){width:100%;padding:var(--spacing-md);border:1px solid var(--border);border-radius:var(--radius-md);background-color:var(--surface-elevated);color:var(--text-primary);transition:all var(--transition-base)}.theorem-slot.svelte-17ubutj .name:where(.svelte-17ubutj) input:where(.svelte-17ubutj):focus{outline:none;border-color:var(--accent);box-shadow:var(--shadow-md),0 0 0 3px #6366f11a}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj){display:flex;gap:var(--spacing-sm)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) button:where(.svelte-17ubutj){width:2.25rem;aspect-ratio:1;padding:var(--spacing-sm);display:flex;justify-content:center;align-items:center;border:1px solid var(--border);border-radius:var(--radius-md);background:var(--button-bg);color:var(--text-secondary);cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) button:where(.svelte-17ubutj):hover:not(:disabled){transform:translateY(-1px);box-shadow:var(--shadow-md)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) button:where(.svelte-17ubutj):focus-visible{outline:none;box-shadow:0 0 0 3px var(--surface),0 0 0 5px var(--accent)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) button:where(.svelte-17ubutj):active:not(:disabled){transform:translateY(0)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) .edit-button:where(.svelte-17ubutj):disabled{cursor:not-allowed;opacity:.4}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) .delete-button:where(.svelte-17ubutj):hover:not(:disabled){color:var(--error);border-color:var(--error);background:var(--error-bg)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) .save-button:where(.svelte-17ubutj):hover:not(:disabled){color:var(--success);border-color:var(--success);background:var(--success-bg)}.theorem-slot.svelte-17ubutj .actions:where(.svelte-17ubutj) .edit-button:where(.svelte-17ubutj):hover:not(:disabled){color:var(--warning);border-color:var(--warning);background:var(--warning-bg)}.section-header.svelte-1h91uva{display:flex;align-items:center;gap:var(--spacing-sm);width:100%}.section-header.svelte-1h91uva i:where(.svelte-1h91uva){color:var(--accent);flex-shrink:0}h2.svelte-1h91uva{margin:0;font-size:1.15rem;font-weight:600;letter-spacing:-.01em}.wrapper.svelte-1h91uva{width:100%;height:100%;display:flex;align-items:center;flex-direction:column;gap:var(--spacing-md)}.empty-text.svelte-1h91uva{font-size:.9rem;color:var(--text-secondary);margin-top:var(--spacing-sm);text-align:center;padding:var(--spacing-xl)}.sidebar.svelte-1tftywv{display:flex;flex-direction:column;height:100%;gap:0;min-height:0;overflow:hidden}.rules-section.svelte-1tftywv{flex:0 1 auto;min-height:0;padding-bottom:var(--spacing-md);border-bottom:1px solid var(--border)}.divider.svelte-1tftywv{height:1px;background:var(--border)}.theorems-section.svelte-1tftywv{flex:1;min-height:0;overflow-y:auto;padding-top:var(--spacing-md)}.rules-section.svelte-1tftywv::-webkit-scrollbar,.theorems-section.svelte-1tftywv::-webkit-scrollbar{width:8px}.rules-section.svelte-1tftywv::-webkit-scrollbar-track,.theorems-section.svelte-1tftywv::-webkit-scrollbar-track{background:transparent}.rules-section.svelte-1tftywv::-webkit-scrollbar-thumb,.theorems-section.svelte-1tftywv::-webkit-scrollbar-thumb{background:var(--border);border-radius:var(--radius-md)}.rules-section.svelte-1tftywv::-webkit-scrollbar-thumb:hover,.theorems-section.svelte-1tftywv::-webkit-scrollbar-thumb:hover{background:var(--accent)}.main-area.svelte-13m4c6c{display:flex;flex-direction:column;flex:1;min-width:0}.main-area.svelte-13m4c6c>.wrapper{border-top-left-radius:0;border-top-right-radius:0;border-top:none}.side-area.svelte-13m4c6c{display:flex;max-width:500px;width:100%}@media screen and (max-width: 950px){.side-area.svelte-13m4c6c{max-width:none}}@media screen and (max-width: 600px){.main-area.svelte-13m4c6c,.side-area.svelte-13m4c6c{width:100%;max-width:none}.side-area.svelte-13m4c6c{order:-1}}