:root{--color-primary: #4F46E5;--color-primary-dark: #4338CA;--color-bg: #0f0f1a;--color-surface: #1a1a2e;--color-surface-light: #252540;--color-text: #e4e4e7;--color-text-muted: #a1a1aa;--color-border: #3f3f5a;--radius: 8px;--transition: .15s ease}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}body{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;background:var(--color-bg);color:var(--color-text);line-height:1.6}.app-layout{display:flex;flex-direction:column;min-height:100vh}.header{background:var(--color-surface);border-bottom:1px solid var(--color-border);padding:1rem}.nav{display:flex;align-items:center;justify-content:space-between;max-width:1400px;margin:0 auto}.logo{font-size:1.5rem;font-weight:700;color:var(--color-primary);text-decoration:none}.nav-links{display:flex;gap:1.5rem}.nav-links a{color:var(--color-text);text-decoration:none;transition:color var(--transition)}.nav-links a:hover{color:var(--color-primary)}.content{flex:1;max-width:1400px;margin:0 auto;padding:1rem;width:100%}.footer{background:var(--color-surface);border-top:1px solid var(--color-border);padding:1rem}.footer-content{display:flex;justify-content:space-between;align-items:center;max-width:1400px;margin:1rem auto 0}.footer-links a{color:var(--color-text-muted);text-decoration:none}.btn{display:inline-flex;align-items:center;gap:.5rem;padding:.75rem 1.5rem;border-radius:var(--radius);font-weight:500;text-decoration:none;transition:all var(--transition);cursor:pointer;border:none}.btn-primary{background:var(--color-primary);color:#fff}.btn-primary:hover{background:var(--color-primary-dark)}.btn-secondary{background:var(--color-surface-light);color:var(--color-text);border:1px solid var(--color-border)}.btn-secondary:hover{background:var(--color-surface)}.home{padding:2rem 0}.hero{text-align:center;padding:3rem 1rem}.hero h1{font-size:2.5rem;margin-bottom:1rem}.hero p{font-size:1.25rem;color:var(--color-text-muted);max-width:600px;margin:0 auto 2rem}.hero-actions{display:flex;gap:1rem;justify-content:center}.features{padding:2rem 1rem}.features h2{text-align:center;margin-bottom:2rem}.feature-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:1.5rem}.feature{background:var(--color-surface);padding:1.5rem;border-radius:var(--radius);border:1px solid var(--color-border)}.feature h3{margin-bottom:.5rem}.feature p{color:var(--color-text-muted)}.editor{display:flex;gap:1rem;height:calc(100vh - 160px);min-height:500px}.editor-sidebar{width:280px;flex-shrink:0;display:flex;flex-direction:column;gap:1rem;overflow-y:auto;max-height:100%}.editor-canvas{flex:1;border-radius:var(--radius);overflow:hidden;min-height:400px}.config-panel,.export-buttons{background:var(--color-surface);padding:1rem;border-radius:var(--radius);border:1px solid var(--color-border)}.config-panel h3,.export-buttons h3{margin-bottom:1rem;font-size:1rem}.config-field{margin-bottom:1rem}.config-field label{display:block;font-size:.875rem;color:var(--color-text-muted);margin-bottom:.25rem}.config-field input[type=range]{width:100%;accent-color:var(--color-primary)}.config-field span{display:block;text-align:right;font-size:.875rem}.config-select{width:100%;padding:.5rem;background:var(--color-surface-light);border:1px solid var(--color-border);border-radius:var(--radius);color:var(--color-text);font-size:.875rem;cursor:pointer}.config-select:focus{outline:none;border-color:var(--color-primary)}.export-buttons{display:flex;flex-direction:column;gap:.75rem}.export-btn{display:flex;align-items:center;justify-content:center;gap:.5rem;padding:.75rem;border-radius:var(--radius);border:1px solid var(--color-border);background:var(--color-surface-light);color:var(--color-text);cursor:pointer;transition:all var(--transition)}.export-btn:hover{background:var(--color-primary);border-color:var(--color-primary)}.export-btn:disabled{opacity:.5;cursor:not-allowed}.templates{padding:2rem 0}.templates h1{margin-bottom:.5rem}.templates>p{color:var(--color-text-muted);margin-bottom:2rem}.template-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(250px,1fr));gap:1.5rem}.template-card{background:var(--color-surface);border-radius:var(--radius);border:1px solid var(--color-border);overflow:hidden;text-decoration:none;color:inherit;transition:all var(--transition)}.template-card:hover{border-color:var(--color-primary);transform:translateY(-2px)}.template-thumbnail{height:150px;background:var(--color-surface-light);display:flex;align-items:center;justify-content:center}.template-placeholder{width:60px;height:60px;background:var(--color-primary);border-radius:var(--radius);display:flex;align-items:center;justify-content:center;font-size:1.5rem;font-weight:700;color:#fff}.template-info{padding:1rem}.template-info h3{margin-bottom:.25rem}.template-info p{font-size:.875rem;color:var(--color-text-muted);margin-bottom:.5rem}.template-category{display:inline-block;padding:.25rem .5rem;background:var(--color-surface-light);border-radius:4px;font-size:.75rem;text-transform:capitalize}.learn{padding:2rem 0;max-width:800px;margin:0 auto}.learn-header{margin-bottom:2rem}.learn-header h1{margin-bottom:.5rem}.learn-header p{color:var(--color-text-muted)}.learn-breadcrumb{display:flex;align-items:center;gap:.5rem;margin-bottom:1.5rem;font-size:.875rem;color:var(--color-text-muted)}.learn-breadcrumb a{color:var(--color-primary);text-decoration:none}.learn-breadcrumb a:hover{text-decoration:underline}.theorem-list{display:flex;flex-direction:column;gap:1rem}.theorem-card{display:block;background:var(--color-surface);padding:1.5rem;border-radius:var(--radius);border:1px solid var(--color-border);text-decoration:none;color:inherit;transition:all var(--transition)}.theorem-card:hover{border-color:var(--color-primary);transform:translate(4px)}.theorem-card h3{margin:.5rem 0 .25rem}.theorem-subtitle{color:var(--color-text-muted);font-family:Courier New,monospace;font-size:1.1rem}.theorem-article header{margin-bottom:2rem;padding-bottom:1.5rem;border-bottom:1px solid var(--color-border)}.theorem-article h1{margin:.5rem 0 1rem;font-size:2rem}.theorem-statement{color:var(--color-text-muted);font-size:1.1rem}.theorem-formula{background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius);padding:1.5rem;text-align:center;font-size:2rem;font-family:Courier New,monospace;font-weight:700;margin:1rem 0;color:var(--color-primary)}.theorem-formula-sm{font-size:1.2rem;padding:1rem}.theorem-category{display:inline-block;padding:.25rem .5rem;background:var(--color-surface-light);border-radius:4px;font-size:.75rem;text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted)}.theorem-section{margin-bottom:2rem}.theorem-section h2{font-size:1.25rem;margin-bottom:.75rem;padding-bottom:.5rem;border-bottom:1px solid var(--color-border)}.theorem-section p{margin-bottom:.75rem;line-height:1.7}.theorem-diagram{background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius);padding:1.5rem;margin:1rem 0}.diagram-svg{width:100%;max-width:400px;display:block;margin:0 auto}.diagram-caption{text-align:center;font-size:.875rem;color:var(--color-text-muted);margin-top:1rem;margin-bottom:0}.corollary-list{display:flex;flex-direction:column;gap:1rem}.corollary{background:var(--color-surface);padding:1rem 1.25rem;border-radius:var(--radius);border-left:3px solid var(--color-primary)}.corollary h4{margin-bottom:.25rem;font-size:.95rem}.corollary p{color:var(--color-text-muted);font-size:.9rem;margin-bottom:0}.reference-list{list-style:none;display:flex;flex-direction:column;gap:.5rem}.reference-list li{padding:.5rem .75rem;background:var(--color-surface);border-radius:var(--radius);font-size:.875rem;color:var(--color-text-muted)}.lab-step-indicator{display:flex;justify-content:center;gap:.5rem;margin-bottom:1.5rem}.lab-step-dot{width:.5rem;height:.5rem;border-radius:9999px;background:var(--color-border);transition:all var(--transition)}.lab-step-dot-active{width:2rem;background:var(--color-primary)}.lab-layout{display:flex;gap:2rem;width:100%}.lab-canvas-panel{flex:1;background:var(--color-surface);border:1px solid var(--color-border);border-radius:calc(var(--radius) * 2);padding:1rem;display:flex;flex-direction:column;align-items:center;position:relative;overflow:hidden}.lab-status-badge{position:absolute;top:1rem;left:1rem;z-index:1}.lab-badge{display:inline-flex;align-items:center;gap:.35rem;padding:.35rem .75rem;border-radius:9999px;font-size:.8rem;font-weight:600}.lab-badge-valid{background:#22c55e26;color:#22c55e}.lab-badge-invalid{background:#ef444426;color:#ef4444}.lab-svg{width:100%;max-width:500px;height:auto;touch-action:none;cursor:crosshair}.lab-handle{cursor:pointer;transition:fill var(--transition)}.lab-handle:hover{fill:var(--color-surface-light)}.lab-canvas-footer{width:100%;display:flex;justify-content:space-between;align-items:center;padding:.75rem .5rem 0;border-top:1px solid var(--color-border);margin-top:.75rem}.lab-reset-btn{display:flex;align-items:center;gap:.35rem;background:none;border:none;color:var(--color-primary);font-size:.85rem;font-weight:600;cursor:pointer;padding:.25rem .5rem;border-radius:var(--radius);transition:background var(--transition)}.lab-reset-btn:hover{background:#4f46e51a}.lab-hint{font-size:.75rem;color:var(--color-text-muted)}.lab-info-panel{width:22rem;display:flex;flex-direction:column;justify-content:space-between;gap:1rem}.lab-info-card{background:var(--color-surface);border:1px solid var(--color-border);border-radius:calc(var(--radius) * 2);padding:1.5rem;flex:1}.lab-info-icon{display:flex;align-items:center;gap:.5rem;color:var(--color-primary);font-size:.8rem;font-weight:700;text-transform:uppercase;letter-spacing:.05em;margin-bottom:1rem}.lab-info-card h2{font-size:1.25rem;margin-bottom:.75rem;color:var(--color-text)}.lab-info-desc{color:var(--color-text-muted);line-height:1.6;margin-bottom:1rem}.lab-insight{background:#4f46e514;border:1px solid rgba(79,70,229,.2);border-radius:var(--radius);padding:1rem;margin-bottom:1rem}.lab-insight h4{font-size:.75rem;text-transform:uppercase;letter-spacing:.05em;color:var(--color-primary);margin-bottom:.5rem}.lab-insight p{font-size:.85rem;color:var(--color-text-muted);line-height:1.5}.lab-stats{border-top:1px solid var(--color-border);padding-top:.75rem;margin-top:.75rem}.lab-stat-row{display:flex;justify-content:space-between;align-items:center;padding:.35rem 0}.lab-stat-divider{border-top:1px dashed var(--color-border);padding-top:.5rem;margin-top:.25rem}.lab-stat-label{font-size:.85rem;font-weight:600;color:var(--color-text-muted)}.lab-stat-value{font-family:monospace;font-size:.85rem;padding:.15rem .5rem;border-radius:var(--radius);background:var(--color-surface-light);color:var(--color-text)}.lab-stat-valid{color:#22c55e}.lab-stat-invalid{color:#ef4444}.lab-type-badge{font-weight:700;letter-spacing:.05em}.lab-cycle-btn{width:100%;margin-top:.5rem;padding:.5rem;background:var(--color-surface-light);border:1px solid var(--color-border);border-radius:var(--radius);color:var(--color-primary);font-size:.8rem;font-weight:600;cursor:pointer;transition:background var(--transition)}.lab-cycle-btn:hover{background:#4f46e51a}.lab-nav{display:flex;gap:.75rem}.lab-nav-btn{flex:1;display:flex;align-items:center;justify-content:center;gap:.35rem;padding:.85rem;border-radius:var(--radius);font-weight:700;font-size:.9rem;cursor:pointer;transition:all var(--transition);border:none}.lab-nav-prev{background:var(--color-surface);color:var(--color-text);border:1px solid var(--color-border)}.lab-nav-prev:hover:not(:disabled){background:var(--color-surface-light)}.lab-nav-next{background:var(--color-primary);color:#fff}.lab-nav-next:hover:not(:disabled){background:var(--color-primary-dark)}.lab-nav-btn:disabled{opacity:.4;cursor:not-allowed}@media (max-width: 768px){.lab-layout{flex-direction:column}.lab-info-panel{width:100%}}@media (max-width: 768px){.editor{flex-direction:column;height:auto}.editor-sidebar{width:100%;flex-direction:row;flex-wrap:wrap}.editor-canvas{height:400px}.hero h1{font-size:1.75rem}.hero-actions{flex-direction:column}}