:root{--zinc-50:#fafafa;--zinc-100:#f4f4f5;--zinc-200:#e4e4e7;--zinc-300:#d4d4d8;--zinc-400:#a1a1aa;--zinc-500:#71717a;--zinc-600:#52525b;--zinc-700:#3f3f46;--zinc-800:#27272a;--zinc-900:#18181b;--zinc-950:#09090b;--black:#000;--white:#fff;--blue50:#e0ebf7;--blue100:#ccdff3;--blue200:#a9c8ec;--blue300:#7faae1;--blue400:#5991d9;--blue500:#3578d0;--blue600:#2064bc;--blue700:#1a5399;--blue800:#164278;--blue900:#123258;--blue1000:#0d253e;--blue1100:#081527;--success100:#daffda;--success600:#0e7500;--success700:#085d00;--success1100:#062007;--green100:#dcfce7;--green600:#16a34a;--green700:#15803d;--green1100:#0a2f1a;--yellow100:#fef9c3;--yellow600:#ca8a04;--yellow700:#a16207;--yellow1100:#2e1f08;--warning100:#fff0db;--warning600:#ffb649;--warning700:#d5983d;--warning1100:#33240f;--danger100:#ffdbd9;--danger600:#f44336;--danger700:#d53028;--danger1100:#230706;--red100:#fee2e2;--red600:#dc2626;--red700:#b91c1c;--red1100:#2e0b0b;--purple100:#f3e8ff;--purple600:#9333ea;--purple700:#7e22ce;--purple1100:#1e1031;--table-border-light:var(--gray200);--success-color:#10b981;--success-color-light:#d1fae5;--success-color-dark:#047857;--warning-color:#f59e0b;--warning-color-light:#fef3c7;--warning-color-dark:#d97706;--error-color:var(--danger-primary);--error-color-light:#fee2e2;--error-color-dark:#dc2626;--info-color:#3b82f6;--info-color-light:#dbeafe;--info-color-dark:#1d4ed8;--transparent:var(--transparent-white);--barrier-color:var(--black-opacity);--barrier-light-color:var(--light-black-opacity);--foreground-primary:var(--zinc-900);--foreground-secondary:var(--zinc-600);--foreground-tertiary:var(--zinc-500);--foreground-elevated:var(--black);--background-primary:var(--white);--background-secondary:var(--zinc-50);--background-tertiary:var(--zinc-100);--background-elevated:var(--white);--border-primary:var(--zinc-200);--border-secondary:var(--zinc-100);--border-light:var(--zinc-200);--boxShadowLight:0 4px 6px var(--light-black-opacity);--boxShadowMedium:0 10px 25px var(--lighter-black-opacity);--accent-primary:var(--blue600);--accent-primary-hover:var(--blue500);--accent-primary-pressed:var(--blue700);--accent-contrast:var(--white);--accent-muted:var(--blue50);--accent-muted-hover:var(--blue100);--accent-muted-pressed:var(--blue200);--success-primary:var(--success600);--success-contrast:var(--white);--success-muted:var(--success100);--success-text:var(--success600);--warning-primary:var(--warning600);--warning-contrast:var(--white);--warning-muted:var(--warning100);--danger-primary:var(--danger600);--danger-contrast:var(--white);--danger-muted:var(--danger100);--difficulty-beginner-bg:var(--green100);--difficulty-beginner-text:var(--green600);--difficulty-intermediate-bg:var(--yellow100);--difficulty-intermediate-text:var(--yellow600);--difficulty-advanced-bg:var(--red100);--difficulty-advanced-text:var(--red600);--difficulty-expert-bg:var(--purple100);--difficulty-expert-text:var(--purple600);--bg-color:var(--background-primary);--text-color:var(--foreground-primary);--border-color:var(--border-primary);--button-bg:var(--background-tertiary);--button-text:var(--foreground-primary);--button-hover-bg:var(--background-secondary);--button-border:var(--border-primary);--input-bg:var(--background-primary);--input-border:var(--border-primary);--input-focus-border:var(--accent-primary);--table-border:var(--border-primary);--table-true-bg:var(--success-muted);--table-false-bg:var(--danger-muted);--tree-node-bg:var(--background-secondary);--tree-node-border:var(--border-primary);--text-primary:var(--foreground-primary);--text-secondary:var(--foreground-secondary);--primary-color:var(--accent-primary);--primary-color-dark:var(--accent-primary-pressed);--primary-color-light:var(--accent-muted)}[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--transparent:var(--transparent-black);--barrier-color:var(--dark-gray-opacity);--barrier-light-color:var(--lighter-black-opacity);--foreground-primary:var(--zinc-50);--foreground-secondary:var(--zinc-400);--foreground-tertiary:var(--zinc-500);--foreground-elevated:var(--white);--background-primary:var(--zinc-950);--background-secondary:var(--zinc-900);--background-tertiary:var(--zinc-800);--background-elevated:var(--zinc-900);--border-primary:var(--zinc-800);--border-secondary:var(--zinc-700);--border-light:var(--zinc-600);--boxShadowLight:0 4px 6px var(--dark-gray-opacity);--boxShadowMedium:0 10px 25px var(--dark-gray-opacity);--accent-primary:var(--blue500);--accent-primary-hover:var(--blue400);--accent-primary-pressed:var(--blue600);--accent-contrast:var(--white);--accent-muted:var(--blue1000);--accent-muted-hover:var(--blue900);--accent-muted-pressed:var(--blue800);--success-primary:var(--success600);--success-contrast:var(--white);--success-muted:var(--success1100);--success-text:var(--success600);--warning-primary:var(--warning600);--warning-contrast:var(--white);--warning-muted:var(--warning1100);--danger-primary:var(--danger600);--danger-contrast:var(--white);--danger-muted:var(--danger1100);--difficulty-beginner-bg:var(--green1100);--difficulty-beginner-text:var(--green600);--difficulty-intermediate-bg:var(--yellow1100);--difficulty-intermediate-text:var(--yellow600);--difficulty-advanced-bg:var(--red1100);--difficulty-advanced-text:var(--red600);--difficulty-expert-bg:var(--purple1100);--difficulty-expert-text:var(--purple600);--success-color-light:#064e3b;--warning-color-light:#78350f;--error-color-light:#7f1d1d;--info-color-light:#1e3a8a;--primary-color-light:var(--accent-muted);--bg-color:var(--background-primary);--text-color:var(--foreground-primary);--border-color:var(--border-primary);--button-bg:var(--background-tertiary);--button-text:var(--foreground-primary);--button-hover-bg:var(--background-secondary);--button-border:var(--border-primary);--input-bg:var(--background-primary);--input-border:var(--border-primary);--input-focus-border:var(--accent-primary);--error-color:var(--danger-primary);--table-border:var(--border-primary);--table-true-bg:var(--success1100);--table-false-bg:var(--danger1100);--tree-node-bg:var(--background-secondary);--text-primary:var(--foreground-primary);--text-secondary:var(--foreground-secondary);--primary-color:var(--accent-primary);--primary-color-dark:var(--accent-primary-pressed);--tree-node-border:var(--border-secondary)}@media (prefers-color-scheme:dark){:root:not([data-theme]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--foreground-primary:var(--zinc-50);--foreground-secondary:var(--zinc-400);--foreground-tertiary:var(--zinc-500);--background-primary:var(--zinc-950);--background-secondary:var(--zinc-900);--background-tertiary:var(--zinc-800);--border-primary:var(--zinc-800);--border-secondary:var(--zinc-700);--accent-primary:var(--blue-500);--accent-primary-hover:var(--blue-400);--accent-muted:#3b82f633;--table-true-bg:#0e750033;--table-false-bg:#f4433633;--bg-color:var(--background-primary);--text-color:var(--foreground-primary);--border-color:var(--border-primary);--button-bg:var(--background-tertiary);--button-text:var(--foreground-primary);--button-hover-bg:var(--background-secondary);--button-border:var(--border-primary);--input-bg:var(--background-primary);--input-border:var(--border-primary);--input-focus-border:var(--accent-primary);--tree-node-bg:var(--background-secondary);--tree-node-border:var(--border-primary)}}*,:before,:after{box-sizing:border-box;margin:0;padding:0;font-family:system-ui,-apple-system,Segoe UI,Roboto,sans-serif}html{background:var(--background-primary);--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;box-sizing:border-box;width:100%;max-width:100vw;overflow-x:hidden}body{background:var(--background-primary);color:var(--foreground-primary);width:100%;margin:0;padding:0;font-family:system-ui,-apple-system,Segoe UI,Roboto,sans-serif;line-height:1.6;position:relative;overflow-x:hidden}body:before{content:"";pointer-events:none;z-index:-1;background:radial-gradient(circle,#3b82f608 0%,#0000 70%);width:100%;height:100%;position:fixed;top:0;left:0}h1{text-align:center;color:var(--foreground-primary);margin:0;padding:1rem 0 .5rem;font-size:2.5rem;font-weight:700;line-height:1.2}h2{text-align:center;color:var(--foreground-primary);margin:0;padding:1rem 0 .5rem;font-size:2rem;font-weight:600;line-height:1.3}h3{color:var(--foreground-primary);margin:1rem 0 .5rem;padding:0 0 .5rem;font-size:1.5rem;font-weight:600;line-height:1.4}section{text-align:center;width:100%;max-width:1200px;margin:0 auto;padding:2rem 1rem}section h3:not(:first-child){margin-top:2rem;padding-top:2rem}section p{color:var(--foreground-secondary);max-width:65ch;margin:0 auto;padding:.5rem 0;line-height:1.7}p{color:var(--foreground-secondary);padding:.5rem 0;line-height:1.7}a{color:var(--text-color);cursor:pointer;text-decoration:underline;transition:opacity .2s}a:hover{opacity:1}a:focus{outline:none}ul{padding-left:30px}li{color:var(--text-color);padding:5px}table{border-collapse:collapse;margin:auto}th,td{text-align:center;border:1px solid var(--table-border);color:var(--text-color);padding:15px}td.true{background:var(--table-true-bg)}td.false{background:var(--table-false-bg)}.truth-table{border-collapse:separate;border-spacing:0;border:1px solid var(--border-primary);background:var(--background-primary);box-sizing:border-box;table-layout:fixed;border-radius:.5rem;width:100%;max-width:100%;margin:1rem 0}.truth-table th{background:var(--background-secondary);color:var(--foreground-primary);border-right:1px solid var(--border-primary);border-bottom:1px solid var(--border-primary);text-align:center;word-wrap:break-word;overflow-wrap:break-word;-webkit-hyphens:none;hyphens:none;vertical-align:middle;padding:1rem;font-size:.95rem;font-weight:700}.truth-table th:last-child{border-right:none}.truth-table td{border-right:1px solid var(--border-primary);border-bottom:1px solid var(--border-primary);background:var(--background-primary);color:var(--foreground-primary);text-align:center;padding:.75rem;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-size:.9rem}.truth-table td:last-child{border-right:none}.truth-table tr:last-child td{border-bottom:none}.truth-table td.cell-true{background:var(--table-true-bg);color:var(--success-primary);font-weight:600}.truth-table td.cell-false{background:var(--table-false-bg);color:var(--danger-primary);font-weight:600}.tooltip-container{margin-left:.5rem;display:inline-block;position:relative;overflow:visible}.tooltip-icon{color:var(--foreground-tertiary);cursor:help;font-size:.875rem;transition:color .15s}.tooltip-icon:hover{color:var(--accent-primary)}.tooltip-content{visibility:hidden;opacity:0;z-index:9999;background:var(--background-elevated);color:var(--foreground-primary);text-align:left;border:1px solid var(--border-primary);min-width:200px;max-width:280px;box-shadow:var(--boxShadowMedium);pointer-events:none;white-space:normal;word-wrap:break-word;border-radius:.5rem;padding:.875rem;font-size:.875rem;line-height:1.4;transition:all .15s;position:absolute;bottom:calc(100% + 10px);left:50%;transform:translate(-50%)}.tooltip-content:before{content:"";border-style:solid;border-width:6px;border-color:var(--border-primary)transparent transparent transparent;margin-left:-6px;position:absolute;top:100%;left:50%}.tooltip-content:after{content:"";border-style:solid;border-width:5px;border-color:var(--background-elevated)transparent transparent transparent;margin-left:-5px;position:absolute;top:100%;left:50%}.tooltip-container:hover .tooltip-content{visibility:visible;opacity:1;transition-delay:0s}.main-content{box-sizing:border-box;width:100%;max-width:100vw;min-height:100vh;overflow-x:hidden}.left-align{text-align:left}.center{text-align:center}.error-color{color:var(--error-color)}.error-msg{color:var(--error-color);text-align:center}.error-input{border-color:var(--error-color)!important}.hide{display:none}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes slideDown{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}@keyframes cardFadeIn{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}.cards-grid{box-sizing:border-box;grid-template-columns:repeat(2,1fr);gap:1.5rem;width:100%;max-width:1400px;margin:4rem auto;padding:0 1.5rem;display:grid}@media (max-width:768px){.cards-grid{grid-template-columns:1fr;gap:1.5rem;margin:3rem auto;padding:0 1rem}}@media (max-width:480px){.cards-grid{gap:1rem;margin:2rem auto;padding:0 .75rem}}.button-container{flex-wrap:wrap;justify-content:center;align-items:center;gap:1rem;margin:1rem 0;display:flex}.submit{background:var(--accent-primary);color:var(--accent-contrast);border:1px solid var(--accent-primary);cursor:pointer;border-radius:.5rem;justify-content:center;align-items:center;padding:.75rem 1.5rem;font-size:.9rem;font-weight:600;text-decoration:none;transition:all .2s;display:inline-flex}.submit:hover{background:var(--accent-primary-hover);border-color:var(--accent-primary-hover)}.submit:disabled{opacity:.6;cursor:not-allowed}.guide-step{background:var(--background-tertiary);color:var(--foreground-primary);border:1px solid var(--border-primary);cursor:pointer;border-radius:.5rem;justify-content:center;align-items:center;margin:.25rem;padding:.75rem 1rem;font-size:.875rem;font-weight:500;text-decoration:none;transition:all .2s;display:inline-flex}.guide-step:hover{background:var(--background-secondary);border-color:var(--accent-primary)}.guide-step p{margin:0;line-height:1.4}.expression-tree{width:100%;margin:15px 0}.tree-header{text-align:left;margin-bottom:12px}.tree-header h4{color:var(--foreground-primary);margin:0;font-size:1.1rem;font-weight:600}.tree-container{background:var(--background-secondary);border:1px solid var(--border-primary);border-radius:8px;width:100%;min-height:150px;padding:15px;position:relative;overflow:auto}.tree-container.visual-view{justify-content:center;align-items:center;display:flex}@media (max-width:1024px){h1{padding:.875rem 0 .5rem;font-size:2rem}h2{padding:.875rem 0 .5rem;font-size:1.75rem}section{padding:1.75rem 1rem}}@media (max-width:768px){h1{padding:.75rem 0 .5rem;font-size:1.875rem;line-height:1.15}h2{padding:.75rem 0 .5rem;font-size:1.5rem;line-height:1.25}h3{margin:.875rem 0 .5rem;padding:0 0 .5rem;font-size:1.375rem}section{padding:1.5rem 1rem}section p,p{padding:.375rem 0;font-size:.9375rem;line-height:1.6}.expression-tree{margin:.75rem 0}.tree-container{border-radius:.5rem;min-height:140px;padding:14px}.tree-header h4{margin-bottom:.75rem;font-size:1.0625rem}.button-container{gap:.75rem;margin:.875rem 0;padding:0 .5rem}.submit{border-radius:.5625rem;min-height:48px;padding:.8125rem 1.5rem;font-size:.9375rem}.guide-step{border-radius:.5rem;min-height:44px;margin:.375rem .25rem;padding:.8125rem 1rem;font-size:.875rem}a{align-items:center;min-height:24px;display:inline-flex}.truth-table{border-radius:.5rem;font-size:.875rem;overflow:hidden}.truth-table th,.truth-table td{padding:.75rem .5rem;font-size:.8125rem}}@media (max-width:640px){h1{padding:.625rem 0 .5rem;font-size:1.75rem}h2{padding:.625rem 0 .5rem;font-size:1.375rem}section{padding:1.25rem .875rem}section p{max-width:100%;font-size:.875rem}.tree-container{border-left:none;border-right:none;border-radius:0;min-height:120px;margin:0 -.375rem;padding:10px}.button-container{flex-direction:column;align-items:stretch;gap:.625rem;padding:0 .75rem}.submit,.guide-step{justify-content:center;width:100%;margin:0}}@media (max-width:480px){h1{font-size:1.625rem;line-height:1.1}h2{font-size:1.25rem;line-height:1.2}h3{font-size:1.1875rem}section{padding:1rem .75rem}section p,p{padding:.25rem 0;font-size:.8125rem}.button-container{gap:.5rem;padding:0 .5rem}.submit{min-height:44px;padding:.75rem 1.25rem;font-size:.875rem}.guide-step{min-height:40px;padding:.75rem .875rem;font-size:.8125rem}.tree-container{min-height:100px;padding:8px}.tree-header h4{font-size:.9375rem}}.tree-container::-webkit-scrollbar{width:6px;height:6px}.tree-container::-webkit-scrollbar-track{background:var(--background-tertiary)}.tree-container::-webkit-scrollbar-thumb{background:var(--border-primary);border-radius:3px}.tree-container::-webkit-scrollbar-thumb:hover{background:var(--foreground-tertiary)}[data-dir=rtl]{direction:rtl}[data-dir=rtl] .main-content{text-align:right}[data-dir=rtl] .flex-row{flex-direction:row-reverse}[data-dir=rtl] .flex-row-reverse{flex-direction:row}[data-dir=rtl] button{text-align:right}[data-dir=rtl] .button-with-icon{flex-direction:row-reverse}[data-dir=rtl] .margin-left{margin-left:0;margin-right:var(--margin-value,1rem)}[data-dir=rtl] .margin-right{margin-right:0;margin-left:var(--margin-value,1rem)}[data-dir=rtl] .padding-left{padding-left:0;padding-right:var(--padding-value,1rem)}[data-dir=rtl] .padding-right{padding-right:0;padding-left:var(--padding-value,1rem)}[data-dir=rtl] .text-left{text-align:right}[data-dir=rtl] .text-right{text-align:left}[data-dir=rtl] .border-radius-left{border-top-left-radius:0;border-bottom-left-radius:0;border-top-right-radius:var(--border-radius,.5rem);border-bottom-right-radius:var(--border-radius,.5rem)}[data-dir=rtl] .border-radius-right{border-top-right-radius:0;border-bottom-right-radius:0;border-top-left-radius:var(--border-radius,.5rem);border-bottom-left-radius:var(--border-radius,.5rem)}[data-dir=rtl] .transform-translate-x{transform:translateX(calc(-1*var(--translate-x,0)))}[data-dir=rtl] .position-left{left:auto;right:var(--position-value,0)}[data-dir=rtl] .position-right{right:auto;left:var(--position-value,0)}.donate-overlay{-webkit-backdrop-filter:blur(8px);z-index:9999;background:#0009;justify-content:center;align-items:center;padding:1rem;display:flex;position:fixed;inset:0}.donate-popup{background:var(--background-primary);-webkit-backdrop-filter:blur(40px)saturate(180%);border:1px solid var(--border-primary);box-shadow:0 20px 60px #0000004d,0 0 0 1px var(--border-secondary)inset;text-align:center;border-radius:16px;width:500px;max-width:90vw;padding:2rem}.donate-popup h3{color:var(--foreground-primary);margin:0 0 1rem;padding:0;font-size:1.5rem}.donate-popup p{color:var(--foreground-secondary);margin:0 0 1.5rem;line-height:1.6}.donate-popup .button-container{justify-content:center;gap:.75rem;margin:0;display:flex}.donate-popup-button{background:var(--accent-primary);color:var(--accent-contrast);border:1px solid var(--accent-primary);cursor:pointer;border-radius:.5rem;justify-content:center;align-items:center;min-height:44px;padding:.75rem 1.5rem;font-size:.9rem;font-weight:600;text-decoration:none;transition:all .2s;display:inline-flex}.donate-popup-button:hover{background:var(--accent-primary-hover);border-color:var(--accent-primary-hover);opacity:1}.donate-popup-button.secondary{background:var(--background-tertiary);color:var(--foreground-primary);border-color:var(--border-primary)}.donate-popup-button.secondary:hover{background:var(--background-secondary);border-color:var(--accent-primary)}.donation-progress{background:var(--background-elevated);border:1px solid var(--accent-primary);text-align:center;z-index:1000;border-radius:.75rem;width:500px;max-width:90vw;padding:1rem 3rem 1rem 1.5rem;animation:.3s ease-out slideUp;position:fixed;bottom:2rem;left:50%;transform:translate(-50%);box-shadow:0 8px 24px #00000026,inset 0 0 0 1px #3b82f61a}.donation-progress-close{color:var(--foreground-secondary);cursor:pointer;background:0 0;border:none;justify-content:center;align-items:center;padding:.25rem;font-size:1.25rem;line-height:1;transition:color .2s;display:flex;position:absolute;top:.75rem;right:.75rem}.donation-progress-close:hover{color:var(--foreground-primary)}@keyframes slideUp{0%{opacity:0;transform:translate(-50%)translateY(20px)}to{opacity:1;transform:translate(-50%)translateY(0)}}.donation-progress-text{color:var(--foreground-primary);margin-bottom:.5rem;font-weight:600}.donate-hint{color:var(--accent-primary);font-weight:600;text-decoration:none}.donate-hint:hover{text-decoration:underline}@media (max-width:640px){.donate-popup{width:calc(100vw - 2rem);padding:1.5rem}.donate-popup .button-container{flex-direction:column;gap:.5rem}.donate-popup-button{width:100%}.donation-progress{width:calc(100vw - 2rem);padding:.875rem 1rem;bottom:1rem}}