._groupTitle_nwhf7_1{color:var(--color-text-body);font-size:var(--text-s);font-weight:var(--weight-medium);margin-bottom:var(--space-xs)}._groupContainer_nwhf7_8{display:flex;flex-wrap:wrap;gap:var(--space-xs);margin-bottom:var(--space-s)}._monospaceToken_nwhf7_15{font-family:Monospaced,monospace}._containerWrapper_q1svt_1{margin-bottom:var(--space-m)}._containerHeader_q1svt_5{display:flex;align-items:center;gap:var(--space-xs);margin-bottom:var(--space-xs)}._containerHeader_q1svt_5 h2{display:flex;gap:var(--space-xs);align-items:center;color:var(--color-text-body);font-size:var(--text-s);font-weight:var(--weight-medium);margin-right:auto;margin-bottom:0}._precedenceTooltip_q1svt_23{cursor:pointer;display:inline-flex;align-items:center}._precedenceTooltip_q1svt_23 svg{width:var(--text-m);height:var(--text-m)}._expressionContainer_q1svt_34{display:flex;flex-wrap:wrap;gap:var(--space-4xs);border:var(--border-thickness) solid var(--border-color);padding:var(--space-2xs) var(--space-xs)}._token_q1svt_42,._monospaceToken_q1svt_42,._hint_q1svt_42{color:var(--btn-outline-text-color);font-size:var(--text-s);font-weight:var(--weight-medium);background-color:var(--color-surface-secondary);border:var(--border-thickness) solid var(--border-color);border-radius:var(--border-radius);padding:var(--space-4xs) var(--space-2xs)}._monospaceToken_q1svt_42{font-family:Monospaced,monospace}._hint_q1svt_42{color:rgba(var(--color-text-body-rgb),.6);background-color:transparent;border-color:transparent}._error_q1svt_62{color:var(--color-danger);font-size:var(--text-s);margin-top:var(--space-s)}._title_l255k_1{color:var(--color-text-body);font-size:var(--text-s);font-weight:var(--weight-medium);border-top:var(--border-thickness) solid var(--border-color);padding-top:var(--space-s);margin-bottom:var(--space-s)}._variableContainer_l255k_10{display:flex;flex-wrap:wrap;gap:var(--space-l);margin-bottom:var(--space-s)}._variable_l255k_10{display:flex;align-items:center;gap:var(--space-2xs)}._displayContainer_tkdyf_1{display:flex;flex-direction:column;background-color:var(--color-surface-primary);padding:var(--space-m) var(--space-l);box-shadow:0 2px 8px #0000001a}._evaluationHeader_tkdyf_9{display:flex;align-items:center;gap:var(--space-2xs);border-bottom:var(--border-thickness) solid var(--border-color);padding-bottom:var(--space-xs)}._evaluationHeader_tkdyf_9 h2{flex:1;font-size:var(--text-l);font-weight:var(--weight-semibold);margin-bottom:0}._evaluationHeader_tkdyf_9 input[type=checkbox]{cursor:pointer;accent-color:var(--color-primary)}._evaluationHeader_tkdyf_9 label{cursor:pointer}._stepsList_tkdyf_33{display:flex;flex-direction:column;gap:var(--space-s);border-bottom:var(--border-thickness) solid var(--border-color);padding-bottom:var(--space-m);margin-top:var(--space-m)}._stepContainer_tkdyf_42{display:flex;flex-direction:column;gap:var(--space-2xs);font-size:var(--text-s);font-weight:var(--weight-semibold);color:var(--color-primary);padding-left:var(--space-xs);border-left:3px solid var(--color-primary)}._step_tkdyf_33{color:var(--color-text-title);font-weight:var(--weight-regular);background-color:var(--color-surface-secondary);padding:var(--space-2xs) var(--space-xs);border:var(--border-thickness) solid var(--border-color)}._trueResult_tkdyf_61,._falseResult_tkdyf_61{font-size:var(--text-xl);font-weight:var(--weight-semibold);text-align:center;text-transform:uppercase;margin-top:var(--space-s)}._trueResult_tkdyf_61{color:var(--color-success)}._falseResult_tkdyf_61{color:var(--color-danger)}._displayContainer_j5m69_1{display:flex;flex-direction:column;background-color:var(--color-surface-primary);padding:var(--space-m) var(--space-l);box-shadow:0 2px 8px #0000001a}._tableHeader_j5m69_9{display:flex;align-items:center;gap:var(--space-2xs);border-bottom:var(--border-thickness) solid var(--border-color);padding-bottom:var(--space-xs)}._tableHeader_j5m69_9 h2{flex:1;font-size:var(--text-l);font-weight:var(--weight-semibold);margin-bottom:0}._tableHeader_j5m69_9 input[type=checkbox]{cursor:pointer;accent-color:var(--color-primary)}._tableHeader_j5m69_9 label{cursor:pointer;border-right:var(--border-thickness) solid var(--border-color);padding-right:var(--space-xs);margin-right:var(--space-3xs)}._tableHeader_j5m69_9 a{display:flex;align-items:center;gap:var(--space-3xs);color:inherit;text-decoration:none}._truthTable_j5m69_44{text-align:center;border-spacing:0;margin-top:var(--space-s)}._truthTable_j5m69_44 th{color:var(--color-text-title);font-weight:var(--weight-semibold);background-color:var(--color-surface-secondary);padding:var(--space-2xs);border-bottom:var(--border-thickness) solid var(--border-color)}._truthTable_j5m69_44 td{padding:var(--space-xs);border-bottom:var(--border-thickness) solid var(--border-color)}._truthTable_j5m69_44 tr:hover{background-color:#f9fafb}tr._trueRow_j5m69_67{color:var(--color-text-title);--green: 0, 255, 0;background-color:rgba(var(--green),.1)}tr._trueRow_j5m69_67:hover{background-color:rgba(var(--green),.18)}tr._falseRow_j5m69_77{color:var(--color-text-title);--red: 255, 0, 0;background-color:rgba(var(--red),.1)}tr._falseRow_j5m69_77:hover{background-color:rgba(var(--red),.14)}._editorWrapper_1owoe_1{width:100%;max-width:45em}._editorContainer_1owoe_6{display:flex;flex-direction:column;background-color:var(--color-surface-primary);padding:var(--space-m) var(--space-l);box-shadow:0 2px 8px #0000001a;margin-bottom:var(--space-m)}._primaryTokensContainer_1owoe_15{display:flex;flex-wrap:wrap;column-gap:var(--space-xl)}._editorButtons_1owoe_21{display:flex;flex-wrap:wrap;align-items:center;justify-content:flex-start;gap:var(--space-xs);border-top:var(--border-thickness) solid var(--border-color);padding-top:var(--space-s)}._editorButtons_1owoe_21 button{display:flex;align-items:center;justify-content:center;gap:var(--space-2xs)}._editorButtons_1owoe_21 button svg{width:1.2em;height:1.2em}.page-wrapper[data-astro-cid-nmyy7qaa]{min-height:100vh;display:flex;justify-content:center;background-image:url(/LogicLab/deco_square.svg);background-repeat:round}section[data-astro-cid-nmyy7qaa]{padding:var(--space-l) var(--space-2xl);background-color:var(--color-background)}h1[data-astro-cid-nmyy7qaa]{font-size:var(--text-xl);margin-bottom:var(--space-xs)}p[data-astro-cid-nmyy7qaa]{font-size:var(--text-m);margin-bottom:var(--space-m)}