._navbar_9njhv_5{display:flex;justify-content:space-between;align-items:center;padding:16px 24px;background-color:transparent;height:60px;position:relative;z-index:10;overflow-x:auto;overflow-y:hidden}._left_9njhv_31{display:flex;align-items:center;gap:12px;flex-shrink:0}._title_9njhv_45{font-size:18px;font-weight:700;color:#8b5cf6;margin:0;white-space:nowrap}._right_9njhv_61{display:flex;align-items:center;gap:24px;flex-shrink:0}._resetButton_9njhv_75{padding:8px 16px;background-color:transparent;color:#8b5cf6;font-size:14px;font-weight:500;border:1px solid #8B5CF6;border-radius:8px;cursor:pointer;transition:all .2s ease}._resetButton_9njhv_75:hover{background-color:#8b5cf626}._resultBadge_9njhv_107{padding:6px 12px;font-size:13px;font-weight:600;border-radius:6px;text-transform:uppercase;letter-spacing:.5px}._resultBadge_9njhv_107._satisfiable_9njhv_125{color:#22c55e;background-color:#22c55e1a;border:1px solid rgba(34,197,94,.3)}._resultBadge_9njhv_107._unsatisfiable_9njhv_137{color:#ef4444;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3)}._resultBadge_9njhv_107._valid_9njhv_149{color:#22c55e;background-color:#22c55e1a;border:1px solid rgba(34,197,94,.3)}._resultBadge_9njhv_107._invalid_9njhv_161,._resultBadge_9njhv_107._contradiction_9njhv_173{color:#ef4444;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3)}._aboutLink_9njhv_185{color:#8b5cf6;text-decoration:none;font-size:14px;font-weight:500}._aboutLink_9njhv_185:hover{text-decoration:underline}@media (max-width: 768px){._navbar_9njhv_5{padding:12px 16px}._title_9njhv_45{font-size:16px}._right_9njhv_61{gap:12px}._resetButton_9njhv_75{font-size:13px;padding:6px 12px}}._scrambleText_1qtud_5{display:inline-block;white-space:pre;font-variant-numeric:tabular-nums}._scrambleText_1qtud_5._animating_1qtud_19{font-family:Courier New,Courier,monospace;letter-spacing:.02em}._container_y5vqw_5{display:flex;flex-direction:column;align-items:center;gap:12px;text-align:center;min-height:140px;justify-content:center}._title_y5vqw_25{font-size:clamp(2.2rem,5vw,3.8rem);font-weight:700;color:#8b5cf6;margin:0;transition:opacity .2s ease;animation:_softGlow_y5vqw_1 3s ease-in-out infinite;min-height:60px;display:flex;align-items:center}@keyframes _softGlow_y5vqw_1{0%,to{text-shadow:0 0 10px rgba(139,92,246,.3),0 0 20px rgba(139,92,246,.2),0 0 30px rgba(139,92,246,.1)}50%{text-shadow:0 0 20px rgba(139,92,246,.5),0 0 30px rgba(139,92,246,.3),0 0 40px rgba(139,92,246,.2)}}._subtitle_y5vqw_75{font-size:clamp(.9rem,2vw,1.15rem);font-weight:400;color:#ffffff8c;margin:0;transition:opacity .2s ease;display:flex;align-items:center;gap:8px;min-height:48px;justify-content:center}._orderBox_y5vqw_103{display:inline-flex;align-items:center;justify-content:center;width:36px;height:36px;border-radius:6px;border:1px solid rgba(139,92,246,.3);background:transparent;transition:all .15s ease;cursor:text;position:relative}._orderBox_y5vqw_103:hover{border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf640}._orderBox_y5vqw_103:focus-within{border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf640}._orderBoxError_y5vqw_153{border-color:#ef4444}._orderBoxError_y5vqw_153:hover,._orderBoxError_y5vqw_153:focus-within{border-color:#ef4444;box-shadow:0 0 0 2px #ef444440}._orderBoxError_y5vqw_153 ._orderInput_y5vqw_173{color:#ef4444}._orderInput_y5vqw_173{width:100%;height:100%;padding:0;margin:0;border:none;background:transparent;color:#8b5cf6;font-size:1rem;font-weight:600;text-align:center;outline:none;cursor:text}._orderInput_y5vqw_173::-webkit-inner-spin-button,._orderInput_y5vqw_173::-webkit-outer-spin-button{-webkit-appearance:none;margin:0}._orderInput_y5vqw_173[type=number]{-moz-appearance:textfield}._fadeOut_y5vqw_235{opacity:0}._fadeIn_y5vqw_243{opacity:1}._subtitle_y5vqw_75._fadeOut_y5vqw_235{opacity:0}._subtitle_y5vqw_75._fadeIn_y5vqw_243{opacity:1}._orderLabel_y5vqw_269{font-weight:700}._container_y867i_5{position:relative;width:min(680px,90vw);height:56px;background-color:#0f0f0f;border:1px solid #222222;border-radius:9999px;padding:14px 20px;display:flex;align-items:center;gap:12px;transition:all .2s ease}._container_y867i_5:focus-within{border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf640}._input_y867i_43{flex:1;background:transparent;border:none;outline:none;color:#fff;font-size:15px;font-family:inherit;caret-color:#8b5cf6}._input_y867i_43::-moz-placeholder{color:#ffffff73}._input_y867i_43::placeholder{color:#ffffff73}._sendButton_y867i_75{width:32px;height:32px;min-width:32px;min-height:32px;background-color:#8b5cf6;border:none;border-radius:50%;display:flex;align-items:center;justify-content:center;cursor:pointer;padding:0;transition:all .15s ease;animation:_scaleIn_y867i_1 .15s ease}._sendButton_y867i_75:hover{background-color:#7c3aed;transform:scale(1.05)}._sendButton_y867i_75:active{transform:scale(.95)}._arrow_y867i_129{width:16px;height:16px;color:#fff}@keyframes _scaleIn_y867i_1{0%{transform:scale(0);opacity:0}to{transform:scale(1);opacity:1}}@media (max-width: 480px){._container_y867i_5{width:95vw;height:52px;padding:12px 18px}._input_y867i_43{font-size:14px}._sendButton_y867i_75{width:28px;height:28px;min-width:28px;min-height:28px}._arrow_y867i_129{width:14px;height:14px}}._container_1gjxe_5{flex:1;display:flex;align-items:center;justify-content:center;background-color:transparent;overflow:hidden;position:relative}._svg_1gjxe_25{width:100%;height:100%;cursor:grab;-webkit-user-select:none;-moz-user-select:none;user-select:none;background:transparent}._svg_1gjxe_25:active{cursor:grabbing}._hint_1gjxe_49{position:absolute;bottom:16px;left:50%;transform:translate(-50%);padding:8px 16px;background-color:#000000b3;color:var(--text-muted);font-size:12px;border-radius:4px;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;opacity:.6;transition:opacity .3s}._container_1gjxe_5:hover ._hint_1gjxe_49{opacity:.9}._emptyState_1gjxe_91{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:var(--spacing-md);padding:var(--spacing-xl);text-align:center}._emptyIcon_1gjxe_111{font-size:64px;opacity:.3}._emptyTitle_1gjxe_121{font-size:20px;font-weight:600;color:var(--text-primary)}._emptyText_1gjxe_133{font-size:14px;color:var(--text-muted);max-width:400px;line-height:1.6}._node_pokp2_5{transition:all .3s ease}._nodeRect_pokp2_13{fill:#0d0d0d;stroke:#8b5cf6;stroke-width:2;filter:drop-shadow(0 0 8px rgba(139,92,246,.6));animation:_purpleGlow_pokp2_1 4s ease-in-out infinite;transition:all .3s ease}@keyframes _purpleGlow_pokp2_1{0%,to{filter:drop-shadow(0 0 8px rgba(139,92,246,.5))}50%{filter:drop-shadow(0 0 14px rgba(139,92,246,.8))}}._nodeRect_pokp2_13._highlighted_pokp2_49{stroke:#8b5cf6;stroke-width:3;filter:drop-shadow(0 0 20px rgba(139,92,246,1))}._keySlot_pokp2_61{fill:#0d0d0d;stroke:#2a2a3a;stroke-width:1}._pointerSlot_pokp2_73{fill:#111128;stroke:#2a2a3a;stroke-width:1}._keyText_pokp2_85{fill:#fff;font-family:var(--font-mono);font-size:14px;font-weight:500;text-anchor:middle;dominant-baseline:middle;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}._keyText_pokp2_85._highlightedKey_pokp2_107{fill:var(--accent-orange);font-weight:700;font-size:15px}._leafLabel_pokp2_119{fill:var(--text-muted);font-size:10px;font-family:var(--font-body);text-anchor:middle;opacity:.6;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}._edge_2ho97_5{stroke:var(--edge-color);stroke-width:2;fill:none;transition:stroke .3s ease}._leafPointer_2ho97_19{stroke:var(--accent-green);stroke-width:2;stroke-dasharray:5,5;fill:none;transition:stroke .3s ease}._panel_1ia0d_5{width:280px;background-color:#0a0a0a;border-left:1px solid #1a1a1a;padding:var(--spacing-lg);overflow-y:auto;display:flex;flex-direction:column;gap:var(--spacing-xl);height:100%}._section_1ia0d_29{display:flex;flex-direction:column;gap:var(--spacing-md)}._sectionTitle_1ia0d_41{font-size:.7rem;font-weight:600;color:#8b5cf6;text-transform:uppercase;letter-spacing:.1em;margin-bottom:var(--spacing-xs)}._input_1ia0d_59{padding:10px 12px;background-color:#0f0f0f;border:1px solid #222;border-radius:8px;color:#fff;font-size:14px;transition:all .2s ease}._input_1ia0d_59:focus{outline:none;border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf633}._input_1ia0d_59::-moz-placeholder{color:#ffffff59}._input_1ia0d_59::placeholder{color:#ffffff59}._button_1ia0d_99{padding:10px 16px;background-color:#8b5cf6;color:#fff;font-size:14px;font-weight:600;border:none;border-radius:8px;cursor:pointer;transition:all .2s ease}._button_1ia0d_99:hover:not(:disabled){background-color:#6d3fd4}._button_1ia0d_99:active:not(:disabled){transform:scale(.98)}._button_1ia0d_99:disabled{opacity:.4;cursor:not-allowed}._deleteButton_1ia0d_151{padding:10px 16px;background-color:transparent;color:#8b5cf6;font-size:14px;font-weight:600;border:1px solid #8B5CF6;border-radius:8px;cursor:pointer;transition:all .2s ease}._deleteButton_1ia0d_151:hover:not(:disabled){background-color:#8b5cf626}._deleteButton_1ia0d_151:active:not(:disabled){transform:scale(.98)}._deleteButton_1ia0d_151:disabled{opacity:.4;cursor:not-allowed}._info_1ia0d_201{display:flex;flex-direction:column;gap:var(--spacing-sm);padding:var(--spacing-md);background-color:transparent;border-radius:8px;border:1px solid #1a1a1a}._infoRow_1ia0d_221{display:flex;justify-content:space-between;align-items:center;font-size:14px}._infoRow_1ia0d_221 span:first-child{color:#ffffff80}._infoRow_1ia0d_221 span:last-child{color:#8b5cf6;font-weight:600;font-family:var(--font-mono)}@media (max-width: 768px){._panel_1ia0d_5{width:100%;border-left:none;border-top:1px solid #1a1a1a;height:auto;max-height:none}}._container_9p2p2_5{display:flex;flex-direction:column;height:100vh;overflow:hidden;background-color:#000;position:relative}._landingCenter_9p2p2_25{position:absolute;top:45%;left:50%;transform:translate(-50%,-50%);z-index:5;display:flex;flex-direction:column;align-items:center;gap:32px;width:90%;max-width:800px;animation:_swipeUp_9p2p2_1 .6s ease-out}@keyframes _swipeUp_9p2p2_1{0%{opacity:0;transform:translate(-50%,-45%)}to{opacity:1;transform:translate(-50%,-50%)}}._credit_9p2p2_77{font-size:.9rem;color:#ffffff59;margin-top:16px}._mainContent_9p2p2_89{display:flex;flex:1;overflow:hidden;position:relative;padding-left:80px}._placeholder_9p2p2_105{flex:1;display:flex;align-items:center;justify-content:center;flex-direction:column;gap:var(--spacing-md);color:var(--text-muted);padding:var(--spacing-xl);text-align:center}._placeholderTitle_9p2p2_129{font-size:24px;color:var(--text-primary)}._placeholderText_9p2p2_139{font-size:16px;max-width:500px}._desktopPanel_9p2p2_151{display:block}._mobileToggle_9p2p2_161{display:none;position:fixed;bottom:88px;right:16px;width:56px;height:56px;border-radius:50%;background-color:var(--accent-blue);color:var(--text-primary);font-size:24px;border:none;box-shadow:0 4px 12px #0006;cursor:pointer;z-index:200;transition:all .2s}._mobileToggle_9p2p2_161:hover{background-color:#3d7de0;transform:scale(1.05)}._mobileToggle_9p2p2_161:active{transform:scale(.95)}._overlay_9p2p2_217{display:none;position:fixed;top:0;left:0;right:0;bottom:0;background-color:#000000b3;z-index:300;animation:_fadeIn_9p2p2_1 .2s ease-out}._bottomSheet_9p2p2_243{display:none;position:fixed;bottom:0;left:0;right:0;max-height:70vh;background-color:var(--bg-panel);border-top-left-radius:16px;border-top-right-radius:16px;box-shadow:0 -4px 24px #00000080;z-index:400;animation:_slideUp_9p2p2_1 .3s ease-out;overflow-y:auto}._sheetHeader_9p2p2_275{display:flex;justify-content:space-between;align-items:center;padding:var(--spacing-lg);border-bottom:1px solid var(--border-subtle);position:sticky;top:0;background-color:var(--bg-panel);z-index:1}._sheetTitle_9p2p2_299{font-size:18px;font-weight:600;color:var(--text-primary);margin:0}._closeButton_9p2p2_313{width:32px;height:32px;border-radius:50%;background-color:var(--bg-card);color:var(--text-primary);font-size:20px;border:none;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:background-color .2s}._closeButton_9p2p2_313:hover{background-color:var(--border-subtle)}@keyframes _fadeIn_9p2p2_1{0%{opacity:0}to{opacity:1}}@keyframes _slideUp_9p2p2_1{0%{transform:translateY(100%)}to{transform:translateY(0)}}@media (max-width: 768px){._desktopPanel_9p2p2_151{display:none}._mobileToggle_9p2p2_161{display:flex;align-items:center;justify-content:center}._overlay_9p2p2_217,._bottomSheet_9p2p2_243{display:block}}