:root{--bg-primary: #0a0a0a;--bg-secondary: #111111;--bg-tertiary: #1a1a1a;--text-primary: #ffffff;--text-secondary: #d0d0d0;--text-muted: #a0a0a0;--accent-primary: #00ff41;--accent-secondary: #ff79c6;--accent-success: #00ff41;--accent-error: #ff003c;--accent-warning: #ffb300;--border-color: #333333;--border-radius: 0px;--font-mono: "Courier New", Courier, monospace;--font-sans: "Courier New", Courier, monospace}body{margin:0;font-family:var(--font-mono);background-color:var(--bg-primary);color:var(--text-primary);line-height:1.6;-webkit-font-smoothing:antialiased}*{box-sizing:border-box}h1,h2,h3,h4,h5,h6{font-family:var(--font-mono);font-weight:700;color:var(--text-primary);letter-spacing:-.02em;text-transform:uppercase}p{line-height:1.6;color:var(--text-secondary)}code{font-family:var(--font-mono);font-size:.9em;background:#1a1a1a;border:1px solid #333;border-radius:4px}.container{max-width:1200px;margin:0 auto;padding:0 24px}.card{background:var(--bg-card);border:1px solid var(--border-color);border-radius:12px;padding:24px;transition:all .2s ease}.card:hover{border-color:#fff3}.glass{background:var(--glass-bg);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border:1px solid var(--glass-border)}.btn,.button{display:inline-flex;align-items:center;justify-content:center;padding:8px 16px;border-radius:var(--border-radius);font-weight:600;cursor:pointer;transition:all .2s;border:1px solid transparent;font-size:.9em;gap:8px;font-family:var(--font-mono);text-transform:uppercase;background:linear-gradient(135deg,var(--accent-primary),#9d4eff);color:#fff;box-shadow:0 4px 12px #7000ff4d;text-decoration:none}.btn:hover,.button:hover{transform:translateY(-1px);box-shadow:0 6px 16px #7000ff66}button{font-family:var(--font-mono)}.btn-primary{background:linear-gradient(135deg,var(--accent-primary),#9d4eff);color:#fff;box-shadow:0 4px 12px #7000ff4d}.btn-primary:hover{transform:translateY(-1px);box-shadow:0 6px 16px #7000ff66}.btn-ghost{background:transparent;color:var(--text-secondary);border:1px solid var(--border-color)}.btn-ghost:hover{background:#ffffff0d;color:var(--text-primary)}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:#ffffff1a;border-radius:4px}::-webkit-scrollbar-thumb:hover{background:#fff3}.code-editor-container{display:flex;background:var(--bg-card);border:1px solid var(--border-color);border-radius:8px;overflow:hidden;font-family:var(--font-mono);font-size:14px;line-height:1.5}.line-numbers{padding:16px 12px;background:#ffffff0d;border-right:1px solid var(--border-color);color:var(--text-muted);text-align:right;-webkit-user-select:none;user-select:none}.code-input{flex:1;background:transparent;border:none;color:var(--text-primary);padding:16px;font-family:inherit;font-size:inherit;line-height:inherit;resize:none;outline:none;white-space:pre;overflow-x:auto;min-height:300px}.editor-error{padding:12px;background:#ff00551a;border-top:1px solid var(--accent-error);color:var(--accent-error);font-size:.9em}.trace-table-container{overflow-x:auto;margin-top:24px;border:1px solid var(--border-color);border-radius:8px}.trace-table{width:100%;border-collapse:collapse;font-family:var(--font-mono);font-size:13px}.trace-table th,.trace-table td{padding:8px 16px;text-align:left;border-bottom:1px solid var(--border-color)}.trace-table th{background:#ffffff26;color:var(--text-secondary);font-weight:500}.trace-table tr:last-child td{border-bottom:none}.trace-table tr:hover td{background:#ffffff05}.constraint-viewer{margin-top:24px}.alert{padding:16px;border-radius:8px;margin-bottom:24px}.alert.error{background:#ff00551a;border:1px solid var(--accent-error);color:#ff80aa}.alert.success{background:#00ff9d1a;border:1px solid var(--accent-success);color:var(--accent-success)}.constraints-list ul{list-style:none;padding:0}.constraints-list li{margin-bottom:8px;padding:8px 12px;background:var(--bg-secondary);border:1px solid var(--border-color);display:flex;align-items:center}.constraints-list code{color:var(--accent-secondary)}.transition-group{margin-top:16px;padding-left:16px;border-left:2px solid var(--border-color)}.transition-group h5{color:var(--text-muted);margin-bottom:8px}.explainer-card{background:#7000ff0d;border:1px solid rgba(112,0,255,.2);border-radius:8px;margin-bottom:24px;overflow:hidden}.explainer-header{width:100%;display:flex;align-items:center;justify-content:space-between;padding:12px 16px;background:transparent;border:none;color:var(--accent-primary);cursor:pointer;font-family:var(--font-sans);font-weight:500;font-size:14px;transition:background .2s}.explainer-header:hover{background:#7000ff1a}.navbar{display:flex;align-items:center;padding:16px 0;margin-bottom:32px;border-bottom:2px solid var(--border-color)}.nav-link{color:var(--text-secondary);text-decoration:none;margin-right:24px;font-weight:500;transition:color .2s;text-transform:uppercase}.nav-link:hover,.nav-link.active{color:var(--accent-primary);text-decoration:underline}.explainer-title{display:flex;align-items:center;gap:8px}.explainer-content{padding:16px;border-top:1px solid rgba(112,0,255,.1);color:var(--text-secondary);font-size:14px;line-height:1.6}.explainer-content p{margin-bottom:12px}.explainer-content p:last-child{margin-bottom:0}.constraint-item{display:flex;flex-direction:column;gap:4px}.constraint-expr{display:flex;align-items:center}.constraint-why{font-size:.85em;color:var(--text-muted);font-style:italic;padding-left:4px}.layout{display:flex;height:100vh;overflow:hidden;background-color:var(--bg-dark);color:var(--text-primary)}.sidebar{width:280px;background-color:var(--bg-card);border-right:1px solid var(--border-color);display:flex;flex-direction:column;transition:transform .3s ease;z-index:50}.sidebar-header{height:64px;display:flex;align-items:center;justify-content:space-between;padding:0 24px;border-bottom:1px solid var(--border-color)}.logo{font-size:1.25rem;font-weight:700;background:linear-gradient(to right,var(--accent-secondary),var(--accent-primary));-webkit-background-clip:text;color:transparent}.nav{padding:16px;display:flex;flex-direction:column;gap:4px}.nav-item{display:flex;align-items:center;gap:12px;padding:12px 16px;border-radius:8px;color:var(--text-secondary);text-decoration:none;transition:all .2s;border:1px solid transparent}.nav-item:hover{background:#ffffff14;color:var(--text-primary)}.nav-item.active{background-color:#7000ff1a;color:var(--accent-secondary);border-color:#7000ff33}.main-content{flex:1;display:flex;flex-direction:column;overflow:hidden;position:relative}.mobile-header{display:none;height:64px;align-items:center;padding:0 24px;border-bottom:1px solid var(--border-color);background-color:var(--bg-card)}.content-scroll{flex:1;overflow-y:auto;padding:24px}.content-container{max-width:1024px;margin:0 auto}.close-btn,.menu-btn{background:none;border:none;color:var(--text-secondary);cursor:pointer;padding:4px}@media(max-width:768px){.sidebar{position:fixed;top:0;bottom:0;left:0;transform:translate(-100%)}.sidebar.open{transform:translate(0)}.mobile-header{display:flex}}