*{user-select:none;-webkit-user-select:none}input,textarea,[contenteditable]{user-select:text;-webkit-user-select:text}@keyframes edge-pulse{0%,to{stroke-width:3;filter:drop-shadow(0 0 3px rgba(205,232,26,.4))}50%{stroke-width:5;filter:drop-shadow(0 0 8px rgba(205,232,26,.8))}}@keyframes thread-pulse{0%,to{filter:brightness(1) drop-shadow(0 0 1px rgba(0,0,0,.1))}50%{filter:brightness(1.4) drop-shadow(0 0 4px rgba(255,255,255,.5))}}@keyframes slideDown{0%{opacity:0;transform:translateY(-5px)}to{opacity:1;transform:translateY(0)}}@keyframes popIn{0%{opacity:0;transform:scale(.95)}to{opacity:1;transform:scale(1)}}@keyframes bubbleIn{0%{opacity:0;transform:translateY(-50%) scale(.95)}to{opacity:1;transform:translateY(-50%) scale(1)}}@keyframes notes-soft-pulse{0%{box-shadow:0 0 #e4db71b3}70%{box-shadow:0 0 0 11px #e9e07a00}to{box-shadow:0 0 #e9e07a00}}.visualiser{display:flex;flex-direction:column;align-items:center;font-family:Verdana;gap:20px;width:100%}.diagram-container-wrapper{display:flex;align-items:flex-start;justify-content:center;gap:20px;width:100%}.diagram-container{display:grid;grid-template-columns:150px 1fr 150px;gap:20px;align-items:flex-start;width:90vw;margin:0 auto}.diagram-controls-divider{height:22px}.reactflow-wrapper{grid-column:2;width:100%;height:65vh;border:3px solid transparent;border-radius:8px;background-color:#f9f9f9;box-sizing:border-box;transition:border .3s ease}.reactflow-wrapper.locked{border-color:#ec7505}.node-menu{display:flex;flex-direction:column;align-items:center;gap:16px;padding-top:10px}.node-menu-item{display:flex;flex-direction:column;align-items:center;gap:5px}.node-menu-label{font-size:.72rem;font-weight:600;color:#888;text-transform:uppercase;letter-spacing:.05em}.node-container{position:relative;cursor:grab;transition:transform .2s ease}.node-container:active{cursor:grabbing;transform:scale(1.02)}.node{width:50px;height:50px;border:2px solid black;border-radius:50%;display:flex;justify-content:center;align-items:center;padding:2px;background-color:#fff;position:relative;box-sizing:border-box;transition:transform .2s ease,border-color .2s ease}.node.active{transform:scale(1.05);z-index:10}.node.active .node-body{box-shadow:0 0 8px #0000001a}.node-body{width:100%;height:100%;display:flex;justify-content:center;align-items:center;border-radius:50%;background-color:inherit;box-sizing:border-box;z-index:2}.inner-circle{width:34px;height:34px;border:2px solid black;border-radius:50%;display:flex;justify-content:center;align-items:center;padding:2px}.accept{background-color:#6ad66a}.arrow{position:absolute;left:-20px;top:50%;transform:translateY(-50%);font-size:20px;color:#000;pointer-events:none}.node-ring{position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);border:3px solid;border-radius:50%;pointer-events:none;transition:all .2s ease;z-index:-1;animation:thread-pulse .4s ease-out}.react-flow__handle{opacity:0;transition:opacity .2s;width:8px!important;height:8px!important}.node:hover .react-flow__handle{opacity:1}.react-flow__edges{z-index:10!important}.edge-path{stroke:#333;stroke-width:2;fill:none;transition:stroke .2s ease,stroke-width .2s ease}.edge-path.selected{stroke:#000;stroke-width:3}.edge-path.active{stroke:#e8d71a;animation:edge-pulse .4s ease-out}.edge-path.active-thread{animation:thread-pulse .5s ease-out}.edge-path.active~marker{fill:#e8d71a;stroke:#e8d71a}.edge-hitbox{stroke:transparent;stroke-width:20;fill:none;pointer-events:stroke}.edge-handle{r:8px;fill:#fff;stroke:#00f;stroke-width:2px;cursor:grab;pointer-events:all}.diagram-controls{display:flex;flex-direction:column;align-items:stretch;gap:4px;width:130px}.diagram-controls button{padding:7px 10px;font-size:.85rem;font-family:Verdana;font-weight:500;color:#333;background:#fff;border:1px solid #ccc;border-radius:6px;cursor:pointer;transition:background-color .15s ease,border-color .15s ease,color .15s ease;text-align:center;width:100%}.diagram-controls button:hover:not(:disabled){background-color:#f0f0f0;border-color:#aaa}.diagram-controls button:disabled{opacity:.5;cursor:not-allowed}.diagram-controls button.notes-btn-main{padding:10px;font-size:.95rem;font-weight:700;background-color:#fffde7;border:2px solid #e9e07a;box-shadow:0 2px 4px #0000000d;margin-top:4px}.diagram-controls button.notes-btn--pulsing{animation:notes-soft-pulse 1.8s ease-out infinite;background-color:#fff9c4}.history-controls{display:flex;gap:4px}.history-controls button{flex:1}.controls-row{display:flex;align-items:center;justify-content:center;gap:20px;width:80vw;margin:0 auto;padding:15px}.tape-input{width:200px;padding:8px 12px;font-size:1rem;border:2px solid #333;border-radius:6px;outline:none;text-align:center}.tape-input:focus{border-color:#1a73e8}.tape-input.error{border-color:#d9534f;background-color:#fdf7f7}.input-wrapper{position:relative;display:flex;flex-direction:column;align-items:center}.input-error-bubble{position:absolute;top:50%;right:calc(100% + 12px);transform:translateY(-50%);background:#fff1f0;border:1.5px solid #d9534f;border-radius:8px;padding:7px 10px;font-size:.78rem;color:#b52b27;white-space:nowrap;box-shadow:0 3px 10px #0000001f;z-index:100;animation:bubbleIn .15s ease-out}.input-error-bubble-tail{position:absolute;top:50%;right:-8px;transform:translateY(-50%);width:0;height:0;border-top:7px solid transparent;border-bottom:7px solid transparent;border-left:8px solid #d9534f}.input-error-bubble-tail:after{content:"";position:absolute;top:-6px;left:-9px;width:0;height:0;border-top:6px solid transparent;border-bottom:6px solid transparent;border-left:7px solid #fff1f0}.rule-cell-input-wrapper{position:relative;display:inline-flex;flex-direction:column;align-items:center}.rule-cell-input.error{border-color:#d9534f!important;background-color:#fdf7f7!important;outline:none}.rule-cell-error-bubble{position:absolute;bottom:calc(100% + 8px);left:50%;transform:translate(-50%);background:#fff1f0;border:1.5px solid #d9534f;border-radius:8px;padding:5px 10px;font-size:.75rem;color:#b52b27;white-space:nowrap;box-shadow:0 3px 10px #0000001f;z-index:200;animation:bubbleIn .15s ease-out;pointer-events:none}.rule-cell-error-bubble-tail{position:absolute;bottom:-8px;left:50%;transform:translate(-50%);width:0;height:0;border-left:7px solid transparent;border-right:7px solid transparent;border-top:8px solid #d9534f}.rule-cell-error-bubble-tail:after{content:"";position:absolute;top:-9px;left:-6px;width:0;height:0;border-left:6px solid transparent;border-right:6px solid transparent;border-top:7px solid #fff1f0}.playback-controls{display:flex;gap:5px}.playback-controls button{padding:8px 12px;font-size:1rem;cursor:pointer}.speed-control{display:flex;align-items:center;gap:10px;background:#f0f0f0;padding:5px 15px;border-radius:20px;border:1px solid #ccc}.speed-control label{font-size:.9rem;font-weight:700;white-space:nowrap;width:80px}.speed-control input[type=range]{width:100px;cursor:pointer}.tape-container{display:flex;align-items:center;justify-content:center;flex-direction:column;position:relative;padding:10px 0 20px;width:100%}.tape-top-bar{width:80vw;display:flex;justify-content:flex-start;margin:0 auto -40px;padding-left:2px;z-index:10}.step-counter-display{display:flex;align-items:center;background-color:#fff;overflow:hidden}.step-label{color:#000;padding:4px 8px;font-size:1rem;font-weight:700;text-transform:uppercase}.step-value{font-size:1rem;font-weight:700;color:#000;min-width:10px;text-align:center;background:#fff;padding:4px 0}.multitape-container{display:flex;flex-direction:column;gap:60px;width:100%;align-items:center;padding-top:20px}.multitape-row{display:flex;align-items:center;justify-content:center;width:90%}.multitape-label{font-weight:600;font-size:1.2rem;color:#333;width:100px;text-align:right;margin-right:25px;white-space:nowrap;flex-shrink:0}.tape-display-wrapper{position:relative;width:100%;overflow:hidden;border:2px solid #d2e3fc;border-radius:6px;background-color:#f8f8f8;height:50px;display:flex;align-items:center}.tape-wrapper{width:100%;position:relative;overflow:hidden;border-radius:6px}.tape-header{position:absolute;top:-48px;left:50%;transform:translate(-50%);z-index:100;pointer-events:none}.tape-pointer{display:flex;flex-direction:column;align-items:center}.tape-start-label{font-size:16px;font-weight:800;color:#555;white-space:nowrap}.tape-arrow{font-size:32px;line-height:.6;color:#777}.tape{display:flex;position:relative;height:40px;left:calc(50% - 20px);transition:transform .2s ease-out}.cell{height:40px;width:40px;border:1px solid #ddd;display:flex;align-items:center;justify-content:center;font-weight:700;background-color:#fff;flex-shrink:0;box-sizing:border-box}.cell.active{background-color:#d7e9ff;border:2px solid #1a73e8}.popup-overlay{position:fixed;inset:0;background-color:#00000080;display:flex;justify-content:center;align-items:center;z-index:1000;-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px)}.popup-menu{background:#fff;padding:24px;border-radius:12px;width:100%;min-width:330px;font-family:Verdana;animation:popIn .2s ease-out;display:flex;flex-direction:column}.popup-menu h3{margin:0 0 20px;color:#000;text-align:center}.form-group{margin-bottom:20px;display:flex;flex-direction:column}.form-group label{font-size:.9rem;font-weight:600;color:gray;margin-bottom:8px;text-align:left;width:100%}.form-group input[type=text]{padding:10px 12px;border:1px solid darkgray;border-radius:6px;font-size:1rem;transition:border-color .2s;width:90%;margin:0 auto}.form-group input[type=text]:focus{border-color:#1170d6}.popup-actions{display:flex;justify-content:center;gap:10px;padding-top:10px}.popup-actions button{padding:8px 16px;border:none;border-radius:6px;font-size:.95rem;font-weight:500;cursor:pointer;transition:opacity .2s}.label-row{display:flex;flex-direction:column;gap:10px;padding:8px 4px;border-bottom:1px solid #ddd}.label-row label{display:flex;align-items:center;justify-content:space-between;gap:10px;font-size:.9rem;width:100%}.label-row input[type=text]{flex:1;margin-right:5px}.warning-text{color:#d9534f;font-size:.85rem;text-align:center;margin:10px 0;height:35px;display:flex;align-items:center;justify-content:center}.direction-buttons{display:flex;align-items:center;justify-content:center;gap:6px;font-size:.9rem;width:100%}.direction-buttons button{padding:6px 8px;border:1px solid #ccc;border-radius:4px;width:100%;background-color:#eee;cursor:pointer;transition:background-color .2s,color .2s}.direction-buttons button.selected{background-color:#84afdd;color:#000}.add-label-button{margin-top:8px;padding:6px 12px;border-radius:4px;border:1px solid #ccc;background-color:#f2f2f2;cursor:pointer}.add-label-button:hover{background-color:#e0e0e0}.remove-button{padding:4px 8px;border-radius:4px;border:1px solid #ccc;background-color:#f8d7da;cursor:pointer;font-size:.85rem;margin:4px}.remove-button:hover{background-color:#f5c2c7}.table-popup{min-width:400px;width:auto;max-width:90vw;padding:25px;background:#fff;border-radius:8px;position:relative}.popup-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:20px;flex-shrink:0}.popup-header h3{margin:0;font-size:1.5rem}.header-actions{display:flex;align-items:center;gap:12px}.window-toggle-btn{background-color:#f1f1f1;border:1px solid #ccc;padding:5px 10px;border-radius:4px;font-size:.85rem;cursor:pointer;font-weight:500;transition:background-color .2s}.window-toggle-btn:hover{background-color:#e0e0e0}.close-btn{background:none;border:none;font-size:1.5rem;cursor:pointer;color:#666;padding:0 5px}.close-btn:hover{color:#000}.table-wrapper{max-height:60vh;overflow:auto;padding-right:15px;width:100%;box-sizing:border-box}.modeless-window{z-index:2000;max-width:none;max-height:none;background-color:#fffffff2;-webkit-backdrop-filter:blur(5px);backdrop-filter:blur(5px);border:1px solid #999;display:flex;flex-direction:column}.modeless-window .popup-header:active{cursor:grabbing!important}.modeless-window .table-wrapper{max-height:none;flex:1;min-height:0}.resize-handle{position:absolute;bottom:0;right:0;width:18px;height:18px;cursor:nwse-resize;background:linear-gradient(135deg,transparent 50%,#bbb 50%);border-bottom-right-radius:8px;z-index:10}.resize-handle:hover{background:linear-gradient(135deg,transparent 50%,#888 50%)}.transition-table{width:100%;border-collapse:collapse;font-size:1rem;color:#000;margin:0 auto;table-layout:auto}.transition-table thead tr{border-bottom:2px solid black}.transition-table th{padding:12px 25px;text-align:center;font-weight:700;vertical-align:bottom}.transition-table td{padding:12px 25px;text-align:center;border-bottom:1px solid #eee}.diagonal-cell{position:relative;min-width:100px;padding:0!important;background-image:linear-gradient(to top right,transparent 48%,black 49%,black 51%,transparent 52%);border-right:2px solid black}.diagonal-top{position:absolute;top:5px;right:8px;font-weight:700;font-size:1rem}.diagonal-bottom{position:absolute;bottom:5px;left:8px;font-weight:700;font-style:italic;font-size:1rem}.row-header{font-weight:700;font-style:italic;border-right:2px solid black;text-align:right;padding-right:15px}.rule-cell{white-space:normal;display:inline-block;min-width:100px;line-height:1.4}.rule-cell--editable{cursor:pointer;border-radius:4px;padding:2px 4px;transition:background-color .15s ease,box-shadow .15s ease}.rule-cell--editable:hover{background-color:#1a73e814;box-shadow:inset 0 0 0 1px #1a73e840}.rule-cell-input{min-width:120px;width:100%;padding:3px 6px;border:2px solid #1a73e8;border-radius:4px;font-size:inherit;font-family:Verdana;background:#f0f7ff;outline:none;box-shadow:0 0 0 3px #1a73e826;color:#000;box-sizing:border-box}.empty-cell{color:#ccc;font-style:italic}.empty-cell.rule-cell--editable:hover{color:#90b8f0;background-color:#1a73e80f;box-shadow:inset 0 0 0 1px #1a73e833;cursor:pointer}.alphabet-controls{margin-bottom:15px;display:flex;align-items:center;gap:10px;background-color:#f9f9f9;padding:8px 12px;border-radius:6px;width:fit-content;flex-shrink:0}.alphabet-controls label{font-weight:700;color:#333}.alphabet-controls button{padding:4px 10px;cursor:pointer;background-color:#e0e0e0;border:1px solid #ccc;border-radius:4px}.alphabet-controls button:hover{background-color:#d0d0d0}.symbol-input{width:60px;padding:4px 8px;border:1px solid #ccc;border-radius:4px;text-align:center}.symbol-header{position:relative;padding-right:25px!important}.delete-symbol-btn{position:absolute;top:2px;right:2px;background:transparent;border:none;color:#d9534f;font-size:1rem;line-height:1;cursor:pointer;font-weight:700;opacity:.6;padding:2px 5px}.delete-symbol-btn:hover{opacity:1;background-color:#d9534f1a;border-radius:50%}.delete-node-btn{display:inline-flex;align-items:center;justify-content:center;flex-shrink:0;background:transparent;border:none;color:#d9534f;font-size:.9rem;line-height:1;cursor:pointer;font-weight:700;opacity:.5;padding:1px 4px;border-radius:50%;margin-right:10px}.delete-node-btn:hover{opacity:1;background-color:#d9534f1f}.input-wrapper{position:relative;display:flex;flex-direction:column}.alphabet-label{position:absolute;top:100%;left:0;margin-top:5px;font-size:.85rem;color:#555;font-weight:600;white-space:nowrap}.alphabet-label span{color:#000;background-color:#e8e8e8;padding:1px 6px;border-radius:4px}.multitape-alphabet-display{margin-bottom:5px;background-color:#fff;border:1px solid #e0e0e0;border-radius:8px;padding:10px 15px;box-shadow:0 2px 5px #00000008;display:flex;align-items:center;gap:15px}.sigma-box{font-size:1.5rem;font-weight:700;color:#333;width:180px;height:40px;display:flex;align-items:center;justify-content:center;flex-shrink:0;background-color:#f9f9f9}.symbol-list{display:flex;flex-wrap:wrap;gap:8px;align-items:center}.symbol-tag{display:inline-flex;align-items:center;padding:6px 12px;border-radius:20px;font-size:.95rem;font-weight:600;border:1px solid transparent;transition:all .2s ease}.symbol-tag.derived{background-color:#e3f2fd;color:#1565c0;border-color:#bbdefb}.symbol-tag.manual{background-color:#f5e5e5;color:#a21f1f;border-color:#e7bebe;padding-right:8px}.symbol-input-inline{width:30px;padding:6px 0;text-align:center;border:1px dashed #ccc;border-radius:16px;background-color:#fafafa;font-weight:700;font-size:.95rem;outline:none;transition:all .2s;cursor:text}.symbol-input-inline:focus{border-color:#a21f1f;background-color:#fff;width:40px}.remove-symbol-btn{background:none;border:none;color:#a21f1f;font-size:1.1rem;cursor:pointer;margin-left:6px;padding:0;line-height:1;opacity:.6;width:18px;height:18px;display:flex;align-items:center;justify-content:center;border-radius:50%;transition:all .2s}.remove-symbol-btn:hover{background-color:#a21f1f1a;opacity:1}.empty-alphabet{color:#999;font-style:italic;font-size:.9rem}.thread-list-container{display:flex;flex-direction:column;gap:12px;width:75vw;margin:0 auto;max-height:60vh;min-height:150px;overflow-y:auto;overflow-x:hidden;padding:15px;border:1px solid #ddd;border-radius:8px;background-color:#fafafa;box-shadow:inset 0 2px 5px #0000000d;box-sizing:border-box}.empty-threads{text-align:center;color:#d9534f;font-weight:700;padding:20px}.thread-tree-row{position:relative;display:flex;align-items:flex-start;min-width:300px;width:100%}.tree-connector{position:absolute;left:-22px;top:-18px;height:48px;width:22px;border-left:2px solid #bbb;border-bottom:2px solid #bbb;border-bottom-left-radius:8px;z-index:0}.thread-card{width:100%;box-sizing:border-box;background:#fff;border:1px solid #ccc;border-radius:6px;padding:10px;position:relative;display:flex;flex-direction:column;align-items:center;z-index:1}.thread-card>div{min-width:0;max-width:100%}.thread-card .tape-wrapper{min-width:0;width:100%!important;max-width:100%;box-sizing:border-box;background:#fff;border:1px solid #ddd;height:40px}.thread-card .tape-header{top:-45px;overflow:visible}.thread-card .cell{height:38px;font-size:16px;border-right:1px solid #eee}.overflow-visible-pointer{position:relative;width:100%;overflow:visible!important;margin-top:45px}.thread-card.active{border-left:5px solid #1a73e8;border-color:#b3d7ff}.thread-card.accepted{background-color:#f1f8e9;border:1px solid #4caf50;border-left:5px solid #4caf50;box-shadow:0 0 8px #4caf5033}.thread-card.rejected{background-color:#fdf7f7;border:1px solid #d9534f;border-left:5px solid #d9534f;opacity:.8}.thread-card.frozen{background-color:#f4f4f4;border:1px solid #ddd;border-left:5px solid #999}.thread-card.frozen .tape-wrapper{opacity:.6}.thread-header{display:flex;justify-content:space-between;align-items:center;width:100%;margin-bottom:8px;padding-bottom:5px;border-bottom:1px solid #eee}.thread-id-info{display:flex;flex-direction:column}.thread-name{font-weight:700;font-size:1rem;color:#333}.thread-meta{font-size:.75rem;color:#777}.thread-status-badge{font-size:.75rem;font-weight:600;padding:3px 8px;border-radius:12px;text-transform:uppercase;letter-spacing:.5px}.thread-status-badge.active{color:#1557b0;background:#e8f0fe;border:1px solid #d2e3fc}.thread-status-badge.accepted{color:#2e7d32;background:#c8e6c9;border:1px solid #a5d6a7}.thread-status-badge.rejected{color:#c62828;background:#ffcdd2;border:1px solid #ef9a9a}.thread-status-badge.frozen{color:#555;background:#e0e0e0;border:1px solid #ccc}.cell-content-wrapper{position:relative;display:flex;justify-content:center;align-items:center;width:100%;height:100%}.diacritic-marker{position:absolute;top:-5px;font-size:.8em;color:#1a73e8;font-weight:700}.help-modal-container{width:900px;height:75vh;background:#fff;border-radius:8px;display:flex;flex-direction:column;box-shadow:0 10px 25px #00000080;overflow:hidden;animation:slideDown .2s ease-out;font-family:Verdana;text-align:left}.help-modal-header{padding:15px 25px;background-color:#f1f3f4;border-bottom:1px solid #ddd;display:flex;justify-content:space-between;align-items:center}.help-modal-header h3{margin:0;font-size:1.3rem;color:#202124}.help-close-btn{background:transparent;border:none;font-size:24px;color:#5f6368;cursor:pointer;line-height:1;border-radius:4px}.help-close-btn:hover{background-color:#0000001a;color:#000}.help-modal-body{display:flex;flex:1;overflow:hidden}.help-sidebar{width:280px;background-color:#f8f9fa;border-right:1px solid #dadce0;overflow-y:auto;display:flex;flex-direction:column;padding-top:10px;flex-shrink:0}.help-category-header{padding:12px 20px;font-size:.95rem;font-weight:700;color:#5f6368;cursor:pointer;display:flex;justify-content:space-between;align-items:center}.help-category-header:hover{background-color:#e8eaed;color:#202124}.help-category-header.active{color:#1a73e8}.help-subitems{background-color:#fff;border-bottom:1px solid #f1f3f4}.help-item-row{padding:10px 20px 10px 35px;font-size:.9rem;color:#3c4043;cursor:pointer;border-left:4px solid transparent;transition:all .2s}.help-item-row:hover{background-color:#f1f3f4}.help-item-row.selected{background-color:#e8f0fe;color:#1967d2;border-left-color:#1967d2;font-weight:600}.help-content{flex:1;padding:40px;overflow-y:auto;background-color:#fff;color:#202124}.help-title{margin:0 0 15px;font-size:1.8rem;color:#202124;padding-bottom:10px;border-bottom:2px solid #f1f3f4}.help-text{font-size:1.05rem;line-height:1.6;color:#4b4b4b;max-width:800px}.video-placeholder-container{margin-top:30px;display:flex;justify-content:center}.placeholder-box{width:100%;max-width:100%;aspect-ratio:16 / 9;background-color:#202124;border-radius:8px;display:flex;flex-direction:column;align-items:center;justify-content:center;color:#9aa0a6;box-shadow:0 4px 6px #0000001a}.play-icon{font-size:4rem;margin-bottom:15px;color:#fff;opacity:.8;transition:transform .2s}.placeholder-box:hover .play-icon{transform:scale(1.1);opacity:1}.help-modal-footer{padding:15px 25px;border-top:1px solid #ddd;background-color:#f8f9fa;display:flex;justify-content:space-between;align-items:center}.nav-btn{padding:8px 16px;border:1px solid #dadce0;background-color:#fff;border-radius:4px;cursor:pointer;font-family:inherit;font-weight:500;color:#3c4043;transition:all .2s}.nav-btn:hover:not(:disabled){background-color:#f1f3f4;color:#202124;box-shadow:0 1px 2px #0000001a}.nav-btn:disabled{opacity:.5;cursor:default;background-color:#f1f3f4}.page-count{font-size:.9rem;color:#5f6368}.notes-btn--active{background-color:#fef08a;color:#555;border-color:#d4c800}.sticky-note{position:fixed;z-index:1000;display:flex;flex-direction:column;border-radius:4px;box-shadow:0 4px 16px #0000001f;background:#fefce8;border:1px solid #e9e07a;overflow:hidden}.sticky-note-header{display:flex;align-items:center;justify-content:space-between;padding:6px 10px;background:#fef08a;border-bottom:1px solid #e9e07a}.sticky-note-title{font-weight:600;font-size:.8rem;color:#555;letter-spacing:.03em;text-transform:uppercase}.sticky-note-close{background:none;border:none;cursor:pointer;font-size:.85rem;color:#888;padding:0 2px;line-height:1}.sticky-note-close:hover{color:#c00}.note-toolbar{display:flex;align-items:center;gap:2px;padding:3px 8px;background:#fefce8;border-bottom:1px solid #e9e07a}.note-toolbar-btn{background:none;border:1px solid transparent;border-radius:3px;padding:2px 6px;font-size:.78rem;cursor:pointer;color:#666;line-height:1.4;transition:background .12s,border-color .12s}.note-toolbar-btn:hover{background:#fef08a;border-color:#d4c800;color:#333}.note-toolbar-btn.active{background:#fde047;border-color:#c8b800;color:#333}.note-toolbar-sep{width:1px;height:14px;background:#ddd;margin:0 3px}.note-editor{flex:1;min-height:0;padding:10px 12px;outline:none;background:transparent;font-family:Verdana;font-size:.85rem;line-height:1.6;color:#444;box-sizing:border-box;user-select:text;-webkit-user-select:text;cursor:text;overflow-y:auto;word-break:break-word;text-align:left}.note-editor:empty:before{content:attr(data-placeholder);color:#bbb;pointer-events:none}.note-editor ul,.note-editor ol{margin:4px 0;padding-left:20px}.note-editor li{margin:2px 0}.sticky-note-resize{position:absolute;bottom:0;right:0;width:16px;height:16px;cursor:nwse-resize;opacity:.35;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16'%3E%3Cpath d='M11 13 L13 11 M7 13 L13 7 M3 13 L13 3' stroke='%23555' stroke-width='1.5'/%3E%3C/svg%3E")}.help-category-group{display:flex;flex-direction:column}.help-item-bullet{margin-right:6px;color:#9aa0ab;font-size:.75rem}.formal-def-box{background-color:#f8f9fa;border-left:3px solid #1a73e8;border-radius:4px;padding:12px 16px;margin:16px 0}.formal-def-box h4{margin:0 0 8px;font-size:.95rem;color:#202124}.math-block{font-family:Courier New;background-color:#f1f3f4;border-radius:4px;padding:8px 12px;margin:8px 0;font-size:.95rem;color:#1a1c1e}.thread-card-tree{margin-top:0}.window-toggle-btn-active{background-color:#e3f2fd;border-color:#90caf9}.react-flow{direction:ltr}.react-flow__container{position:absolute;width:100%;height:100%;top:0;left:0}.react-flow__pane{z-index:1;cursor:-webkit-grab;cursor:grab}.react-flow__pane.selection{cursor:pointer}.react-flow__pane.dragging{cursor:-webkit-grabbing;cursor:grabbing}.react-flow__viewport{transform-origin:0 0;z-index:2;pointer-events:none}.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{pointer-events:none;overflow:visible}.react-flow__edge-path,.react-flow__connection-path{stroke:#b1b1b7;stroke-width:1;fill:none}.react-flow__edge{pointer-events:visibleStroke;cursor:pointer}.react-flow__edge.animated path{stroke-dasharray:5;-webkit-animation:dashdraw .5s linear infinite;animation:dashdraw .5s linear infinite}.react-flow__edge.animated path.react-flow__edge-interaction{stroke-dasharray:none;-webkit-animation: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;-moz-user-select:none;user-select:none}.react-flow__connection{pointer-events:none}.react-flow__connection .animated{stroke-dasharray:5;-webkit-animation:dashdraw .5s linear infinite;animation:dashdraw .5s linear infinite}.react-flow__connectionline{z-index:1001}.react-flow__nodes{pointer-events:none;transform-origin:0 0}.react-flow__node{position:absolute;-webkit-user-select:none;-moz-user-select:none;user-select:none;pointer-events:all;transform-origin:0 0;box-sizing:border-box;cursor:-webkit-grab;cursor:grab}.react-flow__node.dragging{cursor:-webkit-grabbing;cursor:grabbing}.react-flow__nodesselection{z-index:3;transform-origin:left top;pointer-events:none}.react-flow__nodesselection-rect{position:absolute;pointer-events:all;cursor:-webkit-grab;cursor:grab}.react-flow__handle{position:absolute;pointer-events:none;min-width:5px;min-height:5px;width:6px;height:6px;background:#1a192b;border:1px solid white;border-radius:100%}.react-flow__handle.connectionindicator{pointer-events:all;cursor:crosshair}.react-flow__handle-bottom{top:auto;left:50%;bottom:-4px;transform:translate(-50%)}.react-flow__handle-top{left:50%;top:-4px;transform:translate(-50%)}.react-flow__handle-left{top:50%;left:-4px;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{position:absolute;z-index:5;margin:15px}.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:translate(-50%)}.react-flow__attribution{font-size:10px;background:#ffffff80;padding:2px 3px;margin:0}.react-flow__attribution a{text-decoration:none;color:#999}@-webkit-keyframes dashdraw{0%{stroke-dashoffset:10}}@keyframes dashdraw{0%{stroke-dashoffset:10}}.react-flow__edgelabel-renderer{position:absolute;width:100%;height:100%;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}.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-input,.react-flow__node-output,.react-flow__node-group{padding:10px;border-radius:3px;width:150px;font-size:12px;color:#222;text-align:center;border-width:1px;border-style:solid;border-color:#1a192b;background-color:#fff}.react-flow__node-default.selectable:hover,.react-flow__node-input.selectable:hover,.react-flow__node-output.selectable:hover,.react-flow__node-group.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-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,.react-flow__node-group.selectable.selected,.react-flow__node-group.selectable:focus,.react-flow__node-group.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 rgba(0,89,220,.8)}.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{border:none;background:#fefefe;border-bottom:1px solid #eee;box-sizing:content-box;display:flex;justify-content:center;align-items:center;width:16px;height:16px;cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none;padding:5px}.react-flow__controls-button:hover{background:#f4f4f4}.react-flow__controls-button svg{width:100%;max-width:12px;max-height:12px}.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.top,.react-flow__resize-control.bottom{cursor:ns-resize}.react-flow__resize-control.top.left,.react-flow__resize-control.bottom.right{cursor:nwse-resize}.react-flow__resize-control.bottom.left,.react-flow__resize-control.top.right{cursor:nesw-resize}.react-flow__resize-control.handle{width:4px;height:4px;border:1px solid #fff;border-radius:1px;background-color:#3367d9;transform:translate(-50%,-50%)}.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.top.left,.react-flow__resize-control.handle.bottom.left{left:0}.react-flow__resize-control.handle.top.right,.react-flow__resize-control.handle.bottom.right{left:100%}.react-flow__resize-control.line{border-color:#3367d9;border-width:0;border-style:solid}.react-flow__resize-control.line.left,.react-flow__resize-control.line.right{width:1px;transform:translate(-50%);top:0;height:100%}.react-flow__resize-control.line.left{left:0;border-left-width:1px}.react-flow__resize-control.line.right{left:100%;border-right-width:1px}.react-flow__resize-control.line.top,.react-flow__resize-control.line.bottom{height:1px;transform:translateY(-50%);left:0;width:100%}.react-flow__resize-control.line.top{top:0;border-top-width:1px}.react-flow__resize-control.line.bottom{border-bottom-width:1px;top:100%}body{font-family:Arial,sans-serif;margin:0;padding:10px;background-color:#fff}.app{text-align:center;padding:10px;border:1px solid #ccc;background-color:#fff;border-radius:5px;min-height:90vh;display:flex;flex-direction:column;align-items:center}.app-header{display:flex;flex-direction:row;align-items:center;justify-content:space-between;background-color:#8b8a8a;border-bottom:1px solid #d0d0d0;margin:-10px -10px 60px;width:calc(100% + 20px);padding:10px 20px;border-radius:5px 5px 0 0;box-sizing:border-box}.header-left{display:flex;flex-direction:row;align-items:center;gap:30px}.header-right{display:flex;align-items:center;gap:10px}.app-header h1{margin:0;font-size:1.2rem;white-space:nowrap;color:#333;font-weight:600}.header-controls{display:flex;flex-direction:row;align-items:center;gap:20px}.header-button{padding:8px 16px;background-color:#fff;border:1px solid #ccc;border-radius:6px;font-size:.9rem;font-weight:600;color:#555;cursor:pointer;transition:all .2s ease}.header-button:hover{background-color:#e0e0e0;border-color:#bbb;color:#333}.selector-group{display:flex;align-items:center;gap:10px;background-color:#fff;padding:4px 10px;border-radius:6px;border:1px solid #ccc}.selector-group label{font-weight:700;font-size:.85rem;color:#555}.selector-group select{padding:4px 8px;font-size:.9rem;border:none;background-color:transparent;cursor:pointer;outline:none}.selector-group select:focus{text-decoration:underline}.draggable{cursor:move}