#root{width:100%;height:100vh}.logo{height:6em;padding:1.5em;will-change:filter;transition:filter .3s}.logo:hover{filter:drop-shadow(0 0 2em #646cffaa)}.logo.react:hover{filter:drop-shadow(0 0 2em #61dafbaa)}@keyframes logo-spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}@media (prefers-reduced-motion: no-preference){a:nth-of-type(2) .logo{animation:logo-spin infinite 20s linear}}.card{padding:2em}.read-the-docs{color:#888}.ant-checkbox-checked .ant-checkbox-inner{background-color:var(--background-color);border-color:var(--border-color)}.ant-collapse-item-active>.ant-collapse-header{background-color:#e6f7ff!important}.contract-state-panel-container{font-family:Arial,sans-serif;background:linear-gradient(135deg,#f8fafc,#e2e8f0);border-radius:14px;padding:15px;color:#1e293b;width:480px;max-width:480px;min-height:40px;box-shadow:0 8px 30px #0000001a;border:1px solid #cbd5e1;position:relative;overflow:hidden;display:flex;flex-direction:column;gap:15px}.panel-header{display:flex;align-items:center;gap:10px}.panel-info{margin-top:8px;background-color:#fff9;border-radius:6px;padding:8px 12px;border:1px solid #e2e8f0}.panel-purpose{font-size:.7rem;color:#1e293b;margin-bottom:4px;font-weight:600}.panel-execution-steps{font-size:.6rem;color:#475569;margin-top:0}.panel-title{margin:0;font-size:1.4rem;font-weight:900;color:#1e293b;letter-spacing:-.5px}.info-box{background-color:#fff9;border-radius:10px;padding:10px;border:1px solid #e2e8f0}.info-label{margin:0 0 8px;font-size:1rem;color:#475569}.range-display{display:flex;justify-content:space-between;font-size:.9rem;color:#64748b;font-weight:600}.current-value-display{background:linear-gradient(to right,#a78bfa,#60a5fa);border-radius:12px;padding:10px;text-align:center;box-shadow:0 6px 20px #60a5fa40}.value-label{margin:0;font-size:.9rem;color:#fff;opacity:.9;font-weight:600}.value-number{margin:8px 0 0;font-size:2.5rem;font-weight:900;color:#fff;line-height:1;letter-spacing:-2px;text-shadow:0 3px 8px rgba(0,0,0,.25)}.range-progress-bar{display:flex;align-items:center;gap:12px}.progress-label{font-size:.9rem;color:#475569;min-width:30px;text-align:center;font-weight:700}.progress-track{flex:1;height:12px;background-color:#e2e8f0;border-radius:6px;position:relative;overflow:hidden;border:1px solid #cbd5e1}.progress-fill{height:100%;background:linear-gradient(to right,#a78bfa,#60a5fa);border-radius:5px}.progress-handle{width:20px;height:20px;background-color:#fff;border:2px solid #3b82f6;border-radius:50%;position:absolute;top:50%;transform:translate(-50%,-50%);box-shadow:0 3px 10px #3b82f659}.out-of-range-indicator{display:flex;align-items:center;justify-content:space-between;background-color:#ef44441a;border-left:5px solid #ef4444;border-radius:8px;padding:12px 15px;font-size:1rem}.out-of-range-dot{color:#ef4444;font-size:1.3rem}.out-of-range-label,.out-of-range-percentage{color:#b91c1c;font-weight:800}.binary-representation-bar{display:flex;align-items:center;justify-content:space-between;background-color:#f1f5f9;border-radius:10px;padding:15px 20px;font-family:Courier New,monospace;font-size:1.2rem;border:1px solid #cbd5e1}.binary-segments{display:flex;gap:4px}.binary-bit{padding:1px;border-radius:2px;font-weight:700;color:#16a34a}.center-bits-wrapper,.overflow-bits-wrapper,.underflow-bits-wrapper{display:flex;gap:4px;padding:4px;border-radius:4px}.center-bits-wrapper{border:1px solid #94a3b8}.overflow-bits-wrapper{border:1px solid #ef4444}.underflow-bits-wrapper{border:1px solid #f59e0b}.binary-bit-overflow{color:#ef4444}.binary-bit-underflow{color:#f59e0b}.info-tip{position:relative;cursor:pointer;margin-left:2px;font-size:10px}.info-tip-text{visibility:hidden;opacity:0;width:240px;background-color:#020617;color:#e5e7eb;padding:3px 5px;border-radius:3px;position:absolute;z-index:10;bottom:130%;left:50%;transform:translate(-50%);transition:opacity .2s ease;font-size:14px}.info-tip:hover .info-tip-text{visibility:visible;opacity:1}.binary-description,.progress-description{font-size:15px;font-weight:600;color:#000;display:flex;align-items:center}.binary-legend{display:flex;align-items:center;gap:10px;padding:10px 16px;background-color:#010105;border:1px dashed #334155;border-radius:4px;font-size:14px;color:#cbd5f5}.info-icon{width:20px;height:20px;border-radius:50%;font-size:13px;font-weight:700;font-style:italic;background-color:#fff;color:#020617;border:1px solid #020617;display:inline-flex;align-items:center;justify-content:center;cursor:pointer}.info-icon:hover{background-color:#020617;color:#fff;border-color:#fff}.underflow-indicator-theme{background-color:#f59e0b1a;border-left-color:#f59e0b}.underflow-dot-theme{color:#f59e0b}.underflow-label-percentage-theme{color:#c27d0a}.instruction-panel-container{background-color:#f8fafc;border-radius:12px;padding:16px 20px;width:100%;height:auto;min-height:380px;display:flex;flex-direction:column;box-sizing:border-box;overflow:visible;color:#1e293b;font-family:Roboto Mono,monospace;box-shadow:0 6px 16px #0000000d}.instruction-panel-header{padding-bottom:12px;margin-bottom:16px;border-bottom:1px solid #e2e8f0}.instruction-panel-title{margin:0;font-size:.95rem;font-weight:700;color:#0f172a;letter-spacing:.2px}.instruction-panel-content{flex-grow:1;overflow-y:auto;overflow-x:hidden;padding-right:8px}.instruction-panel-content::-webkit-scrollbar{width:6px}.instruction-panel-content::-webkit-scrollbar-thumb{background:#cbd5e1;border-radius:6px}.instruction-panel-content::-webkit-scrollbar-track{background:#f1f5f9}.instruction-empty{text-align:center;padding:40px 0;color:#64748b}.empty-icon{font-size:1.8rem;margin-bottom:8px}.empty-text{font-size:1.1rem;font-weight:600;color:#334155}.empty-subtext{font-size:1rem;opacity:.9}.instruction-list{list-style:none;padding:0;margin:0}.instruction-item{display:flex;align-items:flex-start;gap:12px;padding:12px 16px;margin-bottom:8px;background:#fff;border:1px solid #e2e8f0;border-radius:8px;line-height:1.5;transition:transform .2s ease,box-shadow .2s ease}.instruction-item:hover{transform:translateY(-1px);box-shadow:0 3px 8px #0000000d}.step-index{width:24px;height:24px;border-radius:50%;background-color:#0ea5e9;color:#fff;font-weight:700;font-size:.95rem;display:flex;align-items:center;justify-content:center;flex-shrink:0}.step-text{font-size:.95rem;white-space:normal;color:#1e293b}.instruction-bug{background:#fff1f2;border-left:4px solid #ef4444}.instruction-bug .step-index{background-color:#ef4444;color:#fff}.instruction-bug .step-text{color:#7f1d1d;font-weight:600}.binary-editor-container{background:#020617;border:1px solid #1e293b;border-radius:16px;font-family:Courier New,monospace;width:100%;height:100%;min-height:100%;box-shadow:0 0 40px #22c55e40;display:flex;flex-direction:column}.binary-editor-header{display:flex;align-items:center;gap:10px;padding:14px 18px;border-bottom:1px solid #1e293b}.editor-dot{width:12px;height:12px;border-radius:50%}.red{background:#ef4444}.yellow{background:#facc15}.green{background:#22c55e}.editor-title{margin-left:14px;color:#94a3b8;font-size:24px;font-weight:600}.binary-editor-body{flex:1;min-height:600px;padding:20px 0;overflow-y:auto}.editor-line{display:flex;padding:8px 28px;line-height:38px;font-size:24px}.line-number{width:70px;text-align:right;margin-right:26px;color:#64748b;font-size:20px;-webkit-user-select:none;user-select:none}.line-code{color:#22c55e;white-space:pre}.kw{color:#38bdf8;font-weight:600}.type{color:#a78bfa}.name{color:#facc15}.var{color:#e5e7eb}.num{color:#fb7185}.danger{color:#ef4444;font-weight:700;text-shadow:0 0 10px rgba(239,68,68,.8)}:root{font-family:Inter,system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#ffffffde;background-color:#242424;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{font-weight:500;color:#646cff;text-decoration:inherit}a:hover{color:#535bf2}body{margin:0;display:flex;place-items:center;min-width:320px;min-height:100vh}h1{font-size:3.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#1a1a1a;cursor:pointer;transition:border-color .25s}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}@media (prefers-color-scheme: light){:root{color:#213547;background-color:#fff}a:hover{color:#747bff}button{background-color:#f9f9f9}}
