@font-face{font-family:JuliaMono;src:url(/assets/JuliaMono-Light-Dag5NLS-.woff2) format("woff2");font-weight:300;font-style:normal;font-display:swap}html,body{margin:0;padding:0;height:100%;text-align:center;font-family:JuliaMono,monospace}body{font-size:1rem}#objectiveDisplay,#inequalities{font-size:1.2rem}canvas{position:fixed;top:0;left:0;width:100%;height:100%;z-index:0}#gridCanvas:focus{outline:none}.small-screen-overlay{position:fixed;top:0;left:0;width:100vw;height:100vh;z-index:1000;background:#000000e6;color:#fff;display:none;align-items:center;justify-content:center;text-align:center;padding:20px;font-size:1.2rem}#sidebar{position:fixed;top:0;left:0;width:450px;height:100%;padding:10px;box-sizing:border-box;background-color:#f0f0f0;border-right:1px solid #ccc;overflow:hidden;z-index:10}#sidebarContent{display:flex;flex-direction:column;height:100%;overflow:hidden;min-height:0}#sidebarContent .header{display:flex;align-items:center;justify-content:space-between}#sidebarContent .header h1{margin:0;font-weight:400}#sidebar h2{margin-bottom:5px;letter-spacing:-.5px;font-family:sans-serif;text-align:center}#sidebar button{margin-top:10px;padding:5px 10px}#sidebarHandle{position:fixed;top:0;left:450px;width:5px;height:100%;cursor:ew-resize;z-index:20;background:#0000001a}#terminal-container{flex-grow:1;overflow-y:hidden;min-height:0}#terminal-container2{height:auto}#terminal-container2,#terminal-container{box-shadow:inset 0 0 10px #0000004d;position:relative;overflow:hidden;background-color:#333;border-radius:5px;margin-bottom:5px}#terminal-window{position:absolute;top:0;left:0;width:100%;height:100%;pointer-events:none;overflow:hidden}#terminal-window:before{content:"";width:100%;height:100%;position:absolute;top:0;left:0;background:linear-gradient(#444 50%,#111 50%);background-size:100% 4px;background-repeat:repeat-y;opacity:.1;animation:pulse 5s linear infinite;pointer-events:none;overflow:hidden}#result,#topResult{max-height:100%;overflow-y:auto;padding-left:4px;padding-right:8px;padding-top:5px}#topResult{padding-bottom:5px}#usageTips{font-size:.75rem;text-align:left;color:#ccc;padding-left:5px}#maximize,#subjectTo{text-align:left;font-size:1.2rem;display:none}#nullStateMessage{text-align:center;white-space:pre-wrap}#uiContainer{display:flex;flex-direction:column;height:100%;min-height:0}.inequality-item,.objective-item{padding:4px;cursor:pointer}.inequality-item:hover,.objective-item:hover,.iterate-item:hover,.iterate-item.hover{background-color:#4f4f4f}.iterate-item,.iterate-item-nohover,.iterate-header,.iterate-footer{color:#eee;white-space:pre-wrap;padding-left:4px}.iterate-header{padding-top:8px;padding-bottom:5px}.iterate-footer{margin-bottom:20px;padding-top:5px}.github-icon{width:32px;height:32px;color:#ccc;transition:color .3s ease;background:transparent;display:block}.github-icon:hover{color:#333}#sidebar button,#zoomControls button{margin-top:10px;padding:6px 16px;font-family:JuliaMono,monospace;font-size:.9rem;background-color:#fafafa;color:#333;border:1px solid #333;border-radius:4px;box-shadow:0 4px #333,0 4px 8px #0000001a;transition:transform .2s ease,box-shadow .2s ease,background-color .2s ease}#sidebar button:hover:not(:disabled),#zoomControls button:hover:not(:disabled){background-color:#f0f0f0;transform:translateY(-2px);box-shadow:0 6px #333,0 6px 10px #00000026}#sidebar button:active:not(:disabled),#zoomControls button:active:not(:disabled){background-color:#e0e0e0;transform:translateY(2px);box-shadow:0 2px #333,0 2px 4px #0000001a}#sidebar button:disabled,#zoomControls button:disabled{background-color:#fafafa;color:#333;border-color:#333;transform:translateY(2px);box-shadow:0 2px #333,0 2px 4px #0000001a;cursor:not-allowed}#zoomControls{position:fixed;top:10px;right:10px;z-index:100;display:flex;flex-direction:column;gap:10px}#zoomControls button{padding:10px;box-shadow:none;margin-top:0}#zoomControls button:hover{box-shadow:0 4px 8px #0000001a}#zoomControls button:hover:not(:disabled),#zoomControls button:active:not(:disabled),#zoomControls button:disabled{transform:none;box-shadow:none}#zoomControls button:disabled{background-color:#444;fill:#eee}#shareButton{width:45px;height:45px;padding:10px;display:flex;align-items:center;justify-content:center}#zScaleSliderContainer{display:flex;flex-direction:column;align-items:center;padding:5px;background-color:#fafafae6;border:1px solid #333;border-radius:4px}#zScaleSlider{-webkit-appearance:slider-vertical;width:6px;height:80px;background:#ddd;border-radius:4px;transition:background .2s ease;outline:none}#zScaleSlider::-webkit-slider-runnable-track{width:6px;background:#ddd;border:1px solid #333;border-radius:4px}#zScaleSlider::-webkit-slider-thumb{-webkit-appearance:none;width:20px;height:10px;background:#fafafa;border:1px solid #333;border-radius:2px;box-shadow:0 2px 4px #0000001a;transition:background .2s ease}#zScaleSlider::-webkit-slider-thumb:hover,#zScaleSlider::-webkit-slider-thumb:focus{background:#f0f0f0}#zScaleSlider::-webkit-slider-thumb:active{background:#e0e0e0}#zScaleSlider::-moz-range-track{width:6px;height:80px;background:#ddd;border:1px solid #333;border-radius:4px}#zScaleSlider::-moz-range-thumb{width:20px;height:10px;background:#fafafa;border:1px solid #333;border-radius:2px;box-shadow:0 2px 4px #0000001a;transition:background .2s ease}#zScaleSlider::-moz-range-thumb:hover,#zScaleSlider::-moz-range-thumb:focus{background:#f0f0f0}#zScaleSlider::-moz-range-thumb:active{background:#e0e0e0}#zScaleSlider::-ms-track{height:80px;width:6px;background:transparent;border-color:transparent;color:transparent}#zScaleSlider::-ms-fill-lower{background:#ddd;border-radius:4px}#zScaleSlider::-ms-fill-upper{background:#ddd;border-radius:4px}#zScaleSlider::-ms-thumb{width:20px;height:10px;background:#fafafa;border:1px solid #333;border-radius:2px;box-shadow:0 2px 4px #0000001a;transition:background .2s ease;margin-left:0}#zScaleSlider::-ms-thumb:hover,#zScaleSlider::-ms-thumb:focus{background:#f0f0f0}#zScaleSlider::-ms-thumb:active{background:#e0e0e0}input[type=range]{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:100%;height:6px;background:#ddd;border-radius:4px;transition:background .2s ease,box-shadow .2s ease;outline:none}input[type=range]::-webkit-slider-runnable-track{height:6px;background:#ddd;border:1px solid #333;border-radius:4px}input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:10px;height:20px;background:#fafafa;border:1px solid #333;border-radius:2px;box-shadow:0 2px 4px #0000001a;transition:background .2s ease;margin-top:-7px}input[type=range]:hover::-webkit-slider-thumb,input[type=range]:focus::-webkit-slider-thumb{background:#f0f0f0}input[type=range]:active::-webkit-slider-thumb{background:#e0e0e0}input[type=range]::-moz-range-track{height:6px;background:#ddd;border:1px solid #333;border-radius:4px}input[type=range]::-moz-range-thumb{width:10px;height:20px;background:#fafafa;border:1px solid #333;border-radius:2px;box-shadow:0 2px 4px #0000001a;transition:background .2s ease}input[type=range]:hover::-moz-range-thumb,input[type=range]:focus::-moz-range-thumb{background:#f0f0f0}input[type=range]:active::-moz-range-thumb{background:#e0e0e0}input[type=range]::-ms-track{width:100%;height:6px;background:transparent;border-color:transparent;color:transparent}input[type=range]::-ms-fill-lower{background:#ddd;border-radius:4px}input[type=range]::-ms-fill-upper{background:#ddd;border-radius:4px}input[type=range]::-ms-thumb{width:10px;height:20px;background:#fafafa;border:1px solid #333;border-radius:2px;box-shadow:0 2px 4px #0000001a;transition:background .2s ease;margin-top:0}input[type=range]:hover::-ms-thumb,input[type=range]:focus::-ms-thumb{background:#f0f0f0}input[type=range]:active::-ms-thumb{background:#e0e0e0}.controlPanel{background-color:#fafafa;border:1px solid #333;border-radius:6px;padding:0 15px 15px;margin:15px 0}.controlPanel .button-group{display:flex;flex-wrap:wrap;gap:10px;justify-content:center;font-size:.9rem}.controlPanel .settings-section{margin-top:1.5em}.controlPanel label{font-family:JuliaMono,monospace;font-size:1rem;color:#333;display:block;margin-bottom:5px}.controlPanel input[type=number]{margin-top:5px;margin-bottom:10px;width:100%}.controlPanel input[type=range]{margin-top:10px;margin-bottom:10px;width:100%}@keyframes pulse{0%{transform:scale(1.002);opacity:.14}8%{transform:scale(1.005);opacity:.13}15%{transform:scale(1.01);opacity:.05}30%{transform:scale(1.006);opacity:.09}to{transform:scale(1.002);opacity:.14}}@keyframes vline{0%{transform:translateY(-8px)}to{transform:translateY(800px)}}@keyframes flash{0%,to{opacity:1}70%{opacity:.8}}