body{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;margin:0}code{font-family:source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace}.App{text-align:center}.App-logo{height:40vmin;pointer-events:none}@media (prefers-reduced-motion:no-preference){.App-logo{animation:App-logo-spin 20s linear infinite}}.App-header{background-color:#282c34;color:#fff;margin-bottom:20px;padding:10px}.App-header h1{font-size:1em;margin:0}main{padding:10px}h1{font-size:1em;margin-bottom:10px}.App-link{color:#61dafb}@keyframes App-logo-spin{0%{transform:rotate(0deg)}to{transform:rotate(1turn)}}.layout{display:flex;flex-direction:column;max-height:100vh;min-height:100vh;overflow:hidden}.header{align-items:center;background:linear-gradient(135deg,#1a1a1a,#2d2d2d);box-shadow:0 2px 8px #00000026;color:#fff;display:flex;flex-shrink:0;gap:1rem;justify-content:space-between;padding:.75rem 1.5rem}.logo-section h1{font-size:1.25rem;font-weight:600;margin:0}.automata-types-horizontal{align-items:center;display:flex;gap:.5rem}.type-btn-horizontal{background:#ffffff1a;border:2px solid #0000;border-radius:6px;color:#fff;cursor:pointer;font-size:.875rem;font-weight:600;letter-spacing:.5px;padding:.5rem 1.25rem;text-transform:uppercase;transition:all .2s ease}.type-btn-horizontal:hover{background:#fff3;transform:translateY(-1px)}.type-btn-horizontal.active{background:#4caf50;border-color:#45a049;box-shadow:0 2px 8px #4caf5066}.main-content{display:flex;flex:1 1;overflow:hidden}.workspace-full{background:#fff;flex:1 1;overflow-y:auto;padding:1rem}.header-tools{align-items:center;display:flex;gap:.5rem}.header-tool-btn{background:#ffffff1a;border:1px solid #ffffff4d;border-radius:6px;color:#fff;cursor:pointer;font-size:.8rem;font-weight:500;padding:.5rem 1rem;transition:all .2s ease;white-space:nowrap}.header-tool-btn:hover{background:#fff3;border-color:#ffffff80;transform:translateY(-1px)}.guide-tool-btn{background:#2563ebe6;border-color:#93c5fdcc}.guide-tool-btn:hover{background:#1d4ed8}.header-tool-btn:active{transform:translateY(0)}@media (max-width:768px){.header{flex-direction:column;gap:.5rem;padding:.75rem}.automata-types-horizontal{flex-wrap:wrap;justify-content:center}.type-btn-horizontal{font-size:.75rem;padding:.4rem .8rem}.main-content{flex-direction:column}.sidebar-compact{border-bottom:1px solid #e0e0e0;border-right:none;max-height:150px;width:100%}.workspace{padding:.75rem}}.sidebar .history,.sidebar .toolbox{background:#fff;border-radius:8px;box-shadow:0 2px 4px #0000001a;margin:0 0 20px;padding:15px}.sidebar h3{color:#333;font-size:16px;font-weight:600;margin:0 0 12px}.sidebar .history-buttons,.sidebar .tool-buttons{display:flex;flex-direction:column;gap:8px}.sidebar .history-button,.sidebar .tool-btn{background-color:#4caf50;border:none;border-radius:6px;color:#fff;cursor:pointer;font-size:14px;font-weight:500;padding:10px 14px;text-align:left;transition:all .2s ease}.sidebar .history-button:hover:not(:disabled),.sidebar .tool-btn:hover:not(:disabled){background-color:#45a049;transform:translateX(2px)}.sidebar .history-button:active:not(:disabled),.sidebar .tool-btn:active:not(:disabled){transform:translateX(0)}.sidebar .history-button:disabled,.sidebar .tool-btn:disabled{background-color:#ccc;cursor:not-allowed;transform:none}.sidebar .history-button{background-color:#2196f3}.sidebar .history-button:hover:not(:disabled){background-color:#1976d2}.sidebar button{background-color:#4caf50;border:none;border-radius:4px;color:#fff;cursor:pointer;font-size:14px;padding:8px 12px;transition:background-color .2s}.sidebar button:hover:not(:disabled){background-color:#45a049}.sidebar button:disabled{background-color:#ccc;cursor:not-allowed}.dfa-simulator-new{animation:gradientShift 8s ease infinite;background:linear-gradient(135deg,#667eea,#764ba2 50%,#667eea);background-size:200% 200%;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;min-height:100%;padding:1rem}.dfa-container{display:flex;flex-direction:column;gap:1rem;margin:0 auto;max-width:100%}.dfa-header{color:#fff;margin-bottom:.75rem;text-align:center}.dfa-title{-webkit-text-fill-color:#0000;background:linear-gradient(45deg,#fff,#e0e7ff);-webkit-background-clip:text;background-clip:text;font-size:1.75rem;font-weight:700;margin:0 0 .5rem;text-shadow:0 2px 4px #0000004d}.dfa-subtitle{font-size:.875rem;font-weight:300;letter-spacing:.3px;margin:0;opacity:.95}.dfa-example-selector{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;margin-bottom:24px;margin-top:-8px;padding:16px 24px}.dfa-example-description{background:#fffffff2;border-left:3px solid #667eea;border-radius:4px;box-shadow:0 2px 4px #0000001a;color:#1f2937;font-size:.875rem;line-height:1.5;margin-top:.75rem;padding:.75rem}.dfa-example-description strong{color:#667eea;font-weight:600}.dfa-selector-label{color:#374151;display:block;font-size:16px;font-weight:600;margin-bottom:12px}.dfa-selector-buttons{display:flex;flex-wrap:wrap;gap:12px}.dfa-selector-btn{background:#fff;border:2px solid #d1d5db;border-radius:8px;color:#374151;cursor:pointer;font-size:14px;font-weight:500;padding:10px 20px;transition:all .2s ease}.dfa-selector-btn:hover{background:#f8fafc;border-color:#667eea}.dfa-selector-btn.active{background:#667eea;border-color:#667eea;color:#fff}.dfa-grid{grid-gap:32px;align-items:start;display:grid;gap:32px;grid-template-columns:1.5fr 1fr}@media (max-width:1200px){.dfa-grid{gap:24px;grid-template-columns:1fr}}.dfa-left-col,.dfa-right-col{display:flex;flex-direction:column;gap:12px}.dfa-graph-card,.dfa-input-card,.dfa-steps-card,.dfa-table-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:12px;box-shadow:0 4px 12px #00000014;overflow:hidden;padding:1rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.dfa-input-card-compact{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:8px;box-shadow:0 2px 8px #0000000f;padding:.5rem .75rem}.dfa-card-title-compact{color:#1f2937;font-size:.75rem;font-weight:600;letter-spacing:.3px;margin:0 0 .4rem;text-transform:uppercase}.dfa-input-help-compact{color:#6b7280;font-size:.7rem;margin:.3rem 0 0}.dfa-result-indicator{animation:fadeIn .3s ease-in;border-radius:4px;font-size:.7rem;font-weight:700;letter-spacing:.5px;margin-top:.4rem;padding:.35rem .6rem;text-align:center;text-transform:uppercase}.dfa-result-accepted{background:#dcfce7;border:2px solid #86efac;color:#166534}.dfa-result-rejected{background:#fee2e2;border:2px solid #fca5a5;color:#991b1b}.dfa-btn-compact{font-size:.75rem;padding:.5rem .85rem}.dfa-graph-card:before,.dfa-input-card:before,.dfa-steps-card:before,.dfa-table-card:before{animation:gradientMove 3s ease infinite;background:linear-gradient(90deg,#3b82f6,#8b5cf6,#06b6d4);background-size:200% 100%;content:"";height:4px;left:0;position:absolute;right:0;top:0}.dfa-graph-card:hover,.dfa-input-card:hover,.dfa-steps-card:hover,.dfa-table-card:hover{box-shadow:0 20px 60px #00000026;transform:translateY(-4px)}.dfa-card-title{align-items:center;color:#1f2937;display:flex;font-size:1rem;font-weight:600;gap:8px;margin:0 0 .75rem;position:relative}.dfa-card-title:after{background:linear-gradient(90deg,#e5e7eb,#0000);content:"";flex:1 1;height:2px;margin-left:16px}.dfa-input-group{display:flex;gap:8px;margin-bottom:0}.dfa-input{background:#fff;border:2px solid #e5e7eb;border-radius:6px;color:#000;flex:1 1;font-family:JetBrains Mono,Courier New,monospace;font-size:.85rem;font-weight:600;padding:.5rem .65rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.dfa-input:focus{background:#fff;border-color:#3b82f6;box-shadow:0 0 0 4px #3b82f61a;outline:none;transform:translateY(-1px)}.dfa-input::placeholder{color:#9ca3af;font-style:italic;font-weight:400}.dfa-input-help{background:#f9fafb;border-left:4px solid #3b82f6;border-radius:8px;color:#6b7280;font-size:14px;font-weight:500;margin:0;padding:8px 16px}.dfa-step-display{background:linear-gradient(135deg,#fff,#f8fafc);border:2px solid #d1d5db;border-radius:16px;box-shadow:inset 0 2px 4px #0000000d;min-height:140px;overflow:hidden;padding:24px;position:relative}.dfa-step-display:before{animation:stripes 20s linear infinite;background:linear-gradient(45deg,#0000 49%,#3b82f608 50%,#0000 51%);background-size:20px 20px;bottom:0;content:"";left:0;position:absolute;right:0;top:0}@keyframes stripes{0%{background-position:0 0}to{background-position:40px 40px}}.dfa-step-display>div{margin-bottom:12px;position:relative;z-index:1}.dfa-step-display>div:last-child{margin-bottom:0}.dfa-step-info{color:#fff;font-size:14px;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.dfa-step-remaining,.dfa-step-state{color:#fff;font-size:15px;font-weight:600}.dfa-highlight{background:#3b82f6;border-radius:6px;color:#fff;display:inline-block;font-size:1.1em;font-weight:700;padding:4px 8px}.dfa-step-desc{border-top:1px solid #e5e7eb;color:#fefefe;font-size:15px;font-style:italic;font-weight:500;margin-top:16px;padding-top:16px}.dfa-table-wrapper{background:#fff;border:2px solid #e5e7eb;border-radius:12px;max-height:500px;overflow-y:auto}.dfa-table-wrapper::-webkit-scrollbar{width:8px}.dfa-table-wrapper::-webkit-scrollbar-track{background:#f1f5f9;border-radius:4px}.dfa-table-wrapper::-webkit-scrollbar-thumb{background:linear-gradient(135deg,#3b82f6,#8b5cf6);border-radius:4px}.dfa-table-wrapper::-webkit-scrollbar-thumb:hover{background:linear-gradient(135deg,#2563eb,#7c3aed)}.dfa-table{border-collapse:collapse;font-family:JetBrains Mono,Courier New,monospace;font-size:14px;width:100%}.dfa-table td,.dfa-table th{border:1px solid #e5e7eb;padding:12px 16px;position:relative;text-align:center}.dfa-table th{background:linear-gradient(135deg,#f8fafc,#e2e8f0);border-bottom:3px solid #3b82f6;color:#1f2937}.dfa-table tbody tr{transition:all .3s cubic-bezier(.4,0,.2,1)}.dfa-table tbody tr:hover{background:linear-gradient(135deg,#f8fafc,#f1f5f9);box-shadow:0 4px 12px #0000001a;transform:scale(1.01)}.dfa-table tbody tr.dfa-current-state{border:2px solid #f59e0b!important}.dfa-table tbody tr.dfa-current-state,.dfa-table tbody tr.dfa-current-state td{background:#fef3c7!important;color:#92400e!important;font-weight:700}.dfa-table tbody tr td.dfa-current-transition{background:#d1fae5!important;border:3px solid #10b981!important;color:#065f46!important;font-size:14px;font-weight:800}.dfa-table tbody tr.dfa-previous-state{border:2px solid #9ca3af}.dfa-table tbody tr.dfa-previous-state,.dfa-table tbody tr.dfa-previous-state td{background:#f3f4f6!important;color:#374151!important}.dfa-state-cell{background:#f8fafc!important;border-right:2px solid #e5e7eb;color:#1f2937!important;font-family:JetBrains Mono,Courier New,monospace;font-size:14px;font-weight:700}.dfa-table tbody tr td{background:#fff!important;border:1px solid #e5e7eb;color:#1f2937!important;font-size:14px;font-weight:500}.dfa-table tbody tr:hover{background:#f9fafb}.dfa-table tbody tr:hover td{background:#f9fafb!important;color:#1f2937!important}.dfa-table th{background:#f1f5f9!important;border-bottom:2px solid #3b82f6;color:#1f2937!important;font-size:12px;font-weight:700;position:-webkit-sticky;position:sticky;top:0;z-index:10}.dfa-btn,.dfa-table th{letter-spacing:.5px;text-transform:uppercase}.dfa-btn{border-radius:12px;font-size:14px;font-weight:600;gap:10px;overflow:hidden;padding:12px 20px;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.dfa-btn:before{background:linear-gradient(90deg,#0000,#fff3,#0000);content:"";height:100%;left:-100%;position:absolute;top:0;transition:left .5s;width:100%}.dfa-btn:hover:before{left:100%}.dfa-btn:active{transform:scale(.98)}.dfa-btn-primary{background:linear-gradient(135deg,#3b82f6,#1d4ed8);box-shadow:0 4px 12px #3b82f666}.dfa-btn-primary:hover{background:linear-gradient(135deg,#2563eb,#1e40af);box-shadow:0 8px 20px #3b82f680;transform:translateY(-2px)}.dfa-btn-primary:disabled{background:linear-gradient(135deg,#9ca3af,#6b7280);box-shadow:none;cursor:not-allowed;transform:none}.dfa-btn-outline{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#ffffffe6}.dfa-btn-outline:hover{background:#3b82f61a;border-color:#3b82f6;box-shadow:0 4px 12px #3b82f633;color:#1d4ed8;transform:translateY(-2px)}.dfa-btn-success{background:linear-gradient(135deg,#10b981,#059669);box-shadow:0 4px 12px #10b98166;color:#fff}.dfa-btn-success:hover{background:linear-gradient(135deg,#059669,#047857);box-shadow:0 8px 20px #10b98180;transform:translateY(-2px)}.dfa-btn-warning{background:linear-gradient(135deg,#f59e0b,#d97706);box-shadow:0 4px 12px #f59e0b66;color:#fff}.dfa-btn-warning:hover{background:linear-gradient(135deg,#d97706,#b45309);box-shadow:0 8px 20px #f59e0b80;transform:translateY(-2px)}.dfa-btn-danger{background:linear-gradient(135deg,#ef4444,#dc2626);box-shadow:0 4px 12px #ef444466;color:#fff}.dfa-btn-danger:hover{background:linear-gradient(135deg,#dc2626,#b91c1c);box-shadow:0 8px 20px #ef444480;transform:translateY(-2px)}.dfa-btn svg{transition:transform .3s ease}.dfa-btn:hover svg{transform:scale(1.1)}.dfa-btn.loading{pointer-events:none}.dfa-btn.loading:after{animation:spin 1s linear infinite;border:2px solid #0000;border-radius:50%;border-top-color:currentcolor;content:"";height:16px;position:absolute;width:16px}@keyframes spin{to{transform:rotate(1turn)}}@media (max-width:1400px){.dfa-container{max-width:1200px}.dfa-title{font-size:36px}}@media (max-width:1200px){.dfa-grid{gap:24px;grid-template-columns:1fr}.dfa-example-selector{padding:20px 24px}.dfa-selector-buttons{gap:8px}.dfa-selector-btn{font-size:13px;padding:10px 16px}}@media (max-width:768px){.dfa-simulator-new{padding:16px}.dfa-container{gap:20px}.dfa-title{font-size:28px}.dfa-subtitle{font-size:16px}.dfa-example-selector{align-items:stretch;flex-direction:column;gap:16px;padding:16px 20px}.dfa-selector-label{text-align:center}.dfa-selector-buttons{justify-content:center}.dfa-graph-card,.dfa-input-card,.dfa-steps-card,.dfa-table-card{padding:20px}.dfa-card-title{font-size:18px}.dfa-input-group{flex-direction:column;gap:12px}.dfa-step-display{min-height:120px;padding:20px}.dfa-table-wrapper{max-height:300px}.dfa-table td,.dfa-table th{font-size:13px;padding:8px 12px}.dfa-btn{font-size:13px;padding:10px 16px}}@media (max-width:480px){.dfa-simulator-new{padding:12px}.dfa-title{font-size:24px}.dfa-subtitle{font-size:14px}.dfa-example-selector{padding:12px 16px}.dfa-selector-btn{font-size:12px;padding:8px 12px}.dfa-graph-card,.dfa-input-card,.dfa-steps-card,.dfa-table-card{padding:16px}.dfa-card-title{font-size:16px;margin-bottom:16px}.dfa-input{font-size:14px;padding:12px 14px}.dfa-step-display{min-height:100px;padding:16px}.dfa-table td,.dfa-table th{font-size:12px;padding:6px 8px}.dfa-btn{font-size:12px;gap:6px;padding:8px 12px}}@media (prefers-color-scheme:dark){.dfa-simulator-new{background:linear-gradient(135deg,#6b6798,#312e81 50%,#000)}.dfa-example-selector,.dfa-graph-card,.dfa-input-card,.dfa-steps-card,.dfa-table-card{background:#1e1b4bf2;border-color:#ffffff1a}.dfa-card-title,.dfa-input,.dfa-selector-label{color:#e5e7eb}.dfa-input{background:#1e1b4b80;border-color:#fff3}.dfa-step-display{background:#1e1b4b4d;border-color:#fff3}.dfa-table-wrapper{background:#1e1b4b80;border-color:#fff3}.dfa-table th{background:#1e1b4bcc;color:#8a93a6}.dfa-table td{border-color:#ffffff1a;color:#57647f}}.dfa-edit-toggle{display:flex;justify-content:center;margin-bottom:1rem}.dfa-edit-btn{align-items:center;background:#fffffff2;border:2px solid #e5e7eb;border-radius:12px;box-shadow:0 2px 8px #0000001a;color:#374151;cursor:pointer;display:flex;font-size:14px;font-weight:600;gap:8px;padding:12px 24px;transition:all .3s ease}.dfa-edit-btn:hover{background:#f8fafc;border-color:#667eea;box-shadow:0 4px 12px #667eea33;transform:translateY(-2px)}.dfa-edit-btn.active{background:linear-gradient(135deg,#667eea,#764ba2);border-color:#0000;box-shadow:0 4px 12px #667eea66;color:#fff}.dfa-editors-panel{grid-gap:1rem;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:2px solid #667eea4d;border-radius:16px;box-shadow:0 8px 32px #0000001a;display:grid;gap:1rem;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));margin-bottom:1.5rem;padding:1.5rem}.dfa-editor-section{background:#f8fafc;border:1px solid #e5e7eb;border-radius:12px;padding:1rem}.dfa-editor-title{border-bottom:2px solid #667eea;color:#374151;font-size:.9rem;font-weight:700;letter-spacing:.5px;margin:0 0 .75rem;padding-bottom:.5rem;text-transform:uppercase}@media (max-width:768px){.dfa-editors-panel{grid-template-columns:1fr;padding:1rem}}.react-flow{direction:ltr}.react-flow__container{height:100%;left:0;position:absolute;top:0;width:100%}.react-flow__pane{cursor:grab;z-index:1}.react-flow__pane.selection{cursor:pointer}.react-flow__pane.dragging{cursor:grabbing}.react-flow__viewport{pointer-events:none;transform-origin:0 0;z-index:2}.react-flow__renderer{z-index:4}.react-flow__selection{z-index:6}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible{outline:none}.react-flow .react-flow__edges{overflow:visible;pointer-events:none}.react-flow__connection-path,.react-flow__edge-path{stroke:#b1b1b7;stroke-width:1;fill:none}.react-flow__edge{cursor:pointer;pointer-events:visibleStroke}.react-flow__edge.animated path{stroke-dasharray:5;animation:dashdraw .5s linear infinite}.react-flow__edge.animated path.react-flow__edge-interaction{stroke-dasharray:none;animation:none}.react-flow__edge.inactive{pointer-events:none}.react-flow__edge.selected,.react-flow__edge:focus,.react-flow__edge:focus-visible{outline:none}.react-flow__edge.selected .react-flow__edge-path,.react-flow__edge:focus .react-flow__edge-path,.react-flow__edge:focus-visible .react-flow__edge-path{stroke:#555}.react-flow__edge-textwrapper{pointer-events:all}.react-flow__edge-textbg{fill:#fff}.react-flow__edge .react-flow__edge-text{pointer-events:none;-webkit-user-select:none;user-select:none}.react-flow__connection{pointer-events:none}.react-flow__connection .animated{stroke-dasharray:5;animation:dashdraw .5s linear infinite}.react-flow__connectionline{z-index:1001}.react-flow__nodes{pointer-events:none;transform-origin:0 0}.react-flow__node{box-sizing:border-box;cursor:grab;pointer-events:all;position:absolute;transform-origin:0 0;-webkit-user-select:none;user-select:none}.react-flow__node.dragging{cursor:grabbing}.react-flow__nodesselection{pointer-events:none;transform-origin:left top;z-index:3}.react-flow__nodesselection-rect{cursor:grab;pointer-events:all;position:absolute}.react-flow__handle{background:#1a192b;border:1px solid #fff;border-radius:100%;height:6px;min-height:5px;min-width:5px;pointer-events:none;position:absolute;width:6px}.react-flow__handle.connectionindicator{cursor:crosshair;pointer-events:all}.react-flow__handle-bottom{bottom:-4px;left:50%;top:auto;transform:translate(-50%)}.react-flow__handle-top{left:50%;top:-4px;transform:translate(-50%)}.react-flow__handle-left{left:-4px;top:50%;transform:translateY(-50%)}.react-flow__handle-right{right:-4px;top:50%;transform:translateY(-50%)}.react-flow__edgeupdater{cursor:move;pointer-events:all}.react-flow__panel{margin:15px;position:absolute;z-index:5}.react-flow__panel.top{top:0}.react-flow__panel.bottom{bottom:0}.react-flow__panel.left{left:0}.react-flow__panel.right{right:0}.react-flow__panel.center{left:50%;transform:translateX(-50%)}.react-flow__attribution{background:#ffffff80;font-size:10px;margin:0;padding:2px 3px}.react-flow__attribution a{color:#999;text-decoration:none}@keyframes dashdraw{0%{stroke-dashoffset:10}}.react-flow__edgelabel-renderer{height:100%;pointer-events:none;position:absolute;-webkit-user-select:none;user-select:none;width:100%}.react-flow__edge.updating .react-flow__edge-path{stroke:#777}.react-flow__edge-text{font-size:10px}.react-flow__node.selectable:focus,.react-flow__node.selectable:focus-visible{outline:none}.react-flow__node-default,.react-flow__node-group,.react-flow__node-input,.react-flow__node-output{background-color:#fff;border:1px solid #1a192b;border-radius:3px;color:#222;font-size:12px;padding:10px;text-align:center;width:150px}.react-flow__node-default.selectable:hover,.react-flow__node-group.selectable:hover,.react-flow__node-input.selectable:hover,.react-flow__node-output.selectable:hover{box-shadow:0 1px 4px 1px #00000014}.react-flow__node-default.selectable.selected,.react-flow__node-default.selectable:focus,.react-flow__node-default.selectable:focus-visible,.react-flow__node-group.selectable.selected,.react-flow__node-group.selectable:focus,.react-flow__node-group.selectable:focus-visible,.react-flow__node-input.selectable.selected,.react-flow__node-input.selectable:focus,.react-flow__node-input.selectable:focus-visible,.react-flow__node-output.selectable.selected,.react-flow__node-output.selectable:focus,.react-flow__node-output.selectable:focus-visible{box-shadow:0 0 0 .5px #1a192b}.react-flow__node-group{background-color:#f0f0f040}.react-flow__nodesselection-rect,.react-flow__selection{background:#0059dc14;border:1px dotted #0059dccc}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible,.react-flow__selection:focus,.react-flow__selection:focus-visible{outline:none}.react-flow__controls{box-shadow:0 0 2px 1px #00000014}.react-flow__controls-button{align-items:center;background:#fefefe;border:none;border-bottom:1px solid #eee;box-sizing:initial;cursor:pointer;display:flex;height:16px;justify-content:center;padding:5px;-webkit-user-select:none;user-select:none;width:16px}.react-flow__controls-button:hover{background:#f4f4f4}.react-flow__controls-button svg{max-height:12px;max-width:12px;width:100%}.react-flow__controls-button:disabled{pointer-events:none}.react-flow__controls-button:disabled svg{fill-opacity:.4}.react-flow__minimap{background-color:#fff}.react-flow__minimap svg{display:block}.react-flow__resize-control{position:absolute}.react-flow__resize-control.left,.react-flow__resize-control.right{cursor:ew-resize}.react-flow__resize-control.bottom,.react-flow__resize-control.top{cursor:ns-resize}.react-flow__resize-control.bottom.right,.react-flow__resize-control.top.left{cursor:nwse-resize}.react-flow__resize-control.bottom.left,.react-flow__resize-control.top.right{cursor:nesw-resize}.react-flow__resize-control.handle{background-color:#3367d9;border:1px solid #fff;border-radius:1px;height:4px;transform:translate(-50%,-50%);width:4px}.react-flow__resize-control.handle.left{left:0;top:50%}.react-flow__resize-control.handle.right{left:100%;top:50%}.react-flow__resize-control.handle.top{left:50%;top:0}.react-flow__resize-control.handle.bottom{left:50%;top:100%}.react-flow__resize-control.handle.bottom.left,.react-flow__resize-control.handle.top.left{left:0}.react-flow__resize-control.handle.bottom.right,.react-flow__resize-control.handle.top.right{left:100%}.react-flow__resize-control.line{border:0 solid #3367d9}.react-flow__resize-control.line.left,.react-flow__resize-control.line.right{height:100%;top:0;transform:translate(-50%);width:1px}.react-flow__resize-control.line.left{border-left-width:1px;left:0}.react-flow__resize-control.line.right{border-right-width:1px;left:100%}.react-flow__resize-control.line.bottom,.react-flow__resize-control.line.top{height:1px;left:0;transform:translateY(-50%);width:100%}.react-flow__resize-control.line.top{border-top-width:1px;top:0}.react-flow__resize-control.line.bottom{border-bottom-width:1px;top:100%}.dfa-graph-container{background:#fff;border-radius:8px;box-shadow:0 2px 4px #0000001a;height:400px!important;margin:10px 0}.state-node{align-items:center;background:#fff;border:3px solid #1a192b;border-radius:50%;display:flex;font-size:18px;font-weight:700;height:70px;justify-content:center;position:relative;transition:all .3s ease;width:70px;z-index:1}.state-label{color:#1a192b;-webkit-user-select:none;user-select:none}.accept-state{border:2px solid #1a192b}.accept-state:after{border:3px solid #1a192b;border-radius:50%;bottom:-6px;content:"";left:-6px;position:absolute;right:-6px;top:-6px;transition:all .3s ease}.highlight-node.accept-state:after{border-color:#2196f3}.start-state:before{color:#1a192b;content:"→";font-size:30px;left:-35px;position:absolute;transition:all .3s ease}.highlight-node.start-state:before{color:#2196f3}.current-state{background:#e3f2fd;box-shadow:0 0 10px #2196f366}.current-state,.current-state:after{border-color:#2196f3}.react-flow__edge-path{transition:stroke .3s ease,stroke-width .3s ease}.react-flow__edge-text{font-size:14px;font-weight:500;pointer-events:none;transition:all .3s ease}.edge-top .react-flow__edge-text{transform:translateY(-12px)}.edge-bottom .react-flow__edge-text{transform:translateY(12px)}.react-flow__controls{box-shadow:0 2px 4px #0000001a}.react-flow__controls-button{background:#fff!important;border:none!important;color:#1a192b!important}.react-flow__background{background-color:#f8f9fa}.react-flow__edge.animated .react-flow__edge-path{stroke-dasharray:8;animation:flowingDash 1s linear infinite}@keyframes flowingDash{0%{stroke-dashoffset:16}to{stroke-dashoffset:0}}.state-node.current-state{background:#e3f2fd;border-color:#2196f3;box-shadow:0 0 0 2px #2196f34d}.dfa-control-panel-card{background:#fff;border-radius:8px;box-shadow:0 1px 3px #0000001a;padding:1rem}.dfa-control-panel-card-compact{background:#fffffff2;border-radius:8px;box-shadow:0 2px 8px #0000000f;padding:.5rem .75rem}.dfa-control-grid{grid-gap:1rem;display:grid;gap:1rem;grid-template-columns:1fr 1fr}.dfa-control-grid-compact{grid-gap:.75rem;align-items:center;display:grid;gap:.75rem;grid-template-columns:1.5fr 1fr}@media (max-width:768px){.dfa-control-grid{grid-template-columns:1fr}}.dfa-controls-section{display:flex;flex-direction:column;gap:.5rem}.dfa-control-group{display:flex;flex-direction:column;gap:.35rem}.dfa-control-label{color:#374151;display:block;font-size:.7rem;font-weight:500}.dfa-control-label-compact{color:#6b7280;display:block;font-size:.7rem;font-weight:600;letter-spacing:.5px;margin-bottom:.4rem;text-transform:uppercase}.dfa-button-group{display:flex;gap:8px}.dfa-button-group-compact{display:flex;flex-wrap:wrap;gap:.4rem}.dfa-btn{align-items:center;border:none;border-radius:6px;cursor:pointer;display:inline-flex;flex:1 1;font-size:.8rem;font-weight:500;gap:6px;justify-content:center;padding:.5rem .75rem;transition:all .2s}.dfa-btn:disabled{cursor:not-allowed;opacity:.5}.dfa-btn-icon{height:16px;width:16px}.dfa-btn-primary{background:#3b82f6;color:#fff}.dfa-btn-primary:hover:not(:disabled){background:#2563eb}.dfa-btn-secondary{background:#e5e7eb;color:#374151}.dfa-btn-secondary:hover:not(:disabled){background:#d1d5db}.dfa-btn-outline{background:#fff;border:2px solid #e5e7eb;color:#374151}.dfa-btn-outline:hover:not(:disabled){background:#eff6ff;border-color:#3b82f6}.dfa-btn-large{font-size:15px;padding:12px 20px}.dfa-btn-small{font-size:.65rem;font-weight:600;gap:.3rem;padding:.35rem .65rem}.dfa-speed-control-group{display:flex;flex-direction:column;gap:6px}.dfa-speed-label-row{align-items:center;display:flex;justify-content:space-between}.dfa-speed-value{color:#6b7280;font-size:.7rem}.dfa-speed-slider{-webkit-appearance:none;background:#e5e7eb;border-radius:2px;height:4px;outline:none;width:100%}.dfa-speed-slider::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:#3b82f6;border-radius:50%;cursor:pointer;height:14px;-webkit-transition:all .2s;transition:all .2s;width:14px}.dfa-speed-slider::-webkit-slider-thumb:hover{box-shadow:0 0 0 3px #3b82f633;transform:scale(1.1)}.dfa-speed-slider::-moz-range-thumb{background:#3b82f6;border:none;border-radius:50%;cursor:pointer;height:14px;-moz-transition:all .2s;transition:all .2s;width:14px}.dfa-speed-slider::-moz-range-thumb:hover{box-shadow:0 0 0 3px #3b82f633;transform:scale(1.1)}.dfa-state-display-section{display:flex;flex-direction:column;gap:8px}.dfa-info-row,.dfa-state-display-section-compact{align-items:center;display:flex}.dfa-info-row{gap:1rem;justify-content:flex-end;width:100%}.dfa-info-item{align-items:center;display:flex;flex-direction:column;gap:.4rem}.dfa-info-label{color:#6b7280;font-size:.7rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.dfa-state-badge{box-shadow:0 2px 4px #0000001a}.dfa-state-badge,.dfa-step-badge{border-radius:6px;font-family:Courier New,monospace;font-size:1.1rem;font-weight:700;min-width:50px;padding:.4rem 1rem;text-align:center}.dfa-step-badge{background:#f3f4f6;color:#1f2937}.dfa-state-group,.dfa-steps-group{display:flex;flex-direction:column;gap:6px}.dfa-state-display{border-radius:6px;box-shadow:0 2px 4px #0000001a;padding:10px;text-align:center}.dfa-state-name{font-family:Courier New,monospace;font-size:.85rem;font-weight:600}.dfa-state-status{font-size:.65rem;margin-top:4px;opacity:.9}.dfa-steps-display{background:#f3f4f6;border-radius:6px;padding:10px;text-align:center}.dfa-step-count{font-family:Courier New,monospace;font-size:1.1rem;font-weight:700}.dfa-speed-control-group-compact{align-items:center;display:flex;gap:.75rem}.dfa-speed-slider-compact{-webkit-appearance:none;background:#e5e7eb;border-radius:2px;flex:1 1;height:4px;outline:none}.dfa-speed-slider-compact::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:#3b82f6;border-radius:50%;cursor:pointer;height:14px;width:14px}.dfa-speed-slider-compact::-moz-range-thumb{background:#3b82f6;border:none;border-radius:50%;cursor:pointer;height:14px;width:14px}.dfa-speed-value-compact{color:#6b7280;font-size:.7rem;font-weight:600;min-width:50px}.dfa-test-cases-card{background:#fff;border-radius:8px;box-shadow:0 1px 3px #0000001a;padding:24px}.dfa-test-cases-header{border-radius:6px;margin-bottom:16px;transition:background-color .2s}.dfa-test-cases-header:hover{background-color:#f9fafb}.dfa-test-cases-header-content{align-items:center;display:flex;justify-content:space-between;margin:-8px;padding:8px}.dfa-collapse-btn{align-items:center;background:none;border:none;border-radius:4px;cursor:pointer;display:flex;justify-content:center;padding:4px;transition:background-color .2s}.dfa-collapse-btn:hover{background-color:#e5e7eb}.dfa-collapse-icon{color:#6b7280;height:20px;transition:transform .2s ease;width:20px}.dfa-test-cases-list{display:flex;flex-direction:column;gap:8px;max-height:400px;opacity:1;overflow:hidden;transition:max-height .3s ease,opacity .3s ease}.dfa-test-cases-list.collapsed{gap:0;max-height:0;opacity:0}.dfa-test-cases-title{color:#111827;font-size:18px;font-weight:600;margin:0 0 4px}.dfa-test-cases-subtitle{color:#6b7280;font-size:13px;margin:0}.dfa-test-case-item{align-items:center;border:1px solid #e5e7eb;border-radius:6px;display:flex;gap:12px;justify-content:space-between;padding:12px;transition:border-color .2s}.dfa-test-case-item:hover{border-color:#93c5fd}.dfa-test-case-content{display:flex;flex:1 1;flex-direction:column;gap:6px}.dfa-test-case-input{align-items:center;display:flex;gap:8px}.dfa-test-case-code{background:#f3f4f6;border-radius:4px;font-family:Courier New,monospace;font-size:13px;padding:4px 8px}.dfa-test-case-expected{align-items:center;display:flex;font-size:13px;gap:6px}.dfa-icon-success{color:#10b981;height:16px;width:16px}.dfa-icon-warning{color:#f59e0b;height:16px;width:16px}.dfa-text-success{color:#059669}.dfa-text-warning{color:#d97706}.dfa-btn-small{font-size:13px;padding:6px 12px}.transitions-editor{background:#0000;padding:0}.editor-header{align-items:flex-start;border-bottom:2px solid #f3f4f6;margin-bottom:1rem;padding-bottom:1rem}.editor-header,.editor-header-simple{display:flex;justify-content:space-between}.editor-header-simple{align-items:center;margin-bottom:.5rem}.editor-title{color:#1f2937;font-size:1.1rem;font-weight:700;margin:0}.btn-add,.editor-subtitle{font-size:.7rem}.btn-add{align-items:center;background:#1f2937;border:none;border-radius:4px;color:#fff;cursor:pointer;display:inline-flex;font-weight:600;gap:.25rem;padding:.3rem .6rem;transition:all .2s}.btn-add:hover{background:#111827;box-shadow:0 4px 12px #00000026;transform:translateY(-1px)}.transitions-list{display:flex;flex-direction:column;gap:.3rem;max-height:250px;overflow-y:auto}.transition-item{align-items:center;background:#f9fafb;border:1px solid #e5e7eb;border-radius:4px;display:flex;font-family:Courier New,monospace;font-size:.75rem;justify-content:space-between;padding:.35rem .5rem;transition:all .2s}.transition-item:hover{background:#f3f4f6;border-color:#d1d5db}.transition-text{color:#1f2937;font-size:.75rem}.delta-symbol{color:#3b82f6;font-weight:700}.transition-text .state-name{color:#7c3aed;font-size:.7rem;font-weight:500}.symbol-name{color:#dc2626;font-size:.7rem;font-weight:600}.equals{color:#6b7280;margin:0 .5rem}.transition-actions{display:flex;gap:.5rem}.btn-icon-add{color:#3b82f6}.btn-icon-add:hover{background:#dbeafe}.transition-add-form{background:#eff6ff;border:2px dashed #3b82f6;border-radius:6px;margin-bottom:.4rem;padding:.75rem}.form-inputs{align-items:center;display:flex;flex-wrap:wrap;font-size:.85rem;gap:.4rem;margin-bottom:.5rem}.form-inputs,.input-small{font-family:Courier New,monospace}.input-small{border:1px solid #d1d5db;border-radius:4px;font-size:.8rem;font-weight:600;padding:.3rem .5rem;text-align:center;width:50px}.input-small:focus{border-color:#3b82f6;box-shadow:0 0 0 3px #3b82f61a;outline:none}.separator{color:#6b7280}.form-actions{gap:.5rem}.btn-cancel,.btn-save{border:none;border-radius:4px;cursor:pointer;font-size:.75rem;font-weight:600;padding:.4rem .75rem;transition:all .2s}.btn-save{background:#3b82f6;color:#fff}.btn-save:hover{background:#2563eb}.btn-cancel{background:#f3f4f6;color:#6b7280}.btn-cancel:hover{background:#e5e7eb}.empty-state{color:#9ca3af;padding:2rem}.empty-state p{margin:.25rem 0}.empty-hint{font-size:.8rem}.btn-epsilon-small{align-items:center;background:#f3f4f6;border:1px solid #d1d5db;border-radius:4px;color:#374151;cursor:pointer;display:inline-flex;font-size:14px;justify-content:center;line-height:1;padding:2px 6px;transition:all .2s}.btn-epsilon-small:hover{background:#e5e7eb;border-color:#9ca3af;color:#111827}.states-editor{background:#0000;padding:0}.states-list{display:flex;flex-direction:column;gap:.3rem;max-height:250px;overflow-y:auto}.state-item{align-items:center;background:#f9fafb;border:1px solid #e5e7eb;border-radius:4px;display:flex;justify-content:space-between;padding:.4rem .6rem;transition:all .2s}.state-item:hover{background:#f3f4f6;border-color:#d1d5db}.state-info{align-items:center;display:flex;gap:.5rem}.state-info .state-name{color:#1f2937;font-family:Courier New,monospace;font-size:.7rem!important;font-weight:500!important}.state-badges{display:flex;gap:.3rem}.badge{border-radius:3px;font-size:.6rem;font-weight:600;letter-spacing:.2px;padding:.15rem .4rem;text-transform:uppercase}.badge-start{background:#dbeafe;color:#1e40af}.badge-final{background:#1f2937;color:#fff}.state-actions{display:flex;gap:.35rem}.btn-toggle{background:#fff;border:1px solid #e5e7eb;border-radius:3px;color:#374151;cursor:pointer;font-size:.65rem;font-weight:500;padding:.3rem .5rem;transition:all .2s}.btn-toggle:hover{background:#f9fafb;border-color:#3b82f6;color:#3b82f6}.state-add-form{background:#eff6ff;border:2px dashed #3b82f6;border-radius:6px;margin-bottom:.4rem;padding:.75rem}.input-state{border:1px solid #d1d5db;border-radius:4px;font-family:Courier New,monospace;font-size:.85rem;font-weight:600;margin-bottom:.5rem;padding:.5rem .75rem;width:100%}.input-state:focus{border-color:#3b82f6;box-shadow:0 0 0 3px #3b82f61a;outline:none}.btn-add-state{align-items:center;background:#fff;border:2px dashed #d1d5db;border-radius:4px;color:#6b7280;cursor:pointer;display:flex;font-size:.7rem;font-weight:600;gap:.3rem;justify-content:center;padding:.4rem;transition:all .2s;width:100%}.btn-add-state:hover:not(:disabled){background:#f9fafb;border-color:#3b82f6;color:#3b82f6}.btn-add-state:disabled{cursor:not-allowed;opacity:.5}.btn-icon{align-items:center;background:#0000;border:none;border-radius:6px;cursor:pointer;display:flex;justify-content:center;padding:.4rem;transition:all .2s}.btn-icon-delete{background:#dc26261a;border:1px solid #dc262633;color:#dc2626;font-size:.85rem}.btn-icon-delete:hover{background:#fee2e2;border-color:#dc2626;color:#991b1b;transform:scale(1.1)}.collapsible-section{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:12px;box-shadow:0 4px 12px #00000014;overflow:hidden;padding:0}.collapsible-header{align-items:center;background:#0000;border:none;cursor:pointer;display:flex;justify-content:space-between;padding:.75rem 1rem;transition:all .2s;width:100%}.collapsible-header:hover{background:#00000005}.collapsible-title{color:#1f2937;font-size:.95rem;font-weight:600;margin:0}.collapsible-content{animation:slideDown .2s ease-out;padding:0 1rem 1rem}@keyframes slideDown{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.nfa-simulator-new{animation:gradientShift 8s ease infinite;background:linear-gradient(135deg,#667eea,#764ba2 50%,#667eea);background-size:200% 200%;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;min-height:100%;padding:1rem}.challenge-banner p{font-size:1.1rem;line-height:1.6;margin:.5rem 0}.validate-challenge-btn{align-items:center;background:#fff;box-shadow:0 2px 8px #0003;color:#1976d2;display:flex;font-size:1.1rem;justify-content:center;margin-top:1rem;padding:1rem 2rem}.validate-challenge-btn:hover{background:#f5f5f5;box-shadow:0 4px 12px #00000040}.validation-results{background:#fff;color:#333}.validation-results h3{align-items:center;display:flex;font-size:1.4rem;gap:.5rem}.validation-results p{font-size:1.1rem}.test-results-list{display:flex;flex-direction:column;gap:.5rem;max-height:300px;overflow-y:auto}.test-result{gap:.75rem;padding:.75rem;transition:transform .2s ease}.test-result.pass{background:#e8f5e9;border-left:4px solid #4caf50}.nfa-container{display:flex;flex-direction:column;gap:1rem;margin:0 auto;max-width:100%}.nfa-header{color:#fff;margin-bottom:.75rem;text-align:center}.nfa-title{-webkit-text-fill-color:#0000;background:linear-gradient(45deg,#fff,#e0e7ff);-webkit-background-clip:text;background-clip:text;font-size:1.75rem;font-weight:700;margin:0 0 .5rem;text-shadow:0 2px 4px #0000004d}.nfa-subtitle{font-size:.875rem;font-weight:300;letter-spacing:.3px;margin:0;opacity:.95}.nfa-example-selector{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;margin-bottom:24px;margin-top:-8px;padding:16px 24px}.nfa-example-description{background:#8b5cf61a;border-left:3px solid #8b5cf6;border-radius:4px;color:#374151;font-size:.875rem;line-height:1.5;margin-top:.75rem;padding:.75rem}.nfa-example-description strong{color:#8b5cf6;font-weight:600}.nfa-selector-label{color:#374151;display:block;font-size:16px;font-weight:600;margin-bottom:12px}.nfa-selector-buttons{display:flex;flex-wrap:wrap;gap:12px}.nfa-selector-btn{background:#fff;border:2px solid #d1d5db;border-radius:8px;color:#374151;cursor:pointer;font-size:14px;font-weight:500;padding:10px 20px;transition:all .2s ease}.nfa-selector-btn:hover{background:#f8fafc;border-color:#667eea}.nfa-selector-btn.active{background:#667eea;border-color:#667eea;color:#fff}.nfa-grid{grid-gap:32px;align-items:start;display:grid;gap:32px;grid-template-columns:1.5fr 1fr}@media (max-width:1200px){.nfa-grid{gap:24px;grid-template-columns:1fr}}.nfa-left-col,.nfa-right-col{display:flex;flex-direction:column;gap:12px}.nfa-graph-card,.nfa-input-card,.nfa-steps-card,.nfa-table-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:10px;box-shadow:0 4px 12px #00000014;overflow:hidden;padding:.65rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.nfa-graph-card:before,.nfa-input-card:before,.nfa-steps-card:before,.nfa-table-card:before{animation:gradientMove 3s ease infinite;background:linear-gradient(90deg,#3b82f6,#8b5cf6,#06b6d4);background-size:200% 100%;content:"";height:4px;left:0;position:absolute;right:0;top:0}.nfa-graph-card:hover,.nfa-input-card:hover,.nfa-steps-card:hover,.nfa-table-card:hover{box-shadow:0 20px 60px #00000026;transform:translateY(-4px)}.nfa-card-title{align-items:center;color:#1f2937;display:flex;font-size:.8rem;font-weight:600;gap:6px;letter-spacing:.3px;margin:0 0 .5rem;position:relative;text-transform:uppercase}.nfa-card-title:after{background:linear-gradient(90deg,#e5e7eb,#0000);content:"";flex:1 1;height:2px;margin-left:16px}.nfa-input-group{display:flex;gap:8px;margin-bottom:0}.nfa-input{background:#fff;border:2px solid #e5e7eb;border-radius:6px;color:#000;flex:1 1;font-family:JetBrains Mono,Courier New,monospace;font-size:.85rem;font-weight:600;padding:.5rem .65rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.nfa-input:focus{background:#fff;border-color:#3b82f6;box-shadow:0 0 0 4px #3b82f61a;outline:none;transform:translateY(-1px)}.nfa-input::placeholder{color:#9ca3af;font-style:italic}.nfa-simulate-btn{background:linear-gradient(135deg,#3b82f6,#1d4ed8);border:2px solid #0000;border-radius:12px;color:#fff;cursor:pointer;font-size:16px;font-weight:600;padding:14px 24px;transition:all .3s cubic-bezier(.4,0,.2,1);white-space:nowrap}.nfa-simulate-btn:hover{background:linear-gradient(135deg,#2563eb,#1e40af);box-shadow:0 4px 16px #3b82f64d;transform:translateY(-2px)}.nfa-input-help{color:#6b7280;font-size:.7rem;margin:.3rem 0 0}.nfa-result-indicator{animation:fadeIn .3s ease-in;border-radius:4px;font-size:.7rem;font-weight:700;letter-spacing:.5px;margin-top:.4rem;padding:.35rem .6rem;text-align:center;text-transform:uppercase}.nfa-result-accepted{background:#dcfce7;border:2px solid #86efac;color:#166534}.nfa-result-rejected{background:#fee2e2;border:2px solid #fca5a5;color:#991b1b}.nfa-result{border-radius:12px;font-size:16px;font-weight:600;margin-top:16px;padding:16px;text-align:center}.nfa-result.accepted{background:linear-gradient(135deg,#dcfce7,#bbf7d0);border:2px solid #22c55e;color:#15803d}.nfa-result.rejected{background:linear-gradient(135deg,#fef2f2,#fecaca);border:2px solid #ef4444;color:#dc2626}.nfa-step-display{align-items:center;display:flex;justify-content:center;min-height:120px}.nfa-current-step{text-align:center}.step-number{color:#3b82f6;font-size:18px;font-weight:700;margin-bottom:8px}.step-description{color:#1f2937;font-size:16px;font-weight:600;margin-bottom:12px}.step-details{color:#6b7280;font-size:14px;line-height:1.5}.step-details>div{margin-bottom:4px}.no-step{color:#9ca3af;font-style:italic;text-align:center}.nfa-test-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;padding:24px}.test-cases-list{display:flex;flex-direction:column;gap:12px;margin-bottom:20px}.test-case-item{align-items:center;background:#f9fafb;border:1px solid #e5e7eb;border-radius:8px;display:flex;justify-content:space-between;padding:16px;transition:all .2s ease}.test-case-item:hover{background:#f8fafc;border-color:#667eea;box-shadow:0 2px 8px #667eea1a}.test-case-info{flex:1 1}.test-input{color:#374151;font-family:Monaco,Menlo,monospace;font-size:16px;font-weight:700;margin-bottom:4px}.test-description{color:#6b7280;font-size:14px;margin-bottom:8px}.test-expected{border-radius:4px;display:inline-block;font-size:12px;font-weight:700;padding:4px 8px;text-transform:uppercase}.test-expected.accept{background:#d1fae5;color:#065f46}.test-expected.reject{background:#fee2e2;color:#991b1b}.test-btn{background:#667eea;border:none;border-radius:6px;color:#fff;cursor:pointer;font-size:14px;font-weight:500;padding:8px 16px;transition:all .2s ease}.test-btn:hover{background:#5a67d8;box-shadow:0 4px 12px #667eea4d;transform:translateY(-1px)}.custom-test{border-top:1px solid #e5e7eb;padding-top:16px}.custom-test h4{color:#374151;font-size:16px;font-weight:600;margin-bottom:8px}.custom-test p{color:#6b7280;font-size:14px;line-height:1.5}.nfa-table-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:20px;box-shadow:0 10px 40px #0000001a;padding:28px;transition:all .3s cubic-bezier(.4,0,.2,1)}.nfa-table-card:hover{box-shadow:0 20px 60px #00000026;transform:translateY(-4px)}.nfa-table-card:before{animation:gradientMove 3s ease infinite;background:linear-gradient(90deg,#3b82f6,#8b5cf6,#06b6d4);background-size:200% 100%;content:"";height:4px;left:0;position:absolute;right:0;top:0}.nfa-table-wrapper{max-width:100%;overflow-x:auto}.nfa-table{border-collapse:collapse;font-size:14px;width:100%}.nfa-table thead{background:linear-gradient(135deg,#667eea,#764ba2);color:#fff}.nfa-table th{border-bottom:3px solid #5a67d8;font-size:12px;font-weight:600;letter-spacing:.5px;padding:14px 12px;text-align:left;text-transform:uppercase}.nfa-table td{border-bottom:1px solid #e5e7eb;color:#374151;padding:12px}.nfa-table tbody tr,.nfa-table td{transition:all .2s ease}.nfa-table tbody tr:hover{background:linear-gradient(90deg,#667eea0d,#0000)}.nfa-state-cell{color:#667eea;font-size:15px;font-weight:600}.nfa-current-state{background:linear-gradient(90deg,#3b82f626,#8b5cf61a)!important;border-left:4px solid #3b82f6}.nfa-current-state .nfa-state-cell{color:#2563eb;font-weight:700}.nfa-highlight{color:#3b82f6;font-weight:600}.nfa-step-desc,.nfa-step-info,.nfa-step-remaining,.nfa-step-state{background:#f9fafb;border-left:3px solid #667eea;border-radius:8px;margin-bottom:12px;padding:8px 12px}.nfa-btn{border:none;border-radius:6px;cursor:pointer;font-size:.75rem;font-weight:600;padding:.5rem .85rem;transition:all .2s ease}.nfa-btn-primary{background:linear-gradient(135deg,#3b82f6,#1d4ed8);color:#fff}.nfa-btn-primary:hover{background:linear-gradient(135deg,#2563eb,#1e40af);box-shadow:0 4px 16px #3b82f64d;transform:translateY(-2px)}@media (max-width:1024px){.nfa-control-grid,.nfa-grid{grid-template-columns:1fr}}@media (max-width:768px){.nfa-simulator-new{padding:16px}.nfa-title{font-size:32px}.nfa-subtitle{font-size:16px}.nfa-selector-buttons{flex-direction:column}.nfa-selector-btn{width:100%}.nfa-controls,.nfa-input-group{flex-direction:column}.nfa-control-btn{width:100%}}.nfa-path-slider{-webkit-appearance:none;background:#e5e7eb;border-radius:3px;cursor:pointer;height:6px;outline:none;transition:background .2s ease;width:100%}.nfa-path-slider:hover{background:#d1d5db}.nfa-path-slider::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:#8b5cf6;border-radius:50%;box-shadow:0 2px 4px #8b5cf64d;cursor:pointer;height:18px;-webkit-transition:all .2s ease;transition:all .2s ease;width:18px}.nfa-path-slider::-webkit-slider-thumb:hover{background:#7c3aed;box-shadow:0 3px 6px #8b5cf666;transform:scale(1.1)}.nfa-path-slider::-moz-range-thumb{background:#8b5cf6;border:none;border-radius:50%;box-shadow:0 2px 4px #8b5cf64d;cursor:pointer;height:18px;-moz-transition:all .2s ease;transition:all .2s ease;width:18px}.nfa-path-slider::-moz-range-thumb:hover{background:#7c3aed;box-shadow:0 3px 6px #8b5cf666;transform:scale(1.1)}.nfa-graph-container{background:#fff;border-radius:8px;box-shadow:0 2px 4px #0000001a;height:500px!important;margin:10px 0;width:100%}.nfa-state-node{align-items:center;background:#f3f4f6;border:3px solid #9ca3af;border-radius:50%;display:flex;font-size:18px;font-weight:700;height:70px;justify-content:center;position:relative;transition:all .3s ease;width:70px;z-index:1}.nfa-start-state{background:#faf5ff;border:3px solid #8b5cf6}.state-delete-btn{align-items:center;background:#ef4444;border:2px solid #fff;border-radius:50%;box-shadow:0 2px 4px #0003;color:#fff;cursor:pointer;display:flex;font-size:16px;font-weight:700;height:24px;justify-content:center;position:absolute;right:-8px;top:-8px;transition:all .2s ease;width:24px;z-index:10}.state-delete-btn:hover{background:#dc2626;transform:scale(1.1)}.nfa-state-label{color:#1f2937;-webkit-user-select:none;user-select:none}.nfa-accept-state{background:#f3f4f6;border:3px solid #9ca3af;position:relative}.nfa-accept-state.nfa-start-state{background:#faf5ff;border:3px solid #8b5cf6}.nfa-accept-state:after{background:#0000;border:3px solid #9ca3af;border-radius:50%;bottom:-6px;content:"";left:-6px;position:absolute;right:-6px;top:-6px;z-index:-1}.nfa-accept-state.nfa-start-state:after{border:3px solid #8b5cf6}.nfa-state-node[style*="opacity: 0"]{display:none!important;visibility:hidden!important}.nfa-current-state{background:#fae8ff;border-color:#8b5cf6;box-shadow:0 0 10px #8b5cf666}.nfa-current-state .nfa-state-label{color:#8b5cf6}.nfa-current-state:after{border-color:#8b5cf6}.nfa-current-state:before{color:#8b5cf6}.nfa-graph-container .react-flow__edge-path{stroke-width:2;transition:stroke .3s ease,stroke-width .3s ease,opacity .3s ease}.nfa-graph-container .react-flow__edge.animated .react-flow__edge-path{stroke-width:4!important;stroke-dasharray:8;animation:nfaFlowingDash 1s linear infinite;filter:drop-shadow(0 2px 4px rgba(0,0,0,.2));opacity:1!important}.nfa-graph-container .react-flow__edge.react-flow__edge-smoothstep .react-flow__edge-path{stroke-linecap:round;stroke-linejoin:round;fill:none}.nfa-graph-container .react-flow__edge-text{font-size:16px;font-weight:700;pointer-events:none;transition:all .3s ease}.edge-top .react-flow__edge-text{transform:translateY(-15px)}.edge-bottom .react-flow__edge-text{transform:translateY(15px)}.nfa-graph-container .react-flow__edge-textbg{fill-opacity:0!important;display:none!important}.nfa-graph-container .react-flow__edge[data-highlighted=true] .react-flow__edge-path{stroke-width:4!important;animation:pathPulse 1s ease-in-out infinite;opacity:1!important}@keyframes pathPulse{0%,to{opacity:1}50%{opacity:.85}}.nfa-graph-container .react-flow__controls{border-radius:8px;box-shadow:0 2px 4px #0000001a}.nfa-graph-container .react-flow__controls-button{background:#fff!important;border:none!important;color:#8b5cf6!important}.nfa-graph-container .react-flow__background{background-color:#f8f9fa}@keyframes nfaFlowingDash{0%{stroke-dashoffset:16}to{stroke-dashoffset:0}}.nfa-state-node .react-flow__handle{background:#0000;border:none;height:1px;opacity:0;width:1px}.nfa-graph-container .react-flow__edge.react-flow__edge-default,.nfa-graph-container .react-flow__edge.react-flow__edge-smoothstep{z-index:1}.nfa-graph-container .react-flow__edge-default .react-flow__arrowhead,.nfa-graph-container .react-flow__edge-smoothstep .react-flow__arrowhead{opacity:1!important;transition:transform .2s ease}.pda-simulator-new{animation:gradientShift 8s ease infinite;background:linear-gradient(135deg,#667eea,#764ba2 50%,#667eea);background-size:200% 200%;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;min-height:100vh;padding:24px}.pda-container{display:flex;flex-direction:column;gap:32px;margin:0 auto;max-width:1600px}.pda-header{color:#fff;margin-bottom:16px;text-align:center}.pda-title{-webkit-text-fill-color:#0000;background:linear-gradient(45deg,#fff,#e0e7ff);-webkit-background-clip:text;background-clip:text;font-size:1.75rem;font-weight:700;margin:0 0 12px;text-shadow:0 4px 8px #0000004d}.pda-subtitle{font-size:18px;font-weight:300;letter-spacing:.5px;margin:0;opacity:.95}@keyframes slideInFromTop{0%{opacity:0;transform:translateY(-20px)}to{opacity:1;transform:translateY(0)}}.challenge-banner-content h2{align-items:center;color:#856404;display:flex;font-size:1.5rem;gap:.5rem;margin:0 0 .75rem}.challenge-banner-content p{color:#664d03;font-size:1.1rem;line-height:1.6;margin:0 0 1rem}.validate-challenge-btn{background:linear-gradient(135deg,#ffc107,#ff9800);border:none;border-radius:8px;box-shadow:0 2px 8px #ff98004d;color:#fff;cursor:pointer;font-size:1rem;font-weight:600;padding:.75rem 1.5rem;transition:all .2s ease}.validate-challenge-btn:hover{box-shadow:0 4px 12px #ff980066;transform:translateY(-2px)}.validation-results{animation:slideIn .3s ease-out;border-radius:8px;margin-top:1.5rem;padding:1.5rem}.validation-results.all-pass{background:linear-gradient(135deg,#d4edda,#c3e6cb);border:2px solid #28a745}.validation-results.some-fail{background:linear-gradient(135deg,#f8d7da,#f5c6cb);border:2px solid #dc3545}.validation-results h3{font-size:1.25rem;margin:0 0 .75rem}.validation-results.all-pass h3{color:#155724}.validation-results.some-fail h3{color:#721c24}.validation-results p{font-size:1.05rem;font-weight:600;margin:0 0 1rem}.test-results{display:flex;flex-direction:column;gap:.5rem}.test-result{align-items:center;border-radius:6px;display:flex;font-size:.95rem;justify-content:space-between;padding:.5rem 1rem}.test-result.pass{background:#28a7451a;border:1px solid #28a745}.test-result.fail{background:#dc35451a;border:1px solid #dc3545}.test-result .test-input{font-family:Courier New,monospace}.test-result .test-status{font-weight:600}.test-result.pass .test-status{color:#28a745}.test-result.fail .test-status{color:#dc3545}.pda-example-selector{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;margin-bottom:24px;margin-top:-8px;padding:16px 24px}.pda-example-description{background:#ec48991a;border-left:3px solid #ec4899;border-radius:4px;color:#374151;font-size:.875rem;line-height:1.5;margin-top:.75rem;padding:.75rem}.pda-example-description strong{color:#ec4899;font-weight:600}.pda-selector-label{color:#374151;display:block;font-size:16px;font-weight:600;margin-bottom:12px}.pda-selector-buttons{display:flex;flex-wrap:wrap;gap:12px}.pda-selector-btn{background:#fff;border:2px solid #d1d5db;border-radius:8px;color:#374151;cursor:pointer;font-size:14px;font-weight:500;padding:10px 20px;transition:all .2s ease}.pda-selector-btn:hover{background:#f8fafc;border-color:#667eea}.pda-selector-btn.active{background:#667eea;border-color:#667eea;color:#fff}.pda-grid{grid-gap:24px;display:grid;gap:24px;grid-template-columns:1fr 1fr}.pda-left-col,.pda-right-col{display:flex;flex-direction:column;gap:12px}.pda-card-title{color:#374151;font-size:.8rem;font-weight:600;letter-spacing:.3px;margin:0 0 .5rem;text-transform:uppercase}.pda-stack-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;padding:24px}.pda-stack-container{align-items:center;display:flex;flex-direction:column;min-height:300px;position:relative}.pda-stack{align-items:center;display:flex;flex-direction:column-reverse;gap:8px;margin-bottom:16px}.pda-stack-empty{color:#9ca3af;font-style:italic;padding:40px}.pda-stack-item{align-items:center;background:#fff;border:3px solid #d1d5db;border-radius:8px;display:flex;font-size:24px;font-weight:700;height:60px;justify-content:center;transition:all .3s ease;width:80px}.pda-stack-top{background:#f0f4ff;border-color:#667eea;box-shadow:0 4px 12px #667eea4d}.pda-stack-label{color:#6b7280;font-size:14px;font-weight:500}.pda-input-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:10px;box-shadow:0 8px 32px #0000001a;padding:.65rem}.pda-input-group{display:flex;gap:8px;margin-bottom:0}.pda-input{border:2px solid #d1d5db;border-radius:6px;flex:1 1;font-family:Monaco,Menlo,monospace;font-size:.85rem;padding:.5rem .65rem;transition:border-color .2s ease}.pda-input:focus{border-color:#667eea;outline:none}.pda-btn{border:none;border-radius:6px;cursor:pointer;font-size:.75rem;font-weight:600;padding:.5rem .85rem;transition:all .2s ease}.pda-btn-primary{background:#667eea;color:#fff}.pda-btn-primary:hover{background:#5a67d8}.pda-result-indicator{animation:fadeIn .3s ease-in;border-radius:6px;font-size:.7rem;font-weight:700;letter-spacing:.5px;margin-top:.5rem;padding:.4rem .65rem;text-align:center;text-transform:uppercase}.pda-result-accepted{background:#dcfce7;border:2px solid #86efac;color:#166534}.pda-result-rejected{background:#fee2e2;border:2px solid #fca5a5;color:#991b1b}.pda-input-help{color:#6b7280;font-size:.7rem;margin:.5rem 0 0}.pda-input-visualization{display:flex;flex-wrap:wrap;gap:4px;margin-top:16px}.pda-input-char{align-items:center;border:2px solid #d1d5db;border-radius:6px;display:flex;font-family:Monaco,Menlo,monospace;font-size:16px;font-weight:700;height:32px;justify-content:center;transition:all .2s ease;width:32px}.pda-processed{background:#d1fae5;border-color:#10b981;color:#065f46}.pda-current{animation:pulse 1s infinite;background:#fef3c7;border-color:#f59e0b;color:#92400e}.pda-remaining{background:#fff;color:#374151}.pda-control-panel{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:10px;box-shadow:0 8px 32px #0000001a;padding:.65rem}.pda-control-grid{grid-gap:.75rem;display:grid;gap:.75rem;grid-template-columns:1fr 1fr}.pda-status{display:flex;flex-direction:column;gap:.5rem}.pda-status-item{align-items:center;display:flex;justify-content:space-between}.pda-status-label{color:#6b7280;font-size:.7rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.pda-status-value{color:#667eea;font-family:Monaco,Menlo,monospace;font-size:.85rem;font-weight:700}.pda-status-result.accepted{color:#10b981}.pda-status-result.rejected{color:#ef4444}.pda-controls{display:flex;flex-wrap:wrap;gap:.4rem}.pda-control-btn{flex:1 1;min-width:auto}.pda-btn-outline{background:#fff;border:2px solid #d1d5db;color:#374151}.pda-btn-outline:hover{border-color:#667eea;color:#667eea}.pda-btn:disabled{cursor:not-allowed;opacity:.5}.pda-speed-control{align-items:center;display:flex;gap:6px;grid-column:span 2;margin-top:.5rem}.pda-speed-label{color:#6b7280;font-size:.7rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.pda-speed-slider{-webkit-appearance:none;background:#e5e7eb;border-radius:2px;flex:1 1;height:4px;outline:none}.pda-speed-slider::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:#667eea;border-radius:50%;cursor:pointer;height:14px;width:14px}.pda-speed-slider::-moz-range-thumb{background:#667eea;border:none;border-radius:50%;cursor:pointer;height:14px;width:14px}.pda-speed-value{color:#6b7280;font-size:.7rem;font-weight:600;min-width:50px;text-align:right}.pda-test-cases{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;padding:24px}.pda-test-list{display:flex;flex-direction:column;gap:8px}.pda-test-item{align-items:center;background:#f9fafb;border-radius:6px;display:flex;gap:12px;padding:8px 12px}.pda-test-btn{background:#fff;border:1px solid #d1d5db;border-radius:4px;cursor:pointer;flex:1 1;padding:8px 12px;transition:all .2s ease}.pda-test-btn:hover{background:#f8fafc;border-color:#667eea}.pda-test-input{color:#374151;font-family:Monaco,Menlo,monospace}.pda-test-expected{border-radius:4px;font-size:12px;font-weight:700;padding:4px 8px;text-transform:uppercase}.pda-test-expected.accept{background:#d1fae5;color:#065f46}.pda-test-expected.reject{background:#fee2e2;color:#991b1b}.pda-steps-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;padding:24px}.pda-step-display{background:#f9fafb;border-radius:8px;font-family:Monaco,Menlo,monospace;font-size:14px;line-height:1.5;padding:16px}.pda-step-info{color:#374151;margin-bottom:8px}.pda-step-state{color:#667eea;margin-bottom:4px}.pda-step-stack{color:#10b981;margin-bottom:4px}.pda-step-remaining{color:#6b7280;margin-bottom:8px}.pda-step-desc{color:#374151}.pda-highlight{font-weight:700}.pda-table-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;padding:24px}.pda-table-wrapper{overflow-x:auto}.pda-table{border-collapse:collapse;font-size:14px;width:100%}.pda-table td,.pda-table th{border-bottom:1px solid #e5e7eb;padding:12px;text-align:left}.pda-table th{color:#374151;font-weight:600}.pda-table tbody tr:hover,.pda-table th{background:#f9fafb}.pda-state-cell{color:#667eea;font-family:Monaco,Menlo,monospace;font-weight:700}.pda-current-transition{background:#fef3c7!important;border-left:4px solid #f59e0b}.pda-graph-card{background:#fffffffa;border-radius:12px;overflow:hidden;padding:0}@media (max-width:1024px){.pda-control-grid,.pda-grid{grid-template-columns:1fr}}@media (max-width:768px){.pda-simulator-new{padding:16px}.pda-title{font-size:1.5rem}.pda-subtitle{font-size:16px}.pda-selector-buttons{flex-direction:column}.pda-selector-btn{width:100%}.pda-controls,.pda-input-group{flex-direction:column}.pda-control-btn{width:100%}}.pda-edit-toggle{display:flex;justify-content:center;margin-bottom:1rem}.pda-edit-btn{align-items:center;background:#fffffff2;border:2px solid #e5e7eb;border-radius:12px;box-shadow:0 2px 8px #0000001a;color:#374151;cursor:pointer;display:flex;font-size:14px;font-weight:600;gap:8px;padding:12px 24px;transition:all .3s ease}.pda-edit-btn:hover{background:#f8fafc;border-color:#667eea;box-shadow:0 4px 12px #667eea33;transform:translateY(-2px)}.pda-edit-btn.active{background:linear-gradient(135deg,#667eea,#764ba2);border-color:#0000;box-shadow:0 4px 12px #667eea66;color:#fff}.pda-editors-panel{grid-gap:1rem;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:2px solid #667eea4d;border-radius:16px;box-shadow:0 8px 32px #0000001a;display:grid;gap:1rem;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));margin-bottom:1.5rem;padding:1.5rem}.pda-editor-section{background:#f8fafc;border:1px solid #e5e7eb;border-radius:12px;padding:1rem}.pda-editor-title{border-bottom:2px solid #667eea;color:#374151;font-size:.9rem;font-weight:700;letter-spacing:.5px;margin:0 0 .75rem;padding-bottom:.5rem;text-transform:uppercase}@media (max-width:768px){.pda-editors-panel{grid-template-columns:1fr;padding:1rem}}.pda-graph-wrapper{background:#fff;border:1px solid #e2e8f0;border-radius:12px;box-shadow:0 4px 6px -1px #0000000d;height:300px;overflow:hidden;width:100%}.pda-node{height:60px;position:relative;width:60px}.pda-node,.pda-node-content{align-items:center;display:flex;justify-content:center}.pda-node-content{background:#fff;border:2.5px solid #334155;border-radius:50%;box-shadow:0 2px 4px #00000014;height:100%;transition:all .25s cubic-bezier(.4,0,.2,1);width:100%;z-index:2}.pda-label{color:#1e293b;font-family:Inter,-apple-system,BlinkMacSystemFont,sans-serif;font-size:15px;font-weight:700;-webkit-user-select:none;user-select:none}.pda-handle{height:1px;opacity:0;width:1px}.pda-double-ring{border:2.5px solid #334155;border-radius:50%;bottom:-6px;left:-6px;pointer-events:none;position:absolute;right:-6px;top:-6px}.pda-start-arrow{border-bottom:8px solid #0000;border-left:14px solid #334155;border-top:8px solid #0000;height:0;left:-28px;position:absolute;width:0}.pda-start-arrow:before{background:#334155;content:"";height:2.5px;position:absolute;right:14px;top:50%;transform:translateY(-50%);width:18px}.pda-node.active .pda-node-content{background:#eff6ff;border-color:#3b82f6;box-shadow:0 0 0 4px #3b82f640,0 4px 12px #3b82f633;transform:scale(1.08)}.pda-node.active .pda-double-ring{border-color:#3b82f6}.pda-node.active .pda-start-arrow{border-left-color:#3b82f6}.pda-node.active .pda-start-arrow:before{background:#3b82f6}.pda-node.active .pda-label{color:#1d4ed8}.react-flow__edge-path{stroke:#64748b;stroke-width:2}.pda-edge-label{background:#fff!important;border-radius:8px!important;box-shadow:0 2px 8px #00000014!important}.pda-edge-label::-webkit-scrollbar{width:4px}.pda-edge-label::-webkit-scrollbar-track{background:#f1f5f9;border-radius:2px}.pda-edge-label::-webkit-scrollbar-thumb{background:#cbd5e1;border-radius:2px}.react-flow__attribution{display:none}.react-flow__controls{border:1px solid #e2e8f0;border-radius:8px;box-shadow:none;overflow:hidden}.react-flow__controls-button{background:#fff;border-bottom:1px solid #e2e8f0;color:#475569;transition:background .15s}.react-flow__controls-button:hover{background:#f8fafc}.react-flow__controls-button:last-child{border-bottom:none}.react-flow__background{background-color:#fafbfc}.cfg-simulator-new{animation:gradientShift 8s ease infinite;background:linear-gradient(135deg,#667eea,#764ba2 50%,#667eea);background-size:200% 200%;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;min-height:100vh;padding:24px}.test-result.fail{background:#ffebee;border-left:4px solid #f44336}.test-result .test-icon{align-items:center;display:flex}.test-result .test-input{font-family:monospace;font-weight:600;min-width:80px}.test-result .test-actual,.test-result .test-expected{color:#666;font-size:.9rem}.cfg-container{display:flex;flex-direction:column;gap:32px;margin:0 auto;max-width:1600px}.cfg-header{color:#fff;margin-bottom:16px;text-align:center}.cfg-title{-webkit-text-fill-color:#0000;background:linear-gradient(45deg,#fff,#e0e7ff);-webkit-background-clip:text;background-clip:text;font-size:1.75rem;font-weight:700;margin:0 0 12px;text-shadow:0 4px 8px #0000004d}.cfg-subtitle{font-size:18px;font-weight:300;letter-spacing:.5px;margin:0;opacity:.95}.cfg-example-selector{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;margin-bottom:24px;margin-top:-8px;padding:16px 24px}.cfg-example-description{background:#22c55e1a;border-left:3px solid #22c55e;border-radius:4px;color:#374151;font-size:.875rem;line-height:1.5;margin-top:.75rem;padding:.75rem}.cfg-example-description strong{color:#22c55e;font-weight:600}.cfg-selector-label{color:#374151;display:block;font-size:16px;font-weight:600;margin-bottom:12px}.cfg-selector-buttons{display:flex;flex-wrap:wrap;gap:12px}.cfg-selector-btn{background:#fff;border:2px solid #d1d5db;border-radius:8px;color:#374151;cursor:pointer;font-size:14px;font-weight:500;padding:10px 20px;transition:all .2s ease}.cfg-selector-btn:hover{background:#f8fafc;border-color:#667eea}.cfg-selector-btn.active{background:#667eea;border-color:#667eea;color:#fff}.cfg-grid{grid-gap:24px;display:grid;gap:24px;grid-template-columns:1fr 1fr}.cfg-left-col,.cfg-right-col{display:flex;flex-direction:column;gap:12px}.cfg-card-title{color:#374151;font-size:.8rem;font-weight:600;letter-spacing:.3px;margin:0 0 .5rem;text-transform:uppercase}.cfg-grammar-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;margin-top:0;padding:24px}.cfg-rules-list{display:flex;flex-direction:column;gap:8px;margin-bottom:16px}.cfg-rule{align-items:center;background:#f9fafb;border-radius:6px;display:flex;font-family:Monaco,Menlo,monospace;gap:8px;padding:8px 12px}.cfg-rule-left{color:#667eea;font-weight:700}.cfg-rule-arrow{color:#6b7280}.cfg-rule-right{color:#374151}.cfg-grammar-info{border-top:1px solid #e5e7eb;padding-top:16px}.cfg-grammar-info p{color:#6b7280;font-size:14px;margin:4px 0}.cfg-input-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:10px;box-shadow:0 8px 32px #0000001a;padding:.65rem}.cfg-input-group{display:flex;gap:8px;margin-bottom:0}.cfg-input{border:2px solid #d1d5db;border-radius:6px;flex:1 1;font-family:Monaco,Menlo,monospace;font-size:.85rem;padding:.5rem .65rem;transition:border-color .2s ease}.cfg-input:focus{border-color:#667eea;outline:none}.cfg-btn{border:none;border-radius:6px;cursor:pointer;font-size:.75rem;font-weight:600;padding:.5rem .85rem;transition:all .2s ease}.cfg-btn-primary{background:#667eea;color:#fff}.cfg-btn-primary:hover{background:#5a67d8}.cfg-input-help{color:#6b7280;font-size:.7rem;margin:.5rem 0 0}.cfg-result{border-radius:6px;font-size:.7rem;font-weight:700;letter-spacing:.5px;margin-top:.5rem;padding:.4rem .65rem;text-align:center;text-transform:uppercase}.cfg-result.accepted{background:#d1fae5;color:#065f46}.cfg-result.rejected{background:#fee2e2;color:#991b1b}.cfg-control-panel{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:10px;box-shadow:0 8px 32px #0000001a;padding:.65rem}.cfg-control-grid{grid-gap:.75rem;display:grid;gap:.75rem;grid-template-columns:1fr 1fr}.cfg-status{display:flex;flex-direction:column;gap:.5rem}.cfg-status-item{align-items:center;display:flex;justify-content:space-between}.cfg-status-label{color:#6b7280;font-size:.7rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.cfg-status-value{color:#667eea;font-family:Monaco,Menlo,monospace;font-size:.85rem;font-weight:700}.cfg-status-result.accepted{color:#10b981}.cfg-status-result.rejected{color:#ef4444}.cfg-controls{display:flex;flex-wrap:wrap;gap:.4rem}.cfg-control-btn{flex:1 1;min-width:auto}.cfg-btn-outline{background:#fff;border:2px solid #d1d5db;color:#374151}.cfg-btn-outline:hover{border-color:#667eea;color:#667eea}.cfg-btn:disabled{cursor:not-allowed;opacity:.5}.cfg-speed-control{align-items:center;display:flex;gap:6px;grid-column:span 2;margin-top:.5rem}.cfg-speed-label{color:#6b7280;font-size:.7rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.cfg-speed-slider{-webkit-appearance:none;background:#e5e7eb;border-radius:2px;flex:1 1;height:4px;outline:none}.cfg-speed-slider::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:#667eea;border-radius:50%;cursor:pointer;height:14px;width:14px}.cfg-speed-slider::-moz-range-thumb{background:#667eea;border:none;border-radius:50%;cursor:pointer;height:14px;width:14px}.cfg-speed-value{color:#6b7280;font-size:.7rem;font-weight:600;min-width:50px;text-align:right}.cfg-test-cases{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;padding:24px}.cfg-test-list{display:flex;flex-direction:column;gap:8px}.cfg-test-item{align-items:center;background:#f9fafb;border-radius:6px;display:flex;gap:12px;padding:8px 12px}.cfg-test-btn{background:#fff;border:1px solid #d1d5db;border-radius:4px;cursor:pointer;flex:1 1;padding:8px 12px;transition:all .2s ease}.cfg-test-btn:hover{background:#f8fafc;border-color:#667eea}.cfg-test-input{color:#374151;font-family:Monaco,Menlo,monospace}.cfg-test-expected{border-radius:4px;font-size:12px;font-weight:700;padding:4px 8px;text-transform:uppercase}.cfg-test-expected.accept{background:#d1fae5;color:#065f46}.cfg-test-expected.reject{background:#fee2e2;color:#991b1b}.cfg-visualization-container{grid-gap:24px;display:grid;gap:24px;grid-template-columns:1fr 1fr;width:100%}.cfg-derivation-card{background:#0000;border:none;box-shadow:none;padding:0}.cfg-derivation-empty{color:#9ca3af;padding:40px;text-align:center}.cfg-derivation-empty p{font-size:14px;margin:0}.cfg-derivation-steps{display:flex;flex-direction:column;gap:12px;max-height:500px;overflow-y:auto;padding:8px 0}.cfg-derivation-step{border:2px solid #e5e7eb;border-radius:8px;padding:16px;transition:all .3s ease}.cfg-derivation-step.current{background:#f0f4ff;border-color:#667eea;box-shadow:0 4px 12px #667eea33}.cfg-derivation-step.completed{background:#f0fdf4;border-color:#10b981}.cfg-derivation-step.pending{opacity:.6}.cfg-step-header{align-items:center;display:flex;justify-content:space-between;margin-bottom:8px}.cfg-step-number{color:#374151;font-weight:700}.cfg-step-rule{color:#6b7280;font-size:14px}.cfg-step-rule,.cfg-step-string{font-family:Monaco,Menlo,monospace}.cfg-step-string{background:#f9fafb;border-radius:6px;display:flex;flex-wrap:wrap;font-size:16px;gap:2px;margin-bottom:8px;padding:12px}.cfg-char{border-radius:3px;display:inline-block;padding:2px 4px}.cfg-char.variable{background:#dbeafe;color:#1e40af;font-weight:700}.cfg-char.terminal{background:#f3f4f6;color:#374151}.cfg-step-desc{color:#6b7280;font-size:14px}.cfg-tree-card{background:#0000;border:none;box-shadow:none;padding:0}.cfg-tree-placeholder{color:#9ca3af;padding:40px;text-align:center}.cfg-tree-placeholder p{margin:8px 0}@media (max-width:1024px){.cfg-control-grid,.cfg-grid,.cfg-visualization-container{grid-template-columns:1fr}}@media (max-width:768px){.cfg-simulator-new{padding:16px}.cfg-title{font-size:1.5rem}.cfg-subtitle{font-size:16px}.cfg-selector-buttons{flex-direction:column}.cfg-selector-btn{width:100%}.cfg-controls,.cfg-input-group{flex-direction:column}.cfg-control-btn{width:100%}}.cfg-edit-toggle{display:flex;justify-content:center;margin-bottom:1rem}.cfg-edit-btn{align-items:center;background:#fffffff2;border:2px solid #e5e7eb;border-radius:12px;box-shadow:0 2px 8px #0000001a;color:#374151;cursor:pointer;display:flex;font-size:14px;font-weight:600;gap:8px;padding:12px 24px;transition:all .3s ease}.cfg-edit-btn:hover{background:#f8fafc;border-color:#667eea;box-shadow:0 4px 12px #667eea33;transform:translateY(-2px)}.cfg-edit-btn.active{background:linear-gradient(135deg,#667eea,#764ba2);border-color:#0000;box-shadow:0 4px 12px #667eea66;color:#fff}.cfg-editors-panel{grid-gap:1rem;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:2px solid #667eea4d;border-radius:16px;box-shadow:0 8px 32px #0000001a;display:grid;gap:1rem;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));margin-bottom:1.5rem;padding:1.5rem}.cfg-editor-section{background:#f8fafc;border:1px solid #e5e7eb;border-radius:12px;padding:1rem}.cfg-editor-title{border-bottom:2px solid #667eea;color:#374151;font-size:.9rem;font-weight:700;letter-spacing:.5px;margin:0 0 .75rem;padding-bottom:.5rem;text-transform:uppercase}@media (max-width:768px){.cfg-editors-panel{grid-template-columns:1fr;padding:1rem}}.parse-tree-container{padding:.75rem;width:100%}.parse-tree-empty{color:#6b7280;font-size:.875rem;padding:2rem;text-align:center}.hierarchical-tree{align-items:center;display:flex;flex-direction:column;gap:.5rem}.tree-title{color:#374151;font-size:.85rem;font-weight:600;margin-bottom:.5rem}.tree-path{align-items:center;display:flex;flex-direction:column;gap:.5rem;max-height:400px;overflow-y:auto;padding:.5rem;width:100%}.tree-node{background:#f9fafb;border:2px solid #e5e7eb;border-radius:8px;min-width:120px;padding:.6rem 1rem;text-align:center;transition:all .2s}.tree-node-current{background:#dbeafe;border-color:#3b82f6;box-shadow:0 0 0 3px #3b82f61a}.tree-node-value{font-family:Courier New,monospace;font-size:1rem;font-weight:600;letter-spacing:.1em;margin-bottom:.25rem}.node-char{display:inline-block;padding:.1rem .2rem}.node-var{color:#7c3aed;font-weight:700}.node-term{color:#059669}.tree-node-rule{color:#6b7280;font-family:Courier New,monospace;font-size:.7rem;margin-top:.25rem}.tree-connector{color:#9ca3af;font-size:1.5rem;height:1.5rem;line-height:1}.text-tree{display:flex;flex-direction:column;gap:.5rem;padding:.5rem}.tree-level{gap:.75rem}.tree-level,.tree-level-number{align-items:center;display:flex}.tree-level-number{background:#3b82f6;border-radius:50%;color:#fff;flex-shrink:0;font-size:.75rem;font-weight:600;height:24px;justify-content:center;width:24px}.tree-level-content{background:#f9fafb;border:1px solid #e5e7eb;border-radius:6px;flex:1 1;padding:.5rem .75rem}.tree-string{font-family:Courier New,monospace;font-size:.9rem;font-weight:600;margin-bottom:.25rem}.tree-char{padding:.1rem .15rem}.tree-char-highlight{background:#fef3c7;border-radius:3px;color:#92400e}.tree-production{color:#6b7280;font-family:Courier New,monospace;font-size:.7rem}.tree-arrow{color:#9ca3af;font-size:1.2rem;margin-left:12px;text-align:center}@media (prefers-color-scheme:dark){.tree-node{background:#1f2937;border-color:#374151}.tree-node-current{background:#1e3a8a;border-color:#3b82f6}.tree-node-rule{color:#9ca3af}.tree-level-content{background:#1f2937;border-color:#374151}.tree-title{color:#d1d5db}}.tape-visualizer-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:10px;box-shadow:0 10px 40px #0000001a;overflow:hidden;padding:.65rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.tape-visualizer-card:before{animation:gradientMove 3s ease infinite;background:linear-gradient(90deg,#3b82f6,#8b5cf6,#06b6d4);background-size:200% 100%;content:"";height:4px;left:0;position:absolute;right:0;top:0}.tape-visualizer-card:hover{box-shadow:0 20px 60px #00000026;transform:translateY(-4px)}.input-section{margin-bottom:24px}.input-label{color:#1f2937;display:block;font-size:16px;font-weight:700;margin-bottom:8px}.tape-input{background:linear-gradient(135deg,#f8fafc,#f1f5f9);border:2px solid #e5e7eb;border-radius:12px;font-family:JetBrains Mono,Courier New,monospace;font-size:16px;font-weight:500;padding:14px 16px;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1);width:100%}.tape-input:focus{background:#fff;border-color:#3b82f6;box-shadow:0 0 0 4px #3b82f61a;outline:none;transform:translateY(-1px)}.tape-input::placeholder{color:#9ca3af;font-style:italic}.input-help{background:#f9fafb;border-left:4px solid #3b82f6;border-radius:8px;color:#6b7280;font-size:14px;font-weight:500;margin-top:8px;padding:8px 16px}.tape-section{display:flex;flex-direction:column;gap:16px}.head-indicator-container{align-items:center;display:flex;justify-content:center}.head-indicator-label{background:#3b82f6;border-radius:8px;color:#fff;display:inline-block;font-weight:500;padding:8px 16px}.tape-scroll-container{overflow-x:auto;padding-bottom:16px;position:relative;scrollbar-color:#cbd5e1 #f1f5f9;scrollbar-width:thin}.tape-scroll-container::-webkit-scrollbar{height:8px}.tape-scroll-container::-webkit-scrollbar-track{background:#f1f5f9;border-radius:4px}.tape-scroll-container::-webkit-scrollbar-thumb{background:#cbd5e1;border-radius:4px}.tape-scroll-container::-webkit-scrollbar-thumb:hover{background:#94a3b8}.tape-cells-container{display:flex;gap:4px;justify-content:center;min-width:100%;padding:0 16px}.tape-cell-wrapper{flex-shrink:0;position:relative}.active-arrow{color:#3b82f6;filter:drop-shadow(0 2px 4px rgba(0,0,0,.1));left:50%;position:absolute;top:-32px;transform:translateX(-50%)}.tape-cell{align-items:center;background:#fff;border:2px solid #e5e7eb;border-radius:8px;display:flex;font-family:Courier New,monospace;height:64px;justify-content:center;transition:all .2s;width:64px}.tape-cell:hover{border-color:#93c5fd}.tape-cell.active{background:#3b82f60d;border-color:#3b82f6;border-width:3px;box-shadow:0 0 0 3px #3b82f61a,0 4px 6px #0000001a}.tape-symbol{font-size:18px}.tape-position{bottom:-24px;color:#9ca3af;font-size:11px;left:50%;position:absolute;transform:translateX(-50%)}.tape-footer{color:#6b7280;font-size:13px;text-align:center}.output-section{background:#fffffff2;border:2px solid;border-radius:8px;margin-top:24px;padding:16px}.output-accepted{background:#22c55e1a;border-color:#22c55e}.output-rejected{background:#ef44441a;border-color:#ef4444}.output-title{font-size:16px;font-weight:600;margin:0 0 12px}.output-accepted .output-title{color:#16a34a}.output-rejected .output-title{color:#dc2626}.output-content{display:flex;flex-direction:column;gap:8px}.output-row{align-items:center;display:flex;gap:12px}.output-label{color:#374151;font-weight:600;min-width:120px}.output-value{background:#fffc;border:1px solid #e5e7eb;border-radius:4px;color:#1f2937;font-family:Courier New,monospace;font-size:14px;padding:4px 8px}.tape-output{background:#22c55e1a;border-color:#22c55e;color:#16a34a;font-weight:600}.output-help{color:#6b7280;font-size:13px;font-style:italic;line-height:1.5;margin-top:8px}.control-panel-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:10px;box-shadow:0 4px 16px #00000014;overflow:hidden;padding:.65rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.control-panel-card:before{animation:gradientMove 3s ease infinite;background:linear-gradient(90deg,#3b82f6,#8b5cf6,#06b6d4);background-size:200% 100%;content:"";height:4px;left:0;position:absolute;right:0;top:0}.control-panel-card:hover{box-shadow:0 20px 60px #00000026;transform:translateY(-4px)}.control-grid{grid-gap:.75rem;display:grid;gap:.75rem;grid-template-columns:1fr 1fr}@media (max-width:768px){.control-grid{grid-template-columns:1fr}}.controls-section{gap:.5rem}.control-group,.controls-section{display:flex;flex-direction:column}.control-group{gap:.35rem}.control-label{color:#374151;display:block;font-size:.7rem;font-weight:500}.button-group{display:flex;gap:.4rem}.btn{align-items:center;border:2px solid #0000;border-radius:6px;cursor:pointer;display:inline-flex;flex:1 1;font-size:.65rem;font-weight:600;gap:.3rem;justify-content:center;overflow:hidden;padding:.35rem .65rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.btn:before{background:linear-gradient(135deg,#3b82f6,#1d4ed8);bottom:0;content:"";left:0;opacity:0;position:absolute;right:0;top:0;transition:opacity .3s ease;z-index:-1}.btn:disabled{cursor:not-allowed;opacity:.5}.btn-icon{height:16px;width:16px}.btn-primary{background:linear-gradient(135deg,#3b82f6,#1d4ed8);border-color:#1d4ed8;color:#fff}.btn-primary:hover:not(:disabled){background:linear-gradient(135deg,#2563eb,#1e40af);box-shadow:0 4px 16px #3b82f64d;transform:translateY(-2px)}.btn-secondary{background:linear-gradient(135deg,#f8fafc,#e2e8f0);border-color:#e2e8f0;color:#475569}.btn-secondary:hover:not(:disabled){border-color:#3b82f6;box-shadow:0 4px 16px #94a3b84d;transform:translateY(-2px)}.btn-secondary:hover:not(:disabled):before{opacity:.1}.btn-outline{background:#ffffffe6;border:2px solid #e5e7eb;color:#1f2937}.btn-outline:hover:not(:disabled){background:#eff6ff;border-color:#3b82f6}.btn-large{font-size:15px;padding:12px 20px}.speed-control-group{display:flex;flex-direction:column;gap:6px}.speed-label-row{align-items:center;display:flex;justify-content:space-between}.speed-value{color:#6b7280;font-size:.7rem}.speed-slider{-webkit-appearance:none;appearance:none;background:#e5e7eb;border-radius:2px;height:4px;outline:none;width:100%}.speed-slider::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:#3b82f6;border-radius:50%;cursor:pointer;height:14px;-webkit-transition:all .2s;transition:all .2s;width:14px}.speed-slider::-webkit-slider-thumb:hover{box-shadow:0 0 0 3px #3b82f633;transform:scale(1.1)}.speed-slider::-moz-range-thumb{background:#3b82f6;border:none;border-radius:50%;cursor:pointer;height:14px;-moz-transition:all .2s;transition:all .2s;width:14px}.speed-slider::-moz-range-thumb:hover{box-shadow:0 0 0 3px #3b82f633;transform:scale(1.1)}.state-display-section{display:flex;flex-direction:column;gap:8px}.state-group,.steps-group{display:flex;flex-direction:column;gap:6px}.state-display{border-radius:6px;box-shadow:0 2px 4px #0000001a;padding:10px;text-align:center}.state-running{background:#3b82f6;color:#fff}.state-accepted{background:#10b981;color:#fff}.state-rejected{background:#f59e0b;color:#fff}.state-name{font-family:Courier New,monospace;font-size:.85rem;font-weight:700}.state-status{font-size:.65rem;margin-top:4px;opacity:.9}.steps-display{background:#f3f4f6;border-radius:6px;padding:10px;text-align:center}.step-count{font-family:Courier New,monospace;font-size:1.1rem;font-weight:700}.program-editor{display:flex;flex-direction:column;gap:1rem}.editor-header-actions{display:flex;justify-content:flex-end;margin-bottom:.5rem}.editor-subtitle{color:#6b7280;font-size:13px;margin:0}.btn-small{font-size:13px;padding:8px 12px}.btn-icon-sm{height:14px;width:14px}.rules-container{display:flex;flex-direction:column;gap:8px}.rule-card{background:#fff;border:2px solid #e5e7eb;border-radius:8px;padding:12px;transition:all .2s}.rule-card:hover{border-color:#93c5fd}.rule-card.active{background:#3b82f60d;border-color:#3b82f6;border-width:3px;box-shadow:0 0 0 3px #3b82f61a}.rule-content{align-items:flex-start;display:flex;gap:8px;justify-content:space-between;margin-bottom:8px}.rule-info{display:flex;flex:1 1;flex-direction:column;font-family:Courier New,monospace;font-size:13px;gap:4px}.rule-row{align-items:center;display:flex;flex-wrap:wrap;gap:8px}.rule-label{color:#6b7280;font-size:12px}.rule-badge{background:#f3f4f6}.rule-badge,.rule-badge-highlight{border-radius:4px;font-size:12px;padding:2px 8px}.rule-badge-highlight{background:#3b82f61a;border:1px solid #3b82f633;color:#1e40af}.rule-arrow{color:#3b82f6;font-size:14px;margin:2px 0;text-align:center;width:100%}.rule-actions{display:flex;gap:4px}.icon-btn{background:#0000;border:none;border-radius:4px;color:#6b7280;cursor:pointer;padding:6px;transition:all .2s}.icon-btn:hover{background:#f3f4f6;color:#111827}.icon-btn-danger:hover{background:#fee2e2;color:#dc2626}.icon-sm{height:14px;width:14px}.executing-indicator{align-items:center;color:#3b82f6;display:flex;font-size:12px;gap:6px;margin-top:8px}.pulse-dot{animation:pulse 1s infinite;background:#3b82f6;border-radius:50%;height:8px;width:8px}@keyframes pulse{0%,to{opacity:1}50%{opacity:.5}}.rule-form{background:#3b82f60d;border:2px solid #3b82f6;border-radius:8px;margin-bottom:1rem;padding:16px}.form-grid{display:flex;flex-direction:column;gap:12px}.form-row{grid-gap:8px;display:grid;gap:8px;grid-template-columns:1fr 1fr}.form-field{display:flex;flex-direction:column;gap:4px}.form-label{color:#374151;font-size:12px;font-weight:500}.form-input,.form-select{background:#fff;border:2px solid #e5e7eb;border-radius:4px;font-family:Courier New,monospace;font-size:13px;padding:8px 10px;transition:border-color .2s}.form-input:focus,.form-select:focus{border-color:#3b82f6;outline:none}.form-actions{display:flex;gap:8px;padding-top:8px}.form-actions .btn{flex:1 1}.empty-state{color:#6b7280;padding:24px 16px;text-align:center}.empty-state p{margin:4px 0}.empty-state-hint{font-size:13px}.tm-test-list-container{padding:.5rem 0}.tm-test-list{display:flex;flex-direction:column;gap:8px}.tm-test-item{align-items:center;background:#f9fafb;border:1px solid #e5e7eb;border-radius:6px;display:flex;gap:12px;padding:8px 12px}.tm-test-btn{background:#fff;border:1px solid #d1d5db;border-radius:4px;cursor:pointer;flex:1 1;padding:8px 12px;text-align:left;transition:all .2s ease}.tm-test-btn:hover{background:#f8fafc;border-color:#667eea}.tm-test-input{color:#374151;font-family:Monaco,Menlo,monospace;font-weight:600}.tm-test-expected{border-radius:4px;font-size:11px;font-weight:700;min-width:70px;padding:4px 8px;text-align:center;text-transform:uppercase}.tm-test-expected.accept{background:#d1fae5;color:#065f46}.tm-test-expected.reject{background:#fee2e2;color:#991b1b}.tm-simulator{animation:gradientShift 8s ease infinite;background:linear-gradient(135deg,#667eea,#764ba2 50%,#667eea);background-size:200% 200%;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;min-height:100%;padding:1rem}@keyframes gradientShift{0%{background-position:0 50%}50%{background-position:100% 50%}to{background-position:0 50%}}.tm-container{display:flex;flex-direction:column;gap:1rem;margin:0 auto;max-width:100%}.tm-header{color:#fff;margin-bottom:16px;text-align:center}.tm-title{-webkit-text-fill-color:#0000;background:linear-gradient(45deg,#fff,#e0e7ff);-webkit-background-clip:text;background-clip:text;font-size:1.75rem;font-weight:700;margin:0 0 .5rem;text-shadow:0 2px 4px #0000004d}.tm-subtitle{font-size:.875rem;font-weight:300;letter-spacing:.3px;margin:0;opacity:.95}.tm-example-selector{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #fff3;border-radius:16px;box-shadow:0 8px 32px #0000001a;margin-bottom:24px;margin-top:-8px;padding:16px 24px}.tm-selector-label{color:#374151;display:block;font-size:16px;font-weight:600;margin-bottom:12px}.tm-selector-buttons{display:flex;flex-wrap:wrap;gap:12px}.tm-selector-btn{background:#fff;border:2px solid #d1d5db;border-radius:8px;color:#374151;cursor:pointer;font-size:14px;font-weight:500;padding:10px 20px;transition:all .2s ease}.tm-selector-btn:hover{background:#f8fafc;border-color:#667eea}.tm-selector-btn.active{background:#667eea;border-color:#667eea;color:#fff}.tm-grid{grid-gap:32px;align-items:start;display:grid;gap:32px;grid-template-columns:1.5fr 1fr}@media (max-width:1200px){.tm-grid{gap:24px;grid-template-columns:1fr}}.tm-left-col,.tm-right-col{display:flex;flex-direction:column;gap:12px}.tm-control-card,.tm-tape-card{-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#fffffff2;border:1px solid #ffffff4d;border-radius:12px;box-shadow:0 4px 12px #00000014;overflow:hidden;padding:1.5rem;position:relative;transition:all .3s cubic-bezier(.4,0,.2,1)}.tm-control-card:before,.tm-tape-card:before{animation:gradientMove 3s ease infinite;background:linear-gradient(90deg,#3b82f6,#8b5cf6,#06b6d4);background-size:200% 100%;content:"";height:4px;left:0;position:absolute;right:0;top:0}@keyframes gradientMove{0%{background-position:0 50%}50%{background-position:100% 50%}to{background-position:0 50%}}.tm-control-card:hover,.tm-tape-card:hover{box-shadow:0 20px 60px #00000026;transform:translateY(-4px)}.tm-card-title{align-items:center;color:#1f2937;display:flex;font-size:1rem;font-weight:600;gap:8px;letter-spacing:.5px;margin:0 0 1rem;position:relative;text-transform:uppercase}.tm-card-title:after{background:linear-gradient(90deg,#e5e7eb,#0000);content:"";flex:1 1;height:2px;margin-left:16px}.compact-challenge-header{align-items:center;background:linear-gradient(90deg,#2196f3,#1976d2);border-radius:8px;box-shadow:0 4px 12px #2196f34d;color:#fff;display:flex;justify-content:space-between;margin-bottom:8px;padding:12px 24px}.challenge-info{align-items:center;display:flex;font-size:1rem;gap:12px}.validate-btn-compact{align-items:center;background:#fff;border:none;border-radius:6px;color:#1976d2;cursor:pointer;display:flex;font-weight:600;gap:8px;padding:8px 16px;transition:all .2s ease}.validate-btn-compact:hover{background:#f5f5f5;transform:translateY(-1px)}.mini-results{background:#fff3;border-radius:4px;font-weight:700;padding:4px 12px}.mini-results.pass{background:#fff;color:#4caf50}.mini-results.fail{background:#fff;color:#ff5252}.tm-example-description{background:#3b82f61a;border-left:3px solid #3b82f6;border-radius:4px;color:#374151;font-size:.875rem;line-height:1.5;margin-top:.75rem;padding:.75rem}.tm-example-description strong{color:#3b82f6;font-weight:600}.tutorial-hub{background:linear-gradient(135deg,#667eea,#764ba2);display:flex;flex-direction:column;height:100vh;overflow:hidden;width:100%}.tutorial-header{background:#fff;box-shadow:0 4px 12px #00000014;justify-content:space-between;padding:1.5rem 2.5rem;z-index:100}.header-left,.tutorial-header{align-items:center;display:flex}.header-left{gap:1.25rem}.header-left svg{color:#667eea;filter:drop-shadow(0 2px 4px rgba(102,126,234,.3))}.header-left h1{-webkit-text-fill-color:#0000;background:linear-gradient(135deg,#667eea,#764ba2);-webkit-background-clip:text;background-clip:text;font-size:1.75rem;font-weight:700;margin:0}.header-left p{color:#666;font-size:.9rem;margin:.25rem 0 0}.header-progress{display:flex;gap:1.5rem}.progress-card{align-items:center;background:linear-gradient(135deg,#f8f9ff,#fff);border:2px solid #667eea1a;border-radius:16px;box-shadow:0 4px 12px #667eea1a;display:flex;gap:1rem;padding:1rem 1.5rem;transition:all .3s ease}.progress-card:hover{box-shadow:0 8px 20px #667eea26;transform:translateY(-2px)}.progress-card-icon{font-size:2rem;line-height:1}.progress-card-info{display:flex;flex-direction:column;gap:.25rem}.progress-label{color:#999;font-size:.75rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.progress-value{color:#333;font-size:1.5rem;font-weight:700}.circular-progress{height:50px;position:relative;width:50px}.circular-progress svg{transform:rotate(-90deg)}.progress-percentage{color:#667eea;font-size:.7rem;font-weight:700;left:50%;position:absolute;top:50%;transform:translate(-50%,-50%)}.tutorial-main{display:flex;flex:1 1;gap:1rem;overflow:hidden;padding:1rem}.tutorial-sidebar{background:#fff;border-radius:20px;box-shadow:0 8px 24px #0000001a;display:flex;flex-direction:column;overflow-y:auto;padding:1.5rem;width:380px}.automaton-selector{margin-bottom:1.5rem}.automaton-selector h3{color:#999;font-size:.75rem;font-weight:700;letter-spacing:1.5px;margin:0 0 1rem;text-transform:uppercase}.automaton-grid{grid-gap:.75rem;display:grid;gap:.75rem;grid-template-columns:repeat(2,1fr)}.automaton-card{background:#fff;border:2px solid #e0e0e0;border-radius:12px;color:#333;cursor:pointer;font-size:.95rem;font-weight:600;overflow:hidden;padding:1rem;position:relative;text-align:center;transition:all .3s cubic-bezier(.4,0,.2,1)}.automaton-card:before{background:linear-gradient(90deg,#667eea,#764ba2);content:"";height:3px;left:0;position:absolute;right:0;top:0;transform:scaleX(0);transition:transform .3s ease}.automaton-card:hover{border-color:#667eea;box-shadow:0 6px 16px #667eea26;transform:translateY(-2px)}.automaton-card:hover:before{transform:scaleX(1)}.automaton-card.active{background:linear-gradient(135deg,#667eea,#764ba2);border-color:#667eea;box-shadow:0 6px 20px #667eea66;color:#fff}.automaton-card.active:before{background:#ffffff80;transform:scaleX(1)}.content-section{display:flex;flex:1 1;flex-direction:column;overflow-y:auto}.content-tabs{margin-bottom:1rem}.tab-header{align-items:center;background:linear-gradient(135deg,#f8f9ff,#fff);border:2px solid #667eea1a;border-radius:12px;display:flex;justify-content:space-between;padding:1rem}.tab-header h3{color:#333;font-size:1rem;font-weight:700;margin:0}.topic-badge{background:linear-gradient(135deg,#667eea,#764ba2);border-radius:20px;color:#fff;font-size:.75rem;font-weight:700;letter-spacing:.5px;padding:.4rem .8rem}.content-group{margin-bottom:1.5rem}.group-header{align-items:center;border-bottom:2px solid #667eea33;color:#667eea;display:flex;font-size:.85rem;font-weight:700;gap:.5rem;letter-spacing:.5px;margin-bottom:.75rem;padding:.75rem .5rem;text-transform:uppercase}.content-items{display:flex;flex-direction:column;gap:.5rem}.content-item{align-items:center;background:#667eea08;border:none;border-radius:10px;color:#333;cursor:pointer;display:flex;font-size:.9rem;gap:.75rem;padding:.875rem 1rem;position:relative;text-align:left;transition:all .3s cubic-bezier(.4,0,.2,1);width:100%}.content-item:after{background:linear-gradient(135deg,#667eea,#764ba2);border-radius:0 3px 3px 0;content:"";height:0;left:0;position:absolute;top:50%;transform:translateY(-50%);transition:height .3s ease;width:3px}.content-item svg:first-child{color:#ccc;flex-shrink:0}.content-item span{flex:1 1;font-weight:500}.content-item .chevron{color:#667eea;flex-shrink:0;opacity:0;transform:translateX(-8px);transition:all .3s ease}.content-item:hover{background:#fff;box-shadow:0 4px 12px #667eea26;transform:translateX(4px)}.content-item:hover:after{height:70%}.content-item:hover .chevron{opacity:1;transform:translateX(0)}.content-item.active{background:linear-gradient(135deg,#667eea1a,#764ba21a);border:2px solid #667eea;box-shadow:0 4px 16px #667eea33;font-weight:600}.content-item.active:after{height:70%}.content-item.active .chevron{opacity:1;transform:translateX(0)}.content-item svg:first-child{transition:all .3s ease}.content-item:has(svg[data-lucide=check-circle]) svg:first-child{animation:checkPulse 2s ease-in-out infinite;color:#667eea}@keyframes checkPulse{0%,to{transform:scale(1)}50%{transform:scale(1.1)}}.tutorial-content{background:#fff;border-radius:20px;box-shadow:0 8px 24px #0000001a;flex:1 1;overflow-y:auto;padding:2.5rem}.welcome-screen{animation:fadeIn .6s ease-out;margin:0 auto;max-width:900px;padding:4rem 2rem;text-align:center}@keyframes fadeIn{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}.welcome-screen svg{animation:float 3s ease-in-out infinite;color:#667eea;filter:drop-shadow(0 4px 12px rgba(102,126,234,.3));margin-bottom:2rem}@keyframes float{0%,to{transform:translateY(0)}50%{transform:translateY(-10px)}}.welcome-screen h2{-webkit-text-fill-color:#0000;background:linear-gradient(135deg,#667eea,#764ba2);-webkit-background-clip:text;background-clip:text;font-size:2.5rem;font-weight:800;margin:0 0 1.5rem}.welcome-screen>p{color:#666;font-size:1.15rem;line-height:1.8;margin-bottom:3rem;margin-left:auto;margin-right:auto;max-width:600px}.quick-start{background:linear-gradient(135deg,#f8f9ff,#fff);border:2px solid #667eea1a;border-radius:20px;box-shadow:0 8px 32px #667eea1f;margin-top:3rem;padding:2.5rem;text-align:left}.quick-start h3{color:#333;font-size:1.5rem;font-weight:700;margin:0 0 1.5rem}.quick-start ul{list-style:none;margin:0;padding:0}.quick-start li{align-items:center;border-bottom:1px solid #0000000d;color:#555;display:flex;font-size:1.05rem;gap:1rem;padding:1rem 0}.quick-start li:last-child{border-bottom:none}.quick-start li:before{background:linear-gradient(135deg,#667eea,#764ba2);border-radius:50%;box-shadow:0 4px 12px #667eea4d;color:#fff;content:"✓";display:inline-block;flex-shrink:0;font-weight:700;height:32px;line-height:32px;text-align:center;width:32px}@media (max-width:1200px){.tutorial-sidebar{width:320px}.automaton-grid{grid-template-columns:1fr}.header-progress{gap:1rem}.progress-card{padding:.875rem 1.25rem}}@media (max-width:768px){.tutorial-hub{height:auto;min-height:100vh}.tutorial-header{flex-direction:column;gap:1.5rem;padding:1.5rem}.header-left{width:100%}.header-left h1{font-size:1.5rem}.header-progress{justify-content:space-between;width:100%}.progress-card{flex:1 1;padding:1rem}.tutorial-main{flex-direction:column;padding:.5rem}.tutorial-sidebar{margin-bottom:1rem;max-height:400px;width:100%}.tutorial-content{padding:1.5rem}.welcome-screen{padding:2rem 1rem}.welcome-screen h2{font-size:2rem}.welcome-screen svg{height:48px;width:48px}.quick-start{padding:1.5rem}.quick-start h3{font-size:1.25rem}}.tutorial-description p,.tutorial-description-content p{margin:0 0 1rem}.tutorial-description p:last-child,.tutorial-description-content p:last-child{margin-bottom:0}.tutorial-description-content{color:#666;font-size:1.15rem;line-height:1.8;margin-bottom:3rem;margin-left:auto;margin-right:auto;max-width:600px}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_AMS-Regular.73ea273a72f4aca30ca5.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_AMS-Regular.d562e886c52f12660a41.woff) format("woff"),url(/automata_diags/static/media/KaTeX_AMS-Regular.853be92419a6c3766b9a.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/automata_diags/static/media/KaTeX_Caligraphic-Bold.a1abf90dfd72792a577a.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Caligraphic-Bold.d757c535a2e5902f1325.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Caligraphic-Bold.7489a2fbfb9bfe704420.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Caligraphic-Regular.d6484fce1ef428d5bd94.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Caligraphic-Regular.db074fa22cf224af93d7.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Caligraphic-Regular.7e873d3833eb108a0758.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/automata_diags/static/media/KaTeX_Fraktur-Bold.931d67ea207ab37ee693.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Fraktur-Bold.354501bac435c3264834.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Fraktur-Bold.4c761b3711973ab04edf.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Fraktur-Regular.172d3529b26f8cedef6b.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Fraktur-Regular.6fdf0ac577be0ba82a4c.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Fraktur-Regular.ed305b5434865e06ffde.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/automata_diags/static/media/KaTeX_Main-Bold.39890742bc957b368704.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Main-Bold.0c3b8929d377c0e9b2f3.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Main-Bold.8169508bf58f8bd92ad8.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/automata_diags/static/media/KaTeX_Main-BoldItalic.20f389c4120be058d80a.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Main-BoldItalic.428978dc7837d46de091.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Main-BoldItalic.828abcb200061cffbaae.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Main-Italic.fe2176f79edaa716e621.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Main-Italic.fd947498bc16392e76c2.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Main-Italic.fa675e5e4bec9eb250b6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Main-Regular.f650f111a3b890d116f1.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Main-Regular.4f35fbcc9ee8614c2bcc.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Main-Regular.9eba1d77abcf2aa6e94e.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/automata_diags/static/media/KaTeX_Math-BoldItalic.dcbcbd93bac0470b462d.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Math-BoldItalic.3f07ed67f06c720120ce.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Math-BoldItalic.bf2d440b3a42ea78a998.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Math-Italic.6d3d25f4820d0da8f01f.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Math-Italic.96759856b4e70f3a8338.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Math-Italic.8a5f936332e8028c7278.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url(/automata_diags/static/media/KaTeX_SansSerif-Bold.95591a929f0d32aa282a.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_SansSerif-Bold.b9cd458ac6d5889ff9c3.woff) format("woff"),url(/automata_diags/static/media/KaTeX_SansSerif-Bold.5b49f4993ae22d7975b4.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url(/automata_diags/static/media/KaTeX_SansSerif-Italic.7d393d382f3e7fb1c637.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_SansSerif-Italic.8d593cfaa96238d5e2f8.woff) format("woff"),url(/automata_diags/static/media/KaTeX_SansSerif-Italic.b257a18c016f37ee4543.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_SansSerif-Regular.cd5e231e0cc53b2cb2c0.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_SansSerif-Regular.02271ec5cb9f5b4588ac.woff) format("woff"),url(/automata_diags/static/media/KaTeX_SansSerif-Regular.2f7bc363fc5424ebda59.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Script-Regular.c81d1b2a4b75d3eded60.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Script-Regular.073b3402d036714b4370.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Script-Regular.fc9ba5249878cd8f8d88.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Size1-Regular.6eec866c69313624be60.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Size1-Regular.0108e89c9003e8c14ea3.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Size1-Regular.6de7d4b539221a49e9e2.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Size2-Regular.2960900c4f271311eb36.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Size2-Regular.3a99e70aee4076660d38.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Size2-Regular.57f5c1837853986ea1db.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Size3-Regular.e1951519f6f0596f7356.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Size3-Regular.7947224e8a9914fa332b.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Size3-Regular.8d6b6822586eea3d3b20.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Size4-Regular.e418bf257af1052628d8.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Size4-Regular.aeffd8025cba3647f1a6.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Size4-Regular.4ad7c7e8bb8d10a34bb7.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/automata_diags/static/media/KaTeX_Typewriter-Regular.c295e7f71970f03c0549.woff2) format("woff2"),url(/automata_diags/static/media/KaTeX_Typewriter-Regular.4c6b94fd1d07f8beff7c.woff) format("woff"),url(/automata_diags/static/media/KaTeX_Typewriter-Regular.c5c02d763c89380dcb4e.ttf) format("truetype")}.katex{font:normal 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.27"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}.lesson-viewer{margin:0 auto;max-width:900px}.lesson-header{align-items:flex-start;border-bottom:2px solid #e0e0e0;display:flex;justify-content:space-between;margin-bottom:2rem;padding-bottom:1.5rem}.lesson-header h1{color:#333;font-size:2rem;margin:0 0 .5rem}.lesson-description{color:#666;font-size:1.1rem;margin:0}.completion-badge{align-items:center;background:#e8f5e9;border-radius:20px;color:#4caf50;display:flex;font-size:.9rem;font-weight:600;gap:.5rem;padding:.5rem 1rem;white-space:nowrap}.lesson-progress{align-items:center;background:#f9f9f9;border-radius:8px;display:flex;justify-content:space-between;margin-bottom:2rem;padding:1rem}.step-indicator{color:#666;font-size:.9rem;font-weight:600}.step-progress-bar{background:#e0e0e0;border-radius:4px;flex:1 1;height:8px;margin:0 1rem;overflow:hidden}.step-progress-fill{background:linear-gradient(90deg,#4caf50,#66bb6a);border-radius:4px;height:100%;transition:width .3s ease}.lesson-content{margin-bottom:2rem}.lesson-content h2{border-bottom:1px solid #e0e0e0;color:#333;font-size:1.75rem;margin:0 0 1.5rem;padding-bottom:.75rem}.step-text{color:#444;font-size:1.05rem;line-height:1.8;margin-bottom:2rem}.step-text p{margin:0 0 .75rem;white-space:pre-line}.step-text p:last-child{margin-bottom:0}.step-text ol,.step-text ul{margin:0 0 .75rem;padding-left:2rem}.step-text li{margin-bottom:.25rem}.step-text pre{background:#1e1e1e;border-radius:8px;color:#d4d4d4;margin-bottom:1rem;overflow-x:auto;padding:1rem}.lesson-description p{margin:0}.example-description p{margin:0 0 .5rem}.example-box{background:#f8f9fa;border-left:4px solid #4caf50;border-radius:8px;margin:2rem 0;padding:1.5rem}.example-box h3{align-items:center;color:#333;display:flex;font-size:1.2rem;gap:.5rem;margin:0 0 1rem}.example-content p{color:#555;margin:0 0 1rem}.code-block{background:#1e1e1e;border-radius:8px;color:#d4d4d4;font-family:Courier New,Consolas,Monaco,monospace;font-size:.95rem;line-height:1.5;margin:1rem 0;overflow-x:auto;padding:1.5rem;tab-size:4;white-space:pre}.code-block code{font-family:inherit;white-space:pre}.visual-example{margin-top:1rem}.visual-example img{border-radius:8px;box-shadow:0 4px 12px #0000001a;max-width:100%}.key-points{background:#fff9e6;border-left:4px solid #ffc107;border-radius:8px;margin:2rem 0;padding:1.5rem}.key-points h3{color:#333;font-size:1.2rem;margin:0 0 1rem}.key-points ul{margin:0;padding-left:1.5rem}.key-points li{color:#555;line-height:1.6;margin-bottom:.75rem}.key-points li p{display:inline;margin:0}.tips-box{background:#e3f2fd;border-left:4px solid #2196f3;border-radius:8px;margin:2rem 0;padding:1.5rem}.tips-box h3{color:#333;font-size:1.2rem;margin:0 0 1rem}.tips-box ul{margin:0;padding-left:1.5rem}.tips-box li{color:#555;line-height:1.6;margin-bottom:.75rem}.tips-box li p{display:inline;margin:0}.lesson-navigation{border-top:2px solid #e0e0e0;gap:1rem;justify-content:space-between;padding-top:2rem}.lesson-navigation,.nav-btn{align-items:center;display:flex}.nav-btn{background:#fff;border:2px solid #4caf50;border-radius:8px;color:#4caf50;cursor:pointer;font-size:1rem;font-weight:600;gap:.5rem;padding:.75rem 1.5rem;transition:all .2s ease}.nav-btn:hover:not(:disabled){background:#4caf50;box-shadow:0 4px 12px #4caf504d;color:#fff;transform:translateY(-2px)}.nav-btn:disabled{cursor:not-allowed;opacity:.4;transform:none}.next-btn{background:#4caf50;color:#fff}.next-btn:hover:not(:disabled){background:#45a049}.step-dots{display:flex;gap:.5rem}.step-dot{background:#fff;border:2px solid #ddd;border-radius:50%;cursor:pointer;height:12px;padding:0;transition:all .2s ease;width:12px}.step-dot:hover{border-color:#4caf50;transform:scale(1.2)}.step-dot.active{background:#4caf50;border-color:#4caf50;transform:scale(1.3)}.step-dot.completed{background:#81c784;border-color:#81c784}.ascii-table{background:#f8f9fa;border:1px solid #dee2e6;border-radius:8px;color:#2c3e50;font-family:Courier New,Consolas,Monaco,monospace;font-size:.9rem;line-height:1.4;margin:1.5rem 0;overflow-x:auto;padding:1.5rem;white-space:pre}@media (max-width:768px){.lesson-header{flex-direction:column;gap:1rem}.lesson-header h1{font-size:1.5rem}.lesson-progress{flex-direction:column;gap:.5rem}.step-progress-bar{margin:.5rem 0 0;width:100%}.lesson-navigation{flex-wrap:wrap}.nav-btn{flex:1 1;min-width:120px}.nav-btn,.step-dots{justify-content:center}.step-dots{order:-1;width:100%}}.exercise-viewer{margin:0 auto;max-width:900px}.error-message{color:#666;font-size:1.1rem;padding:2rem;text-align:center}.exercise-header{align-items:flex-start;border-bottom:2px solid #e0e0e0;display:flex;justify-content:space-between;margin-bottom:2rem;padding-bottom:1.5rem}.exercise-header h1{color:#333;font-size:2rem;margin:0 0 .5rem}.exercise-description{color:#666;font-size:1.1rem;margin:0}.exercise-progress{align-items:center;background:#f9f9f9;border-radius:8px;display:flex;justify-content:space-between;margin-bottom:2rem;padding:1rem}.question-indicator{color:#666;font-size:.9rem;font-weight:600}.score-indicator{color:#4caf50;font-size:.9rem;font-weight:600}.exercise-content{margin-bottom:2rem}.question-box{background:#fff;border:2px solid #e0e0e0;border-radius:12px;margin-bottom:1.5rem;padding:2rem}.question-box h2{border-bottom:1px solid #e0e0e0;color:#333;font-size:1.5rem;margin:0 0 1rem;padding-bottom:.75rem}.question-text{color:#444;font-size:1.15rem;font-weight:500;line-height:1.8;margin:0 0 1.5rem;white-space:normal}.question-text p{margin:0 0 1rem}.question-text p:last-child{margin-bottom:0}.exercise-description p{margin:0}.question-image{margin:1.5rem 0;text-align:center}.question-image img{border-radius:8px;box-shadow:0 4px 12px #0000001a;max-width:100%}.answer-options{display:flex;flex-direction:column;gap:.75rem;margin-top:1.5rem}.option-btn{align-items:center;background:#fff;border:2px solid #e0e0e0;border-radius:10px;color:#333;cursor:pointer;display:flex;font-size:1rem;gap:1rem;padding:1rem 1.25rem;text-align:left;transition:all .2s ease}.option-btn:hover:not(:disabled){background:#f9fdf9;border-color:#4caf50;transform:translateX(4px)}.option-btn:disabled{cursor:default}.option-btn.selected{background:#e3f2fd;border-color:#2196f3;font-weight:600}.option-btn.correct{background:#e8f5e9;border-color:#4caf50;font-weight:600}.option-btn.incorrect{background:#ffebee;border-color:#f44336;font-weight:600}.option-label{align-items:center;background:#f5f5f5;border-radius:50%;color:#666;display:flex;flex-shrink:0;font-weight:700;height:32px;justify-content:center;width:32px}.option-btn.selected .option-label{background:#2196f3;color:#fff}.option-btn.correct .option-label{background:#4caf50;color:#fff}.option-btn.incorrect .option-label{background:#f44336;color:#fff}.option-text{flex:1 1;line-height:1.5}.status-icon{flex-shrink:0}.short-answer-box{margin-top:1.5rem}.answer-input{border:2px solid #e0e0e0;border-radius:8px;font-family:inherit;font-size:1rem;padding:1rem;resize:vertical;transition:border-color .2s ease;width:100%}.answer-input:focus{border-color:#4caf50;outline:none}.feedback-box{animation:slideIn .3s ease;border-radius:12px;margin-bottom:1.5rem;padding:1.5rem}@keyframes slideIn{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.feedback-box.correct{background:#e8f5e9;border:2px solid #4caf50}.feedback-box.incorrect{background:#ffebee;border:2px solid #f44336}.feedback-header{align-items:center;display:flex;gap:.75rem;margin-bottom:1rem}.feedback-box.correct .feedback-header{color:#4caf50}.feedback-box.incorrect .feedback-header{color:#f44336}.feedback-header h3{font-size:1.3rem;margin:0}.explanation{color:#444;font-size:1.05rem;line-height:1.6;margin:0}.hint-section{margin-top:1.5rem}.hint-btn{align-items:center;background:#fff9e6;border:2px solid #ffc107;border-radius:8px;color:#f57c00;cursor:pointer;display:flex;font-size:.95rem;font-weight:600;gap:.5rem;padding:.75rem 1.25rem;transition:all .2s ease}.hint-btn:hover{background:#ffc107;color:#fff;transform:translateY(-2px)}.hint-box{align-items:flex-start;animation:slideIn .3s ease;background:#fff9e6;border-left:4px solid #ffc107;border-radius:8px;display:flex;gap:.75rem;padding:1rem 1.25rem}.hint-box svg{color:#f57c00;flex-shrink:0;margin-top:2px}.hint-box p{color:#555;line-height:1.6;margin:0}.exercise-actions{border-top:2px solid #e0e0e0;display:flex;gap:1rem;justify-content:flex-end;padding-top:1.5rem}.action-btn{border:none;border-radius:8px;cursor:pointer;font-size:1rem;font-weight:600;padding:.875rem 2rem;transition:all .2s ease}.action-btn.primary{background:#4caf50;color:#fff}.action-btn.primary:hover:not(:disabled){background:#45a049;box-shadow:0 4px 12px #4caf504d;transform:translateY(-2px)}.action-btn.secondary{background:#fff;border:2px solid #e0e0e0;color:#666}.action-btn.secondary:hover:not(:disabled){border-color:#999;color:#333}.action-btn:disabled{cursor:not-allowed;opacity:.5;transform:none}.exercise-summary{animation:slideIn .3s ease;background:#f8f9fa;border-radius:12px;margin-top:2rem;padding:2rem;text-align:center}.exercise-summary h3{color:#333;font-size:1.5rem;margin:0 0 1rem}.exercise-summary p{color:#555;font-size:1.1rem;margin:.5rem 0}.perfect-score{color:#4caf50!important;font-size:1.3rem!important;font-weight:600!important;margin-top:1rem!important}.hands-on-question{background:linear-gradient(135deg,#f0f7ff,#e3f2fd);border:3px solid #2196f3;border-radius:16px;box-shadow:0 4px 20px #2196f333;margin:2rem 0;padding:2rem}.challenge-description{margin-bottom:2rem}.challenge-description h3{align-items:center;color:#1565c0;display:flex;font-size:1.5rem;gap:.5rem;margin-bottom:1rem}.challenge-description p{color:#424242;font-size:1.1rem;line-height:1.8;white-space:pre-line}.challenge-test-cases{margin:2rem 0}.challenge-test-cases h4{color:#1565c0;font-size:1.2rem;margin-bottom:1rem}.test-cases-table{background:#fff;border-collapse:collapse;border-radius:8px;box-shadow:0 2px 8px #0000001a;overflow:hidden;width:100%}.test-cases-table td,.test-cases-table th{border-bottom:1px solid #e0e0e0;padding:.75rem 1rem;text-align:left}.test-cases-table thead{background:linear-gradient(135deg,#1976d2,#1565c0);color:#fff}.test-cases-table thead th{font-size:.9rem;font-weight:600;letter-spacing:.5px;text-transform:uppercase}.test-cases-table tbody tr{transition:background .2s ease}.test-cases-table tbody tr:hover{background:#f5f5f5}.test-cases-table tbody tr.test-pass{background:#e8f5e9}.test-cases-table tbody tr.test-fail{background:#ffebee}.test-cases-table code{background:#f5f5f5;border-radius:4px;font-family:Courier New,monospace;font-size:.95rem;padding:.25rem .5rem}.expected-accept{color:#2e7d32;font-weight:600}.expected-reject{color:#c62828;font-weight:600}.result-fail,.result-pass{font-weight:600}.pass-icon{color:#4caf50}.fail-icon,.pass-icon{align-items:center;display:flex;gap:.35rem}.fail-icon{color:#f44336}.challenge-hints{margin:2rem 0}.hints-toggle-btn{align-items:center;background:#fff;border:2px solid #ff9800;border-radius:8px;color:#f57c00;cursor:pointer;display:flex;font-size:1rem;font-weight:600;gap:.5rem;padding:.75rem 1.25rem;transition:all .2s ease}.hints-toggle-btn:hover{background:#fff3e0;transform:translateY(-2px)}.hints-list{animation:slideIn .3s ease;background:#fff;border-radius:8px;margin-top:1rem;padding:1.5rem}.hint-item{background:#fff9e6;border-left:4px solid #ffc107;border-radius:4px;line-height:1.6;margin-bottom:.75rem;padding:.75rem}.hint-item:last-child{margin-bottom:0}.challenge-actions-box{border-top:2px solid #2196f34d;display:flex;flex-direction:column;gap:1.5rem;margin-top:2rem;padding-top:2rem}.simulator-btn{align-items:center;background:linear-gradient(135deg,#2196f3,#1976d2);border:none;border-radius:10px;box-shadow:0 4px 12px #2196f34d;color:#fff;cursor:pointer;display:flex;font-size:1.1rem;font-weight:600;gap:.5rem;justify-content:center;padding:1rem 2rem;transition:all .2s ease}.simulator-btn:hover{background:linear-gradient(135deg,#1976d2,#1565c0);box-shadow:0 6px 16px #2196f366;transform:translateY(-2px)}.challenge-feedback{animation:slideIn .3s ease;background:#fff;border-radius:12px;box-shadow:0 4px 12px #0000001a;padding:2rem}.challenge-feedback.all-pass{background:linear-gradient(135deg,#e8f5e9,#f1f8e9);border:3px solid #4caf50}.challenge-feedback.some-fail{background:linear-gradient(135deg,#fff3e0,#ffe0b2);border:3px solid #ff9800}.challenge-feedback .feedback-header{align-items:center;display:flex;gap:1rem;margin-bottom:1rem}.challenge-feedback h3{font-size:1.5rem;margin:0}.challenge-feedback .score-text{font-size:1.1rem;font-weight:600;margin-bottom:.5rem}.challenge-feedback .success-message{color:#2e7d32;font-weight:500;margin:0}.challenge-instructions{align-items:flex-start;background:#fff;border:2px dashed #2196f3;border-radius:8px;display:flex;gap:1rem;padding:1.5rem}.challenge-instructions svg{color:#2196f3;flex-shrink:0;margin-top:2px}.challenge-instructions p{color:#424242;line-height:1.8;margin:0}@media (max-width:768px){.exercise-header{flex-direction:column;gap:1rem}.hands-on-question{padding:1.5rem}.test-cases-table{font-size:.9rem}.test-cases-table td,.test-cases-table th{padding:.5rem}.exercise-header h1{font-size:1.5rem}.exercise-progress{flex-direction:column;gap:.5rem;text-align:center}.question-box{padding:1.5rem}.option-btn{padding:.875rem 1rem}.exercise-actions{flex-direction:column}.action-btn{width:100%}}.tour-overlay{background:#0f172a99;inset:0;position:fixed;z-index:1300}.tour-highlight{border:2px solid #22c55e;border-radius:10px;box-shadow:0 0 0 9999px #0f172a73,0 0 0 4px #22c55e40;pointer-events:none;position:fixed;transition:all .18s ease}.tour-card{background:#fff;border:1px solid #d1d5db;border-radius:12px;box-shadow:0 18px 40px #00000047;max-width:calc(100vw - 1.5rem);padding:.9rem;position:fixed;width:340px}.tour-card-top{align-items:center;display:flex;justify-content:space-between}.tour-step-count{color:#4b5563;font-size:.8rem;font-weight:600}.tour-skip-btn{background:#0000;border:none;color:#374151;cursor:pointer;font-size:.85rem}.tour-card h3{color:#111827;font-size:1rem;margin:.45rem 0}.tour-card p{color:#4b5563;font-size:.9rem;line-height:1.35;margin:0 0 .8rem}.tour-actions{display:flex;gap:.45rem;justify-content:flex-end}.tour-actions button{background:#fff;border:1px solid #d1d5db;border-radius:8px;color:#111827;cursor:pointer;font-size:.85rem;padding:.42rem .8rem}.tour-actions button:last-child{background:#2563eb;border-color:#2563eb;color:#fff}.tour-actions button:disabled{cursor:not-allowed;opacity:.5}
/*# sourceMappingURL=main.da1e3451.css.map*/