.tm-setup{display:flex;flex-wrap:wrap;align-items:flex-end;gap:.75rem 1.25rem;padding:.75rem 1rem 1rem}.tm-alphabet-group{width:16rem}.tm-field{display:flex;flex-direction:column;gap:.3rem;margin-top:.5rem}.tm-label{font-family:var(--font-label);font-size:.85rem;color:var(--color-muted);margin-left:.1rem}.tm-io-btn{font-size:.78rem;padding:.35rem .65rem;gap:.3rem}.tm-load-group{display:flex;gap:.35rem}.tm-fdef-bar{margin:.25rem 1rem .5rem;padding:.5rem 1rem;border-radius:var(--radius-md);background:var(--primary-05);border:var(--border-width) dashed var(--primary-15);min-height:2.2rem;display:flex;align-items:center}.tm-formal-def{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem .8rem;font-family:var(--font-label);font-size:.9rem;color:var(--color-text);line-height:1.6}.tm-fdef-sep{color:var(--color-muted);font-size:.75rem}.tm-fdef-count{font-family:var(--font-label);font-size:.82rem;color:var(--color-muted);background:var(--primary-10);padding:.05rem .35rem;border-radius:var(--radius-sm);border:1px solid var(--primary-15)}.tm-back-count{font-size:.7rem;opacity:.75;min-width:1rem;font-family:var(--font-mono)}.tm-card{margin:1rem;border-radius:var(--radius-lg);border:var(--border-width) solid var(--color-primary);overflow:hidden}.tm-card-head{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem .75rem;padding:.6rem 1rem;border-bottom:var(--border-width) solid var(--primary-15);background:var(--primary-05)}.tm-card-title{font-family:var(--font-bold);font-size:.9rem;color:var(--color-primary);display:flex;align-items:center;gap:.5rem;flex-wrap:wrap}.tm-def-inline{font-family:var(--font-label);font-size:.78rem;color:var(--color-muted);font-weight:400}.tm-format-hint{font-family:var(--font-label);font-size:.78rem;color:var(--color-muted);margin-left:auto}.tm-format-hint code{font-family:var(--font-mono);font-size:.76rem;background:var(--primary-10);color:var(--color-primary);padding:.05rem .3rem;border-radius:var(--radius-sm)}.tm-card-actions{display:flex;align-items:center;gap:.4rem;margin-left:auto}.tm-help-btn{width:1.5rem;height:1.5rem;border-radius:50%;background:transparent;border:var(--border-width) solid var(--color-muted);color:var(--color-muted);font-family:var(--font-bold);font-size:.75rem;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;flex-shrink:0;transition:border-color var(--transition),color var(--transition),background var(--transition)}.tm-help-btn:hover{border-color:var(--color-primary);color:var(--color-primary);background:var(--primary-05)}.tm-state-btns{display:flex;gap:.3rem}.tm-vs-extras{display:flex;align-items:center;gap:.5rem .75rem;flex:1;min-width:0;flex-wrap:wrap}#tm-vs-table-extras .tm-format-hint{flex:1;text-align:center;margin-left:0}.tm-table-wrap{overflow-x:auto;padding:0}.tm-table{border-collapse:collapse;width:100%;font-family:var(--font-mono);font-size:.9rem;table-layout:fixed}.tm-table th,.tm-table td{border:none;border-radius:0;padding:0;text-align:center}.tm-table thead th{background:transparent;color:var(--color-muted);font-family:var(--font-mono);font-size:.68rem;text-transform:none;letter-spacing:.04em;padding:.55rem .4rem .45rem;border-bottom:2px solid var(--color-primary);text-align:center;white-space:nowrap;position:relative}.tm-table thead th.tm-th-blank{color:var(--color-primary);opacity:.7}.tm-table thead th.tm-th-q{width:4rem;min-width:4rem;color:transparent;border-bottom:2px solid var(--color-primary);background:transparent}.tm-td-state{font-family:var(--font-mono);font-size:.82rem;color:var(--color-primary);text-align:center;padding:0 .6rem;border-right:2px solid var(--color-primary);white-space:nowrap;background:var(--primary-05);width:4rem;min-width:4rem;position:relative}.tm-td-state.tm-init-state{font-family:var(--font-bold)}.tm-td-state.tm-init-state:before{content:"▶";font-size:.55rem;position:absolute;left:.35rem;top:50%;transform:translateY(-50%);color:var(--color-primary);opacity:.7}.tm-td-cell{padding:0;border:1px solid var(--primary-15);border-right-color:transparent;border-bottom-color:transparent;min-width:5rem}.tm-td-cell:last-child{border-right-color:var(--primary-15)}.tm-table tbody tr:last-child .tm-td-cell{border-bottom-color:var(--primary-15)}.tm-td-cell:hover{background:var(--primary-05)}.tm-td-cell:focus-within{background:var(--primary-10)}.tm-inst-input{width:100%;display:block;font-family:var(--font-mono);font-size:.9rem;text-align:center;padding:.6rem .3rem;border:none;background:transparent;color:var(--color-text);transition:color var(--transition);box-sizing:border-box;min-height:2.6rem;cursor:text}.tm-inst-input::placeholder{color:var(--color-muted);opacity:.25;font-size:.8rem}.tm-inst-input:focus{outline:none;color:var(--color-text)}.tm-inst-input.tm-v{color:color-mix(in srgb,#22c55e 70%,var(--color-text))}.tm-inst-input.tm-x{color:#ef4444}.tm-controls-bar{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem .75rem;padding:.75rem 1rem;border-bottom:var(--border-width) solid var(--primary-15)}.tm-speed-wrap{display:flex;align-items:center;gap:.5rem;margin-left:.5rem}.tm-tape-inline-wrap{display:flex;align-items:center;gap:.35rem;margin-left:.25rem}.tm-tape-inline-lbl{font-family:var(--font-label);font-size:.78rem;color:var(--color-muted);white-space:nowrap}.tm-tape-inline-input{font-family:var(--font-mono);font-size:.82rem;padding:.28rem .5rem;border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-sm);background:var(--color-bg);color:var(--color-text);width:9rem;transition:border-color var(--transition)}.tm-tape-inline-input:focus{outline:none;border-color:var(--color-primary);box-shadow:var(--shadow-primary)}.tm-speed-text{font-family:var(--font-label);font-size:.82rem;color:var(--color-muted);white-space:nowrap}.tm-speed-val{font-family:var(--font-bold);font-size:.85rem;color:var(--color-primary);min-width:2.2rem}.tm-status{display:inline-flex;align-items:center;gap:.35rem;padding:.3rem .75rem;border-radius:2rem;font-family:var(--font-bold);font-size:.8rem;background:var(--primary-10);color:var(--color-primary);border:var(--border-width) solid var(--primary-15);margin-left:auto;transition:background var(--transition),color var(--transition),border-color var(--transition)}.tm-status:before{content:"";width:.55rem;height:.55rem;border-radius:50%;background:currentColor;flex-shrink:0}.tm-s-run{background:color-mix(in srgb,var(--color-primary) 10%,transparent);color:var(--color-primary);border-color:var(--color-primary);animation:tm-pulse 1.4s ease-in-out infinite}.tm-s-halt{background:color-mix(in srgb,#22c55e 12%,transparent);color:#16a34a;border-color:#22c55e}.tm-s-loop{background:#ef44441a;color:#dc2626;border-color:#ef4444}@keyframes tm-pulse{0%,to{opacity:1}50%{opacity:.55}}.tm-info-bar{display:flex;gap:1rem 2rem;flex-wrap:wrap;padding:.5rem 1rem;border-bottom:var(--border-width) solid var(--primary-15);background:var(--primary-05)}.tm-info-item{display:flex;flex-direction:column;gap:.1rem}.tm-info-label{font-family:var(--font-label);font-size:.7rem;color:var(--color-muted);text-transform:uppercase;letter-spacing:.06em}.tm-info-val{font-family:var(--font-bold);font-size:1.05rem;color:var(--color-primary)}.tm-read-sym{font-family:var(--font-mono);font-size:1.1rem}.tm-shortcuts{font-family:var(--font-label);font-size:.78rem;color:var(--color-muted);display:flex;align-items:center;gap:.25rem;flex-wrap:wrap}kbd{display:inline-flex;align-items:center;justify-content:center;font-family:var(--font-mono);font-size:.7rem;background:var(--color-bg);border:1px solid var(--color-muted);border-radius:.25rem;padding:.05rem .3rem;box-shadow:0 1px 0 var(--color-muted)}.tm-tape-outer{padding:.75rem 0 0}.tm-tape-track{width:100%;display:flex;flex-direction:column;align-items:center}.tm-tape-row{position:relative;display:flex}.tm-tape-row--active{padding-bottom:2.6rem}.tm-cell{position:relative;width:2.2rem;height:3.2rem;display:flex;flex-direction:column;align-items:center;justify-content:space-between;padding:.22rem .05rem .32rem;border:var(--border-width) solid var(--color-muted);border-right-width:0;font-family:var(--font-mono);color:var(--color-text);background:var(--color-bg);user-select:none;transition:background var(--transition),color var(--transition),border-color var(--transition);flex-shrink:0;box-sizing:border-box}.tm-cell:first-child{border-left:var(--border-width) solid var(--color-muted)}.tm-cell:last-child{border-right-width:var(--border-width)}.tm-cell--head{background:var(--color-primary);border-color:var(--color-primary);color:var(--color-bg);border-right-width:var(--border-width);z-index:1;box-shadow:0 0 0 2px var(--primary-15);animation:tm-cell-land .15s ease}.tm-cell--head+.tm-cell{border-left-width:0}@keyframes tm-cell-land{0%{transform:scaleY(.85)}to{transform:scaleY(1)}}.tm-cell-idx{width:100%;text-align:center;font-family:var(--font-mono);font-size:.42rem;color:var(--color-muted);line-height:1;flex-shrink:0;transition:color var(--transition)}.tm-cell--head .tm-cell-idx{color:#ffffff8c}.tm-cell-sym{flex:1;display:flex;align-items:center;justify-content:center;font-size:1rem;line-height:1;padding-bottom:.05rem;color:inherit}.tm-blank-char{color:color-mix(in srgb,var(--color-muted) 50%,transparent);font-size:.85rem}.tm-cell--head .tm-blank-char{color:#ffffff80}.tm-head-marker{position:absolute;top:3.2rem;transform:translate(-50%);display:flex;flex-direction:column;align-items:center;gap:.1rem;pointer-events:none;z-index:5}.tm-head-arrow{font-size:.9rem;color:var(--color-primary);line-height:1}.tm-head-state{font-family:var(--font-bold);font-size:.64rem;color:var(--color-primary);line-height:1;letter-spacing:.02em;white-space:nowrap}.tm-head--r .tm-head-state:after{content:" →";opacity:.6}.tm-head--l .tm-head-state:before{content:"← ";opacity:.6}.tm-head--halt .tm-head-arrow,.tm-head--halt .tm-head-state{color:#22c55e}.tm-head--loop .tm-head-arrow,.tm-head--loop .tm-head-state{color:#ef4444}@keyframes tm-head-bounce{0%,to{transform:translate(-50%) translateY(0)}50%{transform:translate(-50%) translateY(-3px)}}.tm-head--run{animation:tm-head-bounce .9s ease-in-out infinite}.tm-last-inst{min-height:1.8rem;padding:.3rem 1rem;font-family:var(--font-label);font-size:.82rem;color:var(--color-muted);border-top:1px solid var(--primary-15);display:flex;align-items:center;gap:.5rem;transition:opacity .25s}.tm-last-inst .tm-li-state{color:var(--color-primary);font-family:var(--font-bold)}.tm-last-inst .tm-li-sym{font-family:var(--font-mono);background:var(--primary-10);color:var(--color-primary);padding:.05rem .3rem;border-radius:var(--radius-sm)}@keyframes tm-cell-flash{0%{color:var(--color-bg);background:var(--color-primary)}60%{color:var(--color-primary);background:var(--primary-15)}to{color:inherit;background:transparent}}.tm-inst-input.tm-flash{animation:tm-cell-flash .45s ease forwards}.tm-diagram-wrap{padding:.75rem 1rem 1rem;min-height:10rem;position:relative}.tm-diagram-svg{display:block;width:80%;height:20rem;overflow:visible;zoom:1.25;margin:0 auto}.tm-diag-state-lbl{font-family:var(--font-bold);font-size:.75rem;fill:var(--color-text);pointer-events:none;dominant-baseline:middle;text-anchor:middle}.td-fo-lbl{font-size:.62rem;text-align:center;line-height:1.3;white-space:nowrap}.td-fo-lbl .katex{font-size:.64rem}.td-fo-line{display:block}.td-fo-more{font-size:.54rem;opacity:.6}.tm-diag-edge-lbl{font-family:var(--font-mono);font-size:.62rem;fill:var(--color-text);pointer-events:none;text-anchor:middle}.tm-diag-panel{position:fixed;z-index:200;background:var(--color-bg);border:var(--border-width) solid var(--color-primary);border-radius:var(--radius-md);box-shadow:0 4px 20px #0000002e;min-width:15rem;max-width:22rem}.tdp-header{display:flex;align-items:center;justify-content:space-between;padding:.45rem .75rem;background:var(--primary-05);border-bottom:var(--border-width) solid var(--primary-15)}.tdp-title{font-family:var(--font-label);font-size:.82rem;color:var(--color-primary)}.tdp-close-btn{background:transparent;border:none;color:var(--color-muted);cursor:pointer;font-size:.8rem;line-height:1;padding:.1rem .2rem;border-radius:var(--radius-sm);flex-shrink:0}.tdp-close-btn:hover{color:var(--color-text);background:var(--primary-05)}.tdp-body{padding:.5rem .75rem .6rem;display:flex;flex-direction:column;gap:.3rem}.tdp-btn{padding:.32rem .6rem;border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-sm);background:transparent;color:var(--color-text);font-family:var(--font-label);font-size:.82rem;cursor:pointer;text-align:left;width:100%;transition:background var(--transition)}.tdp-btn:hover{background:var(--primary-05)}.tdp-btn--active{color:var(--color-primary);border-color:var(--color-primary)}.tdp-btn--danger{color:#ef4444;border-color:#ef444433}.tdp-btn--danger:hover{background:#ef44440f}.tdp-trans-list{display:flex;flex-direction:column;gap:.2rem;margin-bottom:.3rem}.tdp-trans-row{display:flex;align-items:center;gap:.3rem;flex-wrap:nowrap}.tdp-sel{font-family:var(--font-mono);font-size:.8rem;padding:.18rem 1.4rem .18rem .3rem;border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-sm);background-color:var(--color-bg);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6' viewBox='0 0 10 6'%3E%3Cpath d='M0 0.5 L5 5.5 L10 0.5' fill='none' stroke='%23888888' stroke-width='1.5' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E");background-repeat:no-repeat;background-position:right .4rem center;background-size:.5rem auto;color:var(--color-text);cursor:pointer;width:3rem;flex-shrink:0}.tdp-next{width:3.6rem}.tdp-arrow{font-size:.75rem;color:var(--color-muted);flex-shrink:0}.tdp-del-trans{width:1.3rem;height:1.3rem;display:flex;align-items:center;justify-content:center;border:none;background:transparent;color:var(--color-muted);cursor:pointer;border-radius:var(--radius-sm);flex-shrink:0;font-size:.9rem}.tdp-del-trans:hover{color:#ef4444;background:#ef444414}.tdp-add-trans{padding:.18rem .45rem;font-size:.78rem;border:var(--border-width) solid var(--color-primary);border-radius:var(--radius-sm);background:transparent;color:var(--color-primary);cursor:pointer;white-space:nowrap;flex-shrink:0}.tdp-add-trans:hover{background:var(--primary-05)}.tdp-sep{height:1px;background:var(--primary-15);margin:.2rem 0}.td-bg,.td-node-body{cursor:grab}.td-node-body:active{cursor:grabbing}.td-edge-hit{cursor:pointer}.tm-diagram-svg.td-panning,.tm-diagram-svg.td-panning *{cursor:grabbing!important}.td-conn-dot{opacity:0;cursor:crosshair;transition:opacity .15s,r .1s}.td-node-g:hover .td-conn-dot{opacity:1}.td-conn-dot:hover{r:8}.td-connecting-src .td-node-body{stroke-dasharray:5 3}.tm-card--history{overflow:hidden}.tm-hist-header{display:grid;grid-template-columns:3.5rem 3.5rem 1fr;gap:.5rem;padding:.4rem 1rem;background:var(--color-primary);color:var(--color-bg);font-family:var(--font-bold);font-size:.7rem;text-transform:uppercase;letter-spacing:.07em}.tm-history{max-height:15rem;overflow-y:auto}.tm-hist-row{display:grid;grid-template-columns:3.5rem 3.5rem 1fr;gap:.5rem;padding:.38rem 1rem;border-top:1px solid var(--primary-15);transition:background var(--transition);align-items:center}.tm-hist-row:first-child{border-top:none}.tm-hist-row:hover{background:var(--primary-05)}.tm-hist-n,.tm-hist-q{font-family:var(--font-mono);font-size:.82rem;color:var(--color-muted)}.tm-hist-tape{font-family:var(--font-mono);font-size:.82rem;display:flex;flex-wrap:nowrap;gap:.05rem;overflow:hidden}.tm-hist-sym{color:var(--color-text);opacity:.7;min-width:.9rem;text-align:center}.tm-hist-active{color:var(--color-bg);background:var(--color-primary);border-radius:2px;min-width:.9rem;text-align:center;padding:0 .1rem;font-family:var(--font-bold)}.tm-theory-backdrop{position:fixed;inset:0;background:#00000059;backdrop-filter:blur(2px);z-index:900;opacity:0;pointer-events:none;transition:opacity .25s ease}.tm-theory-backdrop.tm-open{opacity:1;pointer-events:auto}.tm-theory-panel{position:fixed;top:0;right:0;bottom:0;width:min(90vw,22rem);background:var(--color-bg);border-left:2px solid var(--color-primary);z-index:901;display:flex;flex-direction:column;transform:translate(100%);transition:transform .28s cubic-bezier(.4,0,.2,1);overflow:hidden}.tm-theory-panel.tm-open{transform:translate(0)}.tm-theory-header{display:flex;align-items:center;justify-content:space-between;padding:.75rem 1rem;border-bottom:1px solid var(--primary-15);background:var(--primary-05);flex-shrink:0}.tm-theory-title{font-family:var(--font-bold);font-size:.9rem;color:var(--color-primary)}.tm-theory-body{padding:1rem;overflow-y:auto;font-family:var(--font-label);font-size:.9rem;line-height:1.75;color:var(--color-text);flex:1}.tm-theory-body h4{font-family:var(--font-bold);font-size:.8rem;color:var(--color-primary);text-transform:uppercase;letter-spacing:.07em;margin:1rem 0 .4rem}.tm-theory-body h4:first-child{margin-top:0}.tm-theory-body .tm-def{padding:.5rem .75rem;border-left:3px solid var(--color-primary);background:var(--primary-05);border-radius:0 var(--radius-sm) var(--radius-sm) 0;margin-bottom:.75rem;font-size:.85rem}.tm-theory-body .tm-def em{font-family:var(--font-mono);font-size:.82rem;color:var(--color-primary);font-style:normal}.tm-theory-body .tm-ref{font-size:.75rem;color:var(--color-muted);font-style:italic;margin-top:1rem}.tm-history::-webkit-scrollbar,.tm-theory-body::-webkit-scrollbar{width:4px}.tm-history::-webkit-scrollbar-track,.tm-theory-body::-webkit-scrollbar-track{background:transparent}.tm-history::-webkit-scrollbar-thumb,.tm-theory-body::-webkit-scrollbar-thumb{background:var(--primary-15);border-radius:2px}.tm-history::-webkit-scrollbar-thumb:hover,.tm-theory-body::-webkit-scrollbar-thumb:hover{background:var(--color-primary)}@media (max-width: 640px){.tm-setup{padding:.5rem .75rem}.tm-alphabet-group{width:100%}.tm-controls-bar{gap:.4rem}.tm-info-bar{gap:.5rem 1.25rem}.tm-format-hint,.tm-def-inline{display:none}.tm-cell{width:1.9rem;height:2.8rem}.tm-cell-sym{font-size:.88rem}.tm-shortcuts{display:none}.tm-last-inst{font-size:.76rem}.tm-inst-input{padding:.5rem .2rem;font-size:.82rem;min-height:2.2rem}.tm-head-marker{top:2.8rem}.tm-td-state,.tm-table thead th.tm-th-q{width:3.2rem;min-width:3.2rem}.tm-td-cell{min-width:4rem}}.tm-machine-info{margin:.25rem 1rem .5rem;padding:.55rem 1rem;border-radius:var(--radius-md);background:var(--primary-05);border:var(--border-width) solid var(--primary-15);display:flex;flex-direction:column;gap:.15rem}.tm-machine-title{font-family:var(--font-bold);font-size:.95rem;color:var(--color-primary);line-height:1.3}.tm-machine-desc{font-family:var(--font-label);font-size:.8rem;color:var(--color-muted);line-height:1.5}.tm-lib-backdrop{position:fixed;inset:0;background:#00000080;backdrop-filter:blur(4px);z-index:1100;opacity:0;pointer-events:none;transition:opacity .25s ease}.tm-lib-backdrop.tm-lib-open{opacity:1;pointer-events:auto}.tm-lib-view{display:none;position:fixed;top:50%;left:50%;transform:translate(-50%,-50%) scale(.96);opacity:0;pointer-events:none;width:min(95vw,76rem);height:min(90vh,52rem);background:var(--color-bg);border:2px solid var(--color-primary);border-radius:var(--radius-lg);z-index:1101;flex-direction:column;overflow:hidden;transition:transform .28s cubic-bezier(.4,0,.2,1),opacity .22s}.tm-lib-view.tm-lib-open{display:flex;opacity:1;transform:translate(-50%,-50%) scale(1);pointer-events:auto}.tm-lib-topbar{display:flex;align-items:center;gap:.6rem;padding:.6rem 1.25rem;border-bottom:var(--border-width) solid var(--primary-15);background:var(--primary-05);flex-shrink:0}.tm-lib-title{font-family:var(--font-bold);font-size:.95rem;color:var(--color-primary);flex:1}.tm-lib-back-btn{display:flex;align-items:center;gap:.35rem;padding:.3rem .65rem;font-family:var(--font-label);font-size:.82rem;background:transparent;border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-sm);color:var(--color-primary);cursor:pointer;transition:background var(--transition),border-color var(--transition)}.tm-lib-back-btn:hover{background:var(--primary-05);border-color:var(--color-primary)}.tm-lib-back-btn svg{width:.8rem;height:.8rem;flex-shrink:0}.tm-lib-close-btn{flex-shrink:0}.tm-lib-grid{overflow-y:auto;padding:1.25rem 1.5rem;display:grid;grid-template-columns:repeat(auto-fill,minmax(12rem,1fr));gap:1rem;flex:1;align-content:start}.tm-lib-grid::-webkit-scrollbar{width:4px}.tm-lib-grid::-webkit-scrollbar-track{background:transparent}.tm-lib-grid::-webkit-scrollbar-thumb{background:var(--primary-15);border-radius:2px}.tm-lib-grid::-webkit-scrollbar-thumb:hover{background:var(--color-primary)}.tm-lib-card{border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-md);overflow:hidden;cursor:pointer;background:var(--color-bg);transition:border-color .18s,transform .15s,box-shadow .18s}.tm-lib-card:hover{border-color:var(--color-primary);transform:translateY(-3px);box-shadow:0 6px 24px #0000001a}.tm-lib-card-svg{height:8.5rem;background:var(--primary-05);border-bottom:var(--border-width) solid var(--primary-15);overflow:hidden;display:flex;align-items:stretch}.tm-lib-preview-svg{width:100%;height:100%;display:block}.tm-lib-card-info{padding:.5rem .7rem}.tm-lib-card-title{font-family:var(--font-bold);font-size:.82rem;color:var(--color-text);white-space:nowrap;overflow:hidden;text-overflow:ellipsis;display:block}.tm-lib-card-author{display:none}.tm-lib-status{grid-column:1 / -1;text-align:center;padding:3rem 1rem;color:var(--color-muted);font-family:var(--font-label);font-size:.9rem}.tm-lib-detail{display:grid;grid-template-columns:1fr 24rem;overflow:hidden;flex:1}.tm-lib-detail-diagram{background:var(--primary-05);border-right:var(--border-width) solid var(--primary-15);display:flex;align-items:stretch;overflow:hidden}.tm-lib-detail-preview-svg{width:100%;height:100%;display:block}.tm-lib-detail-info{padding:2rem 1.75rem;display:flex;flex-direction:column;gap:.75rem;overflow-y:auto}.tm-lib-detail-info::-webkit-scrollbar{width:4px}.tm-lib-detail-info::-webkit-scrollbar-track{background:transparent}.tm-lib-detail-info::-webkit-scrollbar-thumb{background:var(--primary-15);border-radius:2px}.tm-lib-detail-title{font-family:var(--font-bold);font-size:1.35rem;color:var(--color-text);margin:0;line-height:1.25}.tm-lib-detail-author{font-family:var(--font-label);font-size:.82rem;color:var(--color-muted);margin-top:-.35rem}.tm-lib-detail-desc{font-family:var(--font-label);font-size:.9rem;color:var(--color-text);line-height:1.7;margin:0;flex:1}.tm-lib-detail-load{margin-top:.5rem;align-self:flex-start;padding:.55rem 1.5rem}.tm-up-backdrop{position:fixed;inset:0;background:#00000073;backdrop-filter:blur(3px);z-index:960;opacity:0;pointer-events:none;transition:opacity .25s ease}.tm-up-backdrop.tm-open{opacity:1;pointer-events:auto}.tm-up-modal{position:fixed;top:50%;left:50%;transform:translate(-50%,-50%) scale(.96);opacity:0;pointer-events:none;width:min(94vw,42rem);max-height:92vh;background:var(--color-bg);border:2px solid var(--color-primary);border-radius:var(--radius-lg);z-index:961;display:flex;flex-direction:column;overflow:hidden;transition:transform .28s cubic-bezier(.4,0,.2,1),opacity .25s}.tm-up-modal.tm-open{opacity:1;transform:translate(-50%,-50%) scale(1);pointer-events:auto}.tm-up-header{display:flex;align-items:center;justify-content:space-between;padding:.65rem 1rem;border-bottom:var(--border-width) solid var(--primary-15);background:var(--primary-05);flex-shrink:0}.tm-up-header-title{font-family:var(--font-bold);font-size:.92rem;color:var(--color-primary)}.tm-up-form{padding:1.25rem 1.5rem 1.5rem;display:flex;flex-direction:column;gap:1rem;overflow-y:auto}.tm-up-form::-webkit-scrollbar{width:4px}.tm-up-form::-webkit-scrollbar-track{background:transparent}.tm-up-form::-webkit-scrollbar-thumb{background:var(--primary-15);border-radius:2px}.tm-up-field{display:flex;flex-direction:column;gap:.35rem;width:100%}.tm-up-label{font-family:var(--font-label);font-size:.82rem;color:var(--color-muted)}.tm-up-input,.tm-up-textarea{width:100%;box-sizing:border-box;padding:.65rem .9rem;border-radius:var(--radius-md);border:var(--border-width) solid var(--color-primary);background:var(--color-bg);color:var(--color-text);font-family:var(--font-label);font-size:.9rem;transition:box-shadow var(--transition)}.tm-up-input:focus,.tm-up-textarea:focus{outline:none;box-shadow:0 0 0 3px var(--primary-15)}.tm-up-input::placeholder,.tm-up-textarea::placeholder{color:var(--color-muted);opacity:.55}.tm-up-textarea{min-height:7rem;resize:vertical;line-height:1.55}.tm-up-errors{list-style:disc;padding-left:1.1rem;margin:0;font-family:var(--font-label);font-size:.8rem;color:#e53e3e;background:#e53e3e12;border-left:3px solid #e53e3e;border-radius:0 var(--radius-sm) var(--radius-sm) 0;padding:.5rem .75rem .5rem 1.4rem;display:none}.tm-up-errors:not(:empty){display:block}.tm-io-btn--info{color:var(--color-primary)}.tm-json-backdrop{position:fixed;inset:0;background:#0000004d;backdrop-filter:blur(2px);z-index:900;opacity:0;pointer-events:none;transition:opacity .25s ease}.tm-json-backdrop.tm-open{opacity:1;pointer-events:auto}.tm-json-panel{position:fixed;top:0;right:0;bottom:0;width:min(92vw,26rem);background:var(--color-bg);border-left:2px solid var(--color-primary);z-index:901;display:flex;flex-direction:column;transform:translate(100%);transition:transform .28s cubic-bezier(.4,0,.2,1);overflow:hidden}.tm-json-panel.tm-open{transform:translate(0)}.tm-json-header{display:flex;align-items:center;justify-content:space-between;padding:.75rem 1rem;border-bottom:var(--border-width) solid var(--primary-15);background:var(--primary-05);flex-shrink:0}.tm-json-title{font-family:var(--font-bold);font-size:.9rem;color:var(--color-primary)}.tm-json-body{padding:1rem 1.1rem 1.5rem;overflow-y:auto;font-family:var(--font-label);font-size:.875rem;line-height:1.65;color:var(--color-text);flex:1;display:flex;flex-direction:column;gap:.4rem}.tm-json-body::-webkit-scrollbar{width:4px}.tm-json-body::-webkit-scrollbar-track{background:transparent}.tm-json-body::-webkit-scrollbar-thumb{background:var(--primary-15);border-radius:2px}.tm-json-body::-webkit-scrollbar-thumb:hover{background:var(--color-primary)}.tm-json-body h4{font-family:var(--font-bold);font-size:.75rem;text-transform:uppercase;letter-spacing:.07em;color:var(--color-primary);margin:.75rem 0 .2rem}.tm-json-body h4:first-child{margin-top:0}.tm-json-body p{margin:0;color:var(--color-muted);font-size:.84rem}.tm-json-body code{font-family:var(--font-mono);font-size:.8rem;background:var(--primary-10);color:var(--color-primary);padding:.05rem .3rem;border-radius:var(--radius-sm)}.tm-json-field{padding:.5rem .7rem;border-left:2px solid var(--primary-15);border-radius:0 var(--radius-sm) var(--radius-sm) 0;display:flex;flex-direction:column;gap:.2rem;transition:border-color .15s}.tm-json-field:hover{border-color:var(--color-primary)}.tm-json-field>p{font-size:.82rem}.tm-json-key{font-family:var(--font-mono);font-size:.82rem;color:var(--color-primary);background:var(--primary-10);padding:.05rem .35rem;border-radius:var(--radius-sm)}.tm-json-type{font-family:var(--font-mono);font-size:.72rem;color:var(--color-muted);margin-left:.4rem}.tm-json-trans-box{background:var(--primary-05);border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-md);padding:.65rem .85rem}.tm-json-trans-row{display:flex;align-items:center;gap:.5rem;margin-bottom:.5rem;font-family:var(--font-mono);font-size:.84rem}.tm-json-trans-key{color:var(--color-primary)}.tm-json-trans-arr{color:var(--color-muted)}.tm-json-trans-val{color:var(--color-primary)}.tm-json-trans-legend{margin:0;padding-left:1.1rem;font-size:.8rem;color:var(--color-muted);line-height:1.8}.tm-json-trans-legend code{font-size:.78rem}.tm-json-note{font-size:.82rem;color:var(--color-muted);margin:0}.tm-json-example{background:var(--primary-05);border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-md);padding:.75rem .9rem;font-family:var(--font-mono);font-size:.76rem;color:var(--color-primary);overflow-x:auto;margin:0;line-height:1.6;white-space:pre-wrap;word-break:break-word;display:block;flex-shrink:0}.tm-json-divider{height:1px;background:var(--primary-15);margin:.75rem 0}.tm-json-gen{display:flex;flex-direction:column;gap:.75rem}.tm-json-gen-input{width:100%;box-sizing:border-box;padding:.5rem .75rem;border-radius:var(--radius-md);border:var(--border-width) solid var(--color-primary);background:var(--color-bg);color:var(--color-text);font-family:var(--font-label);font-size:.85rem;resize:vertical;margin:0;transition:border-color var(--transition),box-shadow var(--transition);line-height:1.5}.tm-json-gen-input:focus{outline:none;box-shadow:0 0 0 3px var(--primary-15);border-color:var(--color-primary)}.tm-json-gen-input::placeholder{color:var(--color-muted);opacity:.5}input.tm-json-gen-input{resize:none;height:2.2rem;padding-top:0;padding-bottom:0}.tm-gen-field{display:flex;flex-direction:column;gap:.22rem}.tm-gen-label{font-family:var(--font-bold);font-size:.82rem;color:var(--color-text)}.tm-gen-required{color:var(--color-primary);font-size:.76rem;margin-left:.12rem}.tm-gen-optional{font-family:var(--font-label);color:var(--color-muted);font-size:.74rem;margin-left:.15rem}.tm-gen-hint{font-family:var(--font-label);font-size:.76rem;color:var(--color-muted);line-height:1.4}.tm-gen-hint code{font-family:var(--font-mono);font-size:.71rem;background:var(--primary-10);color:var(--color-primary);padding:.02rem .25rem;border-radius:var(--radius-sm)}.tm-json-gen-submit{align-self:flex-start;font-size:.82rem;padding:.38rem .9rem}.tm-json-prompt-wrap{display:flex;flex-direction:column;gap:.4rem;margin-top:.25rem}.tm-json-prompt-bar{display:flex;align-items:center;justify-content:space-between}.tm-json-prompt-label{font-family:var(--font-bold);font-size:.78rem;color:var(--color-primary)}.tm-json-copy-btn{font-size:.76rem;padding:.28rem .65rem;gap:.3rem}.tm-json-copy-btn svg{width:.82rem;height:.82rem}.tm-json-prompt-text{background:var(--primary-05);border:var(--border-width) solid var(--primary-15);border-radius:var(--radius-md);padding:.75rem .9rem;font-family:var(--font-mono);font-size:.72rem;color:var(--color-text);overflow-x:auto;margin:0;line-height:1.6;white-space:pre-wrap;max-height:14rem;overflow-y:auto}@media (max-width: 860px){.tm-lib-detail{grid-template-columns:1fr;grid-template-rows:55% 1fr}.tm-lib-detail-diagram{border-right:none;border-bottom:var(--border-width) solid var(--primary-15)}}@media (max-width: 600px){.tm-lib-grid{grid-template-columns:repeat(auto-fill,minmax(9rem,1fr));padding:.75rem;gap:.65rem}.tm-lib-card-svg{height:6.5rem}.tm-lib-detail{grid-template-rows:45% 1fr}.tm-lib-detail-info{padding:1.25rem 1rem}.tm-lib-detail-title{font-size:1.1rem}.tm-machine-info{margin:.2rem .75rem .4rem}}.tm-subcall-container{margin-bottom:.75rem;border:1px solid color-mix(in srgb,var(--color-primary) 30%,transparent);border-radius:.5rem;overflow:hidden;background:color-mix(in srgb,var(--color-primary) 4%,var(--color-bg))}.tm-subcall-header{display:flex;align-items:center;gap:.4rem;padding:.35rem .75rem;background:color-mix(in srgb,var(--color-primary) 10%,var(--color-bg));border-bottom:1px solid color-mix(in srgb,var(--color-primary) 20%,transparent);font-size:.72rem;font-weight:700;text-transform:uppercase;letter-spacing:.06em;color:var(--color-primary);opacity:.8}.tm-subcall-header-icon{animation:tm-sub-rot 2s linear infinite;display:inline-block}@keyframes tm-sub-rot{to{transform:rotate(360deg)}}.tm-sub-panel{padding:.55rem .75rem;border-bottom:1px solid color-mix(in srgb,var(--color-muted) 35%,transparent);animation:tm-sub-slide-in .22s ease;transition:opacity .3s ease,transform .3s ease}.tm-sub-panel:last-child{border-bottom:none}.tm-sub-panel--closing{opacity:0;transform:translateY(-5px)}@keyframes tm-sub-slide-in{0%{opacity:0;transform:translateY(-6px)}to{opacity:1;transform:translateY(0)}}.tm-sub-panel-header{display:flex;align-items:center;gap:.45rem;margin-bottom:.35rem}.tm-sub-spinner{font-size:.95rem;color:var(--color-primary);animation:tm-sub-rot 1.4s linear infinite;display:inline-block;flex-shrink:0}.tm-sub-title{font-family:var(--font-mono, monospace);font-weight:700;font-size:.82rem;color:var(--color-text)}.tm-sub-badge{margin-left:auto;padding:.08rem .45rem;border-radius:1rem;font-size:.68rem;font-weight:700;flex-shrink:0}.tm-sub-badge--running{background:color-mix(in srgb,var(--color-primary) 14%,transparent);color:var(--color-primary);animation:tm-pulse 1.3s ease-in-out infinite}.tm-sub-badge--done{background:color-mix(in srgb,#22c55e 14%,transparent);color:#16a34a}.tm-sub-tape{display:flex;flex-wrap:nowrap;gap:2px;padding:.2rem 0;overflow-x:auto;scrollbar-width:none;min-height:1.7rem;align-items:center}.tm-sub-tape::-webkit-scrollbar{display:none}.tm-sub-cell{display:inline-flex;align-items:center;justify-content:center;min-width:1.35rem;height:1.55rem;border:1px solid var(--color-muted);border-radius:2px;font-family:var(--font-mono, monospace);font-size:.72rem;background:var(--color-bg);color:var(--color-text);flex-shrink:0;opacity:.65}.tm-sub-cell--head{border-color:var(--color-primary);background:color-mix(in srgb,var(--color-primary) 16%,var(--color-bg));color:var(--color-primary);font-weight:700;opacity:1}.tm-sub-footer{display:flex;align-items:center;gap:.35rem;font-size:.7rem;color:var(--color-muted);margin-top:.1rem}.tm-sub-state{font-family:var(--font-mono, monospace);color:var(--color-primary);font-weight:700}.tm-sub-sep{opacity:.4}.tm-li-call{font-family:var(--font-mono, monospace);color:var(--color-primary);background:color-mix(in srgb,var(--color-primary) 9%,transparent);border:1px solid color-mix(in srgb,var(--color-primary) 25%,transparent);padding:0 .25rem;border-radius:.2rem}.tm-lib-card-id{display:inline-block;margin-top:.2rem;padding:.06rem .35rem;background:color-mix(in srgb,var(--color-primary) 9%,transparent);border:1px solid color-mix(in srgb,var(--color-primary) 28%,transparent);border-radius:.3rem;font-family:var(--font-mono, monospace);font-size:.68rem;color:var(--color-primary)}.tm-lib-detail-id{margin-top:.4rem;margin-bottom:.1rem;font-size:.8rem;color:var(--color-muted);display:flex;align-items:center;gap:.5rem;flex-wrap:wrap}.tm-lib-detail-id-code{font-family:var(--font-mono, monospace);font-size:.82rem;color:var(--color-primary);background:color-mix(in srgb,var(--color-primary) 8%,var(--color-bg));border:1px solid color-mix(in srgb,var(--color-primary) 25%,transparent);padding:.05rem .35rem;border-radius:.3rem}.tm-lib-id-copy-btn{padding:.12rem .45rem;font-size:.72rem;background:color-mix(in srgb,var(--color-primary) 10%,transparent);border:1px solid color-mix(in srgb,var(--color-primary) 28%,transparent);border-radius:.3rem;color:var(--color-primary);cursor:pointer;transition:background .15s}.tm-lib-id-copy-btn:hover{background:color-mix(in srgb,var(--color-primary) 20%,transparent)}.tm-up-success{list-style:none;color:#16a34a;line-height:1.7}.tm-up-machine-id{font-family:var(--font-mono, monospace);font-size:.85rem;background:color-mix(in srgb,var(--color-primary) 8%,var(--color-bg));border:1px solid var(--color-muted);padding:.1rem .4rem;border-radius:.3rem}.tm-up-copy-id{margin-left:.4rem;padding:.12rem .4rem;font-size:.72rem;background:color-mix(in srgb,var(--color-primary) 10%,transparent);border:1px solid color-mix(in srgb,var(--color-primary) 28%,transparent);border-radius:.3rem;color:var(--color-primary);cursor:pointer;transition:background .15s}.tm-up-copy-id:hover{background:color-mix(in srgb,var(--color-primary) 20%,transparent)}.latex[data-astro-cid-cnvijud2]{margin-top:.625rem;margin-left:.9375rem;color:var(--color-text)}.math-container[data-astro-cid-cnvijud2]{display:flex;flex-wrap:wrap;justify-content:center;max-width:100%;overflow-x:auto}.ggbContainer[data-astro-cid-cnvijud2]{border-radius:0 3px 3px;border-top:var(--color-primary) 3px solid;border-bottom:var(--color-primary) 3px solid;border-right:var(--color-primary) 3px solid}.calcContainer[data-astro-cid-cnvijud2]{margin-left:1rem;margin-top:1rem;width:25rem}.audioReproButton[data-astro-cid-cnvijud2]{margin-top:.5rem}.inputFractions[data-astro-cid-cnvijud2]{font-family:CascadiaCode}.inLine[data-astro-cid-cnvijud2]{display:inline-block}.control[data-astro-cid-cnvijud2]{display:flex;flex-direction:row;width:20rem;margin-left:1rem}.control[data-astro-cid-cnvijud2] label[data-astro-cid-cnvijud2]{display:block;width:8rem}.control[data-astro-cid-cnvijud2] input[data-astro-cid-cnvijud2][type=range]{width:100%;padding:.5rem;border:0}