._navbar_icvfj_3{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_icvfj_16{display:flex;align-items:center;gap:12px;flex-shrink:0}._title_icvfj_23{font-size:18px;font-weight:700;color:#8b5cf6;margin:0;white-space:nowrap}._right_icvfj_31{display:flex;align-items:center;gap:24px;flex-shrink:0}._resetButton_icvfj_38{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_icvfj_38:hover{background-color:#8b5cf626}._resultBadge_icvfj_54{padding:6px 12px;font-size:13px;font-weight:600;border-radius:6px;text-transform:uppercase;letter-spacing:.5px}._resultBadge_icvfj_54._satisfiable_icvfj_63{color:#22c55e;background-color:#22c55e1a;border:1px solid rgba(34,197,94,.3)}._resultBadge_icvfj_54._unsatisfiable_icvfj_69{color:#ef4444;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3)}._resultBadge_icvfj_54._valid_icvfj_75{color:#22c55e;background-color:#22c55e1a;border:1px solid rgba(34,197,94,.3)}._resultBadge_icvfj_54._invalid_icvfj_81,._resultBadge_icvfj_54._contradiction_icvfj_87{color:#ef4444;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3)}._aboutLink_icvfj_93{color:#8b5cf6;text-decoration:none;font-size:14px;font-weight:500}._aboutLink_icvfj_93:hover{text-decoration:underline}@media (max-width: 768px){._navbar_icvfj_3{padding:12px 16px}._title_icvfj_23{font-size:16px}._right_icvfj_31{gap:12px}._resetButton_icvfj_38{font-size:13px;padding:6px 12px}}._scrambleText_8ro09_3{display:inline-block;white-space:pre;font-variant-numeric:tabular-nums}._scrambleText_8ro09_3._animating_8ro09_10{font-family:Courier New,Courier,monospace;letter-spacing:.02em}._container_22lr3_3{display:flex;flex-direction:column;align-items:center;gap:12px;text-align:center;min-height:140px;justify-content:center}._title_22lr3_13{font-size:clamp(2.2rem,5vw,3.8rem);font-weight:700;color:#8b5cf6;margin:0;transition:opacity .2s ease;animation:_softGlow_22lr3_1 3s ease-in-out infinite;min-height:60px;display:flex;align-items:center}@keyframes _softGlow_22lr3_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_22lr3_38{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_22lr3_52{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_22lr3_52:hover{border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf640}._orderBox_22lr3_52:focus-within{border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf640}._orderBoxError_22lr3_77{border-color:#ef4444}._orderBoxError_22lr3_77:hover,._orderBoxError_22lr3_77:focus-within{border-color:#ef4444;box-shadow:0 0 0 2px #ef444440}._orderBoxError_22lr3_77 ._orderInput_22lr3_87{color:#ef4444}._orderInput_22lr3_87{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_22lr3_87::-webkit-inner-spin-button,._orderInput_22lr3_87::-webkit-outer-spin-button{-webkit-appearance:none;margin:0}._orderInput_22lr3_87[type=number]{-moz-appearance:textfield}._fadeOut_22lr3_118{opacity:0}._fadeIn_22lr3_122{opacity:1}._subtitle_22lr3_38._fadeOut_22lr3_118{opacity:0}._subtitle_22lr3_38._fadeIn_22lr3_122{opacity:1}._orderLabel_22lr3_135{font-weight:700}._container_7yydq_3{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_7yydq_3:focus-within{border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf640}._input_7yydq_22{flex:1;background:transparent;border:none;outline:none;color:#fff;font-size:15px;font-family:inherit;caret-color:#8b5cf6}._input_7yydq_22::-moz-placeholder{color:#ffffff73}._input_7yydq_22::placeholder{color:#ffffff73}._sendButton_7yydq_38{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_7yydq_1 .15s ease}._sendButton_7yydq_38:hover{background-color:#7c3aed;transform:scale(1.05)}._sendButton_7yydq_38:active{transform:scale(.95)}._arrow_7yydq_65{width:16px;height:16px;color:#fff}@keyframes _scaleIn_7yydq_1{0%{transform:scale(0);opacity:0}to{transform:scale(1);opacity:1}}@media (max-width: 480px){._container_7yydq_3{width:95vw;height:52px;padding:12px 18px}._input_7yydq_22{font-size:14px}._sendButton_7yydq_38{width:28px;height:28px;min-width:28px;min-height:28px}._arrow_7yydq_65{width:14px;height:14px}}._container_1wr9f_3{flex:1;display:flex;align-items:center;justify-content:center;background-color:transparent;overflow:hidden;position:relative}._svg_1wr9f_13{width:100%;height:100%;cursor:grab;-webkit-user-select:none;-moz-user-select:none;user-select:none;background:transparent}._svg_1wr9f_13:active{cursor:grabbing}._hint_1wr9f_25{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_1wr9f_3:hover ._hint_1wr9f_25{opacity:.9}._emptyState_1wr9f_46{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:var(--spacing-md);padding:var(--spacing-xl);text-align:center}._emptyIcon_1wr9f_56{font-size:64px;opacity:.3}._emptyTitle_1wr9f_61{font-size:20px;font-weight:600;color:var(--text-primary)}._emptyText_1wr9f_67{font-size:14px;color:var(--text-muted);max-width:400px;line-height:1.6}._node_lv40b_3{transition:all .3s ease}._nodeRect_lv40b_7{fill:#0d0d0d;stroke:#8b5cf6;stroke-width:2;filter:drop-shadow(0 0 8px rgba(139,92,246,.6));animation:_purpleGlow_lv40b_1 4s ease-in-out infinite;transition:all .3s ease}@keyframes _purpleGlow_lv40b_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_lv40b_7._highlighted_lv40b_25{stroke:#8b5cf6;stroke-width:3;filter:drop-shadow(0 0 20px rgba(139,92,246,1))}._keySlot_lv40b_31{fill:#0d0d0d;stroke:#2a2a3a;stroke-width:1}._pointerSlot_lv40b_37{fill:#111128;stroke:#2a2a3a;stroke-width:1}._keyText_lv40b_43{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_lv40b_43._highlightedKey_lv40b_54{fill:var(--accent-orange);font-weight:700;font-size:15px}._leafLabel_lv40b_60{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_1he4d_3{stroke:var(--edge-color);stroke-width:2;fill:none;transition:stroke .3s ease}._leafPointer_1he4d_10{stroke:var(--accent-green);stroke-width:2;stroke-dasharray:5,5;fill:none;transition:stroke .3s ease}._panel_sdadt_3{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_sdadt_15{display:flex;flex-direction:column;gap:var(--spacing-md)}._sectionTitle_sdadt_21{font-size:.7rem;font-weight:600;color:#8b5cf6;text-transform:uppercase;letter-spacing:.1em;margin-bottom:var(--spacing-xs)}._input_sdadt_30{padding:10px 12px;background-color:#0f0f0f;border:1px solid #222;border-radius:8px;color:#fff;font-size:14px;transition:all .2s ease}._input_sdadt_30:focus{outline:none;border-color:#8b5cf6;box-shadow:0 0 0 2px #8b5cf633}._input_sdadt_30::-moz-placeholder{color:#ffffff59}._input_sdadt_30::placeholder{color:#ffffff59}._button_sdadt_50{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_sdadt_50:hover:not(:disabled){background-color:#6d3fd4}._button_sdadt_50:active:not(:disabled){transform:scale(.98)}._button_sdadt_50:disabled{opacity:.4;cursor:not-allowed}._deleteButton_sdadt_76{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_sdadt_76:hover:not(:disabled){background-color:#8b5cf626}._deleteButton_sdadt_76:active:not(:disabled){transform:scale(.98)}._deleteButton_sdadt_76:disabled{opacity:.4;cursor:not-allowed}._info_sdadt_101{display:flex;flex-direction:column;gap:var(--spacing-sm);padding:var(--spacing-md);background-color:transparent;border-radius:8px;border:1px solid #1a1a1a}._infoRow_sdadt_111{display:flex;justify-content:space-between;align-items:center;font-size:14px}._infoRow_sdadt_111 span:first-child{color:#ffffff80}._infoRow_sdadt_111 span:last-child{color:#8b5cf6;font-weight:600;font-family:var(--font-mono)}@media (max-width: 768px){._panel_sdadt_3{width:100%;border-left:none;border-top:1px solid #1a1a1a;height:auto;max-height:none}}._container_kbb1h_3{display:flex;flex-direction:column;height:100vh;overflow:hidden;background-color:#000;position:relative}._landingCenter_kbb1h_13{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_kbb1h_1 .6s ease-out}@keyframes _swipeUp_kbb1h_1{0%{opacity:0;transform:translate(-50%,-45%)}to{opacity:1;transform:translate(-50%,-50%)}}._credit_kbb1h_39{font-size:.9rem;color:#ffffff59;margin-top:16px}._mainContent_kbb1h_45{display:flex;flex:1;overflow:hidden;position:relative;padding-left:80px}._placeholder_kbb1h_53{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_kbb1h_65{font-size:24px;color:var(--text-primary)}._placeholderText_kbb1h_70{font-size:16px;max-width:500px}._desktopPanel_kbb1h_76{display:block}._mobileToggle_kbb1h_81{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_kbb1h_81:hover{background-color:#3d7de0;transform:scale(1.05)}._mobileToggle_kbb1h_81:active{transform:scale(.95)}._overlay_kbb1h_109{display:none;position:fixed;top:0;left:0;right:0;bottom:0;background-color:#000000b3;z-index:300;animation:_fadeIn_kbb1h_1 .2s ease-out}._bottomSheet_kbb1h_122{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_kbb1h_1 .3s ease-out;overflow-y:auto}._sheetHeader_kbb1h_138{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_kbb1h_150{font-size:18px;font-weight:600;color:var(--text-primary);margin:0}._closeButton_kbb1h_157{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_kbb1h_157:hover{background-color:var(--border-subtle)}@keyframes _fadeIn_kbb1h_1{0%{opacity:0}to{opacity:1}}@keyframes _slideUp_kbb1h_1{0%{transform:translateY(100%)}to{transform:translateY(0)}}@media (max-width: 768px){._desktopPanel_kbb1h_76{display:none}._mobileToggle_kbb1h_81{display:flex;align-items:center;justify-content:center}._overlay_kbb1h_109,._bottomSheet_kbb1h_122{display:block}}