@import "https://fonts.googleapis.com/css2?family=Doto&family=Pixelify+Sans&family=Space+Mono:wght@400;700&display=swap";
:root{--ba-background:var(--color-background);--ba-foreground:var(--color-foreground);--ba-muted:var(--color-muted);--ba-muted-foreground:var(--color-muted-foreground);--ba-border:var(--color-border);--ba-primary:var(--color-primary);--ba-primary-foreground:var(--color-primary-foreground);--ba-secondary:var(--color-secondary);--ba-secondary-foreground:var(--color-secondary-foreground);--ba-accent:var(--color-accent);--ba-accent-foreground:var(--color-accent-foreground);--ba-expression-bg:var(--ba-muted,.5);--ba-expression-preview-bg:var(--ba-muted,.5);--ba-expression-result-bg:var(--ba-muted);--ba-expression-text:var(--ba-foreground);--ba-expression-placeholder:var(--ba-muted-foreground);--ba-step-bg:transparent;--ba-step-border:var(--ba-border);--ba-step-text:var(--ba-foreground);--ba-rule-description-bg:#f3faff4d;--ba-rule-description-border:transparent;--ba-rule-description-text:var(--ba-foreground);--ba-formula-bg:#f2f6f833;--ba-formula-border:transparent;--ba-formula-text:var(--ba-foreground);--ba-success-bg:#eaf6ea33;--ba-success-border:#beedbeb3;--ba-success-text:#00590e;--ba-kmap-bg:var(--ba-background);--ba-kmap-cell-bg:var(--ba-muted);--ba-kmap-cell-text-1:var(--ba-primary);--ba-kmap-cell-text-0:var(--ba-muted-foreground);--ba-kmap-header-bg:var(--ba-secondary);--ba-kmap-header-text:var(--ba-secondary-foreground);--ba-kmap-axis-line:var(--ba-primary);--ba-kmap-corner-diagonal:var(--ba-muted-foreground);--ba-kmap-group-border:var(--ba-border);--ba-venn-bg:var(--ba-muted);--ba-venn-stroke:var(--ba-border);--ba-venn-region-a:var(--color-chart-1);--ba-venn-region-b:var(--color-chart-2);--ba-venn-region-c:var(--color-chart-3);--ba-venn-region-intersection:var(--color-chart-4);--ba-truth-table-bg:var(--ba-background);--ba-truth-table-border:var(--ba-border);--ba-truth-table-header-bg:var(--ba-muted);--ba-truth-table-header-text:var(--ba-foreground);--ba-truth-table-cell-text:var(--ba-foreground);--ba-loading-bg:var(--ba-background);--ba-loading-text:var(--ba-muted-foreground);--ba-error-bg:var(--error-bg);--ba-error-border:var(--error-border);--ba-error-text:var(--error-text);--ba-error-text-strong:var(--error-text-strong);--ba-error-icon:var(--error-icon);--ba-card-bg:var(--color-card);--ba-card-foreground:var(--color-card-foreground);--ba-card-border:var(--ba-border);--ba-tab-bg:var(--ba-muted,.5);--ba-tab-active-bg:var(--ba-background);--ba-tab-active-text:var(--ba-foreground);--ba-tab-inactive-text:var(--ba-muted-foreground);--ba-debug-bg:#e6f4fe80;--ba-debug-border:#c1e3fcb3;--ba-debug-text:#49677d;--ba-fullscreen-bg:var(--ba-background);--ba-fullscreen-text:var(--ba-foreground);--ba-fullscreen-muted:var(--ba-muted-foreground);--ba-fullscreen-accent:var(--ba-accent-foreground)}@supports (color:lab(0% 0 0)){:root{--ba-rule-description-bg:lab(97.6956% -1.63329 -3.29721/.3);--ba-formula-bg:lab(96.5281% -.82311 -1.65222/.2);--ba-success-bg:lab(95.6241% -5.58889 4.33286/.2);--ba-success-border:lab(89.4258% -22.3607 17.6499/.7);--ba-success-text:lab(32.1129% -42.5162 39.2515);--ba-debug-bg:lab(95.3885% -3.21209 -6.56531/.5);--ba-debug-border:lab(88.4487% -7.57024 -16.2022/.7);--ba-debug-text:lab(42.0187% -6.94659 -15.9822)}}.dark{--ba-background:var(--color-background);--ba-foreground:var(--color-foreground);--ba-muted:var(--color-muted);--ba-muted-foreground:var(--color-muted-foreground);--ba-border:var(--color-border);--ba-primary:var(--color-primary);--ba-primary-foreground:var(--color-primary-foreground);--ba-secondary:var(--color-secondary);--ba-secondary-foreground:var(--color-secondary-foreground);--ba-accent:var(--color-accent);--ba-accent-foreground:var(--color-accent-foreground);--ba-expression-bg:var(--ba-muted,.5);--ba-expression-preview-bg:var(--ba-muted,.5);--ba-expression-result-bg:var(--ba-muted);--ba-step-bg:transparent;--ba-rule-description-bg:#03060966;--ba-rule-description-border:transparent;--ba-rule-description-text:var(--ba-foreground);--ba-formula-bg:#090b0d4d;--ba-formula-border:transparent;--ba-formula-text:var(--ba-foreground);--ba-success-bg:#060d064d;--ba-success-border:#002b0580;--ba-success-text:#5bb661;--ba-debug-bg:#0e171e66;--ba-debug-border:#13314499;--ba-debug-text:#6fa5cb}@supports (color:lab(0% 0 0)){.dark{--ba-rule-description-bg:lab(1.56292% -.472337 -1.23248/.4);--ba-formula-bg:lab(3.05195% -.409506 -.906718/.3);--ba-success-bg:lab(3.18283% -2.80908 2.08293/.3);--ba-success-border:lab(13.9332% -22.5712 17.761/.5);--ba-success-text:lab(67.0254% -42.0639 34.724);--ba-debug-bg:lab(7.23336% -2.52666 -6.34827/.4);--ba-debug-border:lab(18.7717% -5.93972 -15.7322/.6);--ba-debug-text:lab(65.2141% -10.7808 -25.4743)}}.ba-tab-bg{background-color:var(--ba-tab-bg)}.ba-tab-active{background-color:var(--ba-tab-active-bg);color:var(--ba-tab-active-text)}.ba-tab-inactive{color:var(--ba-tab-inactive-text)}.ba-fullscreen{background-color:var(--ba-fullscreen-bg,#000000b3)}.ba-expression-preview{background-color:var(--ba-expression-preview-bg);border-color:var(--ba-border)}.ba-expression-result{background-color:var(--ba-expression-result-bg);border-color:var(--ba-border)}.ba-step-card{background-color:var(--ba-step-bg);border:1px solid var(--ba-step-border);color:var(--ba-step-text)}.ba-rule-description{background-color:var(--ba-rule-description-bg);color:var(--ba-rule-description-text);border-radius:.375rem;padding:.75rem}.ba-formula-section{background-color:var(--ba-formula-bg);color:var(--ba-formula-text);border-radius:.375rem;padding:.75rem}.ba-success-result{background-color:var(--ba-success-bg);border-color:var(--ba-success-border);color:var(--ba-success-text)}.ba-kmap-cell{background-color:var(--ba-kmap-cell-bg);border-color:var(--ba-kmap-group-border);color:var(--ba-kmap-cell-text-0)}.ba-kmap-cell--active{color:var(--ba-kmap-cell-text-1)}.ba-kmap-header{background-color:var(--ba-kmap-header-bg);color:var(--ba-kmap-header-text)}.ba-kmap-axis{border-color:var(--ba-kmap-axis-line)}.ba-venn-region-a{fill:var(--ba-venn-region-a)}.ba-venn-region-b{fill:var(--ba-venn-region-b)}.ba-venn-region-c{fill:var(--ba-venn-region-c)}.ba-venn-intersection{fill:var(--ba-venn-region-intersection)}.ba-truth-table{background-color:var(--ba-truth-table-bg);border-color:var(--ba-truth-table-border)}.ba-truth-table-header{background-color:var(--ba-truth-table-header-bg);color:var(--ba-truth-table-header-text)}.ba-truth-table-cell{color:var(--ba-truth-table-cell-text)}.ba-error{background-color:var(--ba-error-bg);border-color:var(--ba-error-border);color:var(--ba-error-text)}.ba-error--strong{color:var(--ba-error-text-strong)}.ba-error-icon{color:var(--ba-error-icon)}.ba-loading{background-color:var(--ba-loading-bg);color:var(--ba-loading-text)}.ba-debug{background-color:var(--ba-debug-bg);border-color:var(--ba-debug-border);color:var(--ba-debug-text)}.ba-fullscreen{background-color:var(--ba-fullscreen-bg);color:var(--ba-fullscreen-text)}.ba-fullscreen-muted{color:var(--ba-fullscreen-muted)}.ba-fullscreen-accent{color:var(--ba-fullscreen-accent)}.ba-focus:focus-visible{outline:2px solid var(--ba-primary);outline-offset:2px}@media (prefers-contrast:high){:root{--ba-border:#636363;--ba-primary:#161616;--ba-muted-foreground:#2e2e2e}@supports (color:lab(0% 0 0)){:root{--ba-border:lab(42% 0 0);--ba-primary:lab(7.22637% -.0000149012 0);--ba-muted-foreground:lab(18.8% 0 0)}}}@media (prefers-reduced-motion:reduce){.ba-transition-colors{transition:none}}.ba-text-primary{color:var(--ba-primary)}.ba-text-muted{color:var(--ba-muted-foreground)}.ba-text-foreground{color:var(--ba-foreground)}.ba-bg-muted{background-color:var(--ba-muted)}.ba-bg-background{background-color:var(--ba-background)}.ba-border-standard{border-color:var(--ba-border)}.ba-kmap-corner-diagonal{background-color:var(--ba-kmap-cell-bg)}.ba-kmap-corner-diagonal>div>div>div{background-color:var(--ba-kmap-corner-diagonal)}