@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{text-align:center;height:100%;margin:0;padding:0;font-family:JuliaMono,monospace}body{font-size:1rem}.is-hidden{display:none!important}.is-block{display:block!important}.is-flex{display:flex!important}.nowrap{white-space:nowrap}#objectiveDisplay,#inequalities{font-size:1.2rem}canvas{z-index:0;width:100%;height:100%;position:fixed;top:0;left:0}#gridCanvas:focus{outline:none}.small-screen-overlay{z-index:1000;color:#fff;text-align:center;background:#000000e6;justify-content:center;align-items:center;width:100vw;height:100vh;padding:20px;font-size:1.2rem;display:none;position:fixed;top:0;left:0}#sidebar{box-sizing:border-box;z-index:10;background-color:#f0f0f0;border-right:1px solid #ccc;width:450px;height:100%;padding:10px;position:fixed;top:0;left:0;overflow:hidden}#sidebarContent{flex-direction:column;height:100%;min-height:0;display:flex;overflow:hidden auto}#sidebarContent .header{justify-content:space-between;align-items:center;display:flex}#sidebarContent .header h1{margin:0;font-weight:400}#sidebar h2{letter-spacing:-.5px;text-align:center;margin-bottom:5px;font-family:sans-serif}#sidebar button{margin-top:10px;padding:5px 10px}#sidebarHandle{cursor:ew-resize;z-index:20;background:#0000001a;width:5px;height:100%;position:fixed;top:0;left:450px}#terminal-container{flex-grow:1;min-height:0;overflow-y:hidden}#terminal-container2{color:#eee;height:180px;min-height:180px;max-height:180px;margin-top:15px;padding:0;display:block}#terminal-container2,#terminal-container{background-color:#333;border-radius:5px;margin-bottom:5px;position:relative;overflow:hidden;box-shadow:inset 0 0 10px #0000004d}#terminal-window{pointer-events:none;width:100%;height:100%;position:absolute;top:0;left:0;overflow:hidden}#terminal-window:before{content:"";opacity:.1;pointer-events:none;background:linear-gradient(#444 50%,#111 50%) 0 0/100% 4px repeat-y;width:100%;height:100%;animation:5s linear infinite pulse;position:absolute;top:0;left:0;overflow:hidden}.scanlines--delay-8{--delay:-8s}.scanlines--delay-12{--delay:-12s}#result,#topResult{box-sizing:border-box;max-height:100%;overflow-y:auto}#topResult{flex-direction:column;height:100%;padding:10px 8px 10px 20px;display:flex}#result{padding-top:5px;padding-left:4px;padding-right:8px}#usageTips{text-align:left;color:#ccc;padding-left:5px;font-size:.75rem}#maximize,#subjectTo{text-align:left;font-size:1.2rem;display:none}#nullStateMessage{flex:auto;justify-content:center;align-items:center;width:100%;min-height:0;display:flex;overflow:hidden}#nullStateMessage .null-state-logo{width:100%;max-width:100%;height:100%;max-height:100%;display:block}#uiContainer{flex-direction:column;height:100%;min-height:0;display:flex}.inequality-item,.objective-item{cursor:pointer;padding:4px}.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}.objective-active{color:#eee}#result.virtualized{flex-direction:column;height:100%;display:flex;overflow:hidden}.iterate-virtual-wrapper{overflow-anchor:none;flex-direction:column;width:100%;display:flex}.iterate-rows{overflow-anchor:none;flex-direction:column;display:flex}#result.virtualized .iterate-scroll{overflow-anchor:none;flex:1;overflow-y:auto}#result.virtualized .iterate-header,#result.virtualized .iterate-item,#result.virtualized .iterate-item-nohover,#result.virtualized .iterate-footer{font-size:var(--virtual-font-size,18px)}.github-icon{color:#ccc;background:0 0;width:32px;height:32px;transition:color .3s;display:block}.github-icon:hover{color:#333}#sidebar button,#zoomControls button{color:#333;background-color:#fafafa;border:1px solid #333;border-radius:4px;margin-top:10px;padding:6px 16px;font-family:JuliaMono,monospace;font-size:.9rem;transition:transform .2s,box-shadow .2s,background-color .2s;box-shadow:0 4px #333,0 4px 8px #0000001a}#sidebar button:hover:not(:disabled):not(.button-active),#zoomControls button:hover:not(:disabled):not(.button-active){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{color:#333;cursor:not-allowed;background-color:#fafafa;border-color:#333;transform:translateY(2px);box-shadow:0 2px #333,0 2px 4px #0000001a}#sidebar button.button-active{color:#333;background-color:#fafafa;border-color:#333;transform:translateY(2px);box-shadow:0 2px #333,0 2px 4px #0000001a}#zoomControls{z-index:100;flex-direction:column;gap:10px;display:flex;position:fixed;top:10px;right:10px}#zoomControls button{box-shadow:none;margin-top:0;padding:10px}#zoomControls button:hover:not(:disabled):not(.button-active),#zoomControls button:active:not(:disabled):not(.button-active),#zoomControls button:disabled{box-shadow:none;background-color:#fafafa;transform:none}#zoomControls button:disabled{fill:#eee;background-color:#444}#shareButton{justify-content:center;align-items:center;padding:10px;display:flex}#toggle3DButton.button-active{color:#fff;background-color:#4caf50}#toggle3DButton.button-active:hover{color:#fff;box-shadow:none;background-color:#4caf50;transform:none}#toggleZOffsetButton.button-active{color:#fff;background-color:#2196f3}#toggleZOffsetButton.button-active:hover{color:#fff;box-shadow:none;background-color:#2196f3;transform:none}#zScaleSliderContainer{text-align:center;background-color:#fafafae6;border:1px solid #333;border-radius:4px;flex-direction:column;align-items:center;margin-top:10px;padding:5px;display:flex}#zScaleSliderContainer label{color:#333;margin-bottom:5px;font-size:10px;display:block}#zScaleValue{color:#666;margin-top:5px;font-size:9px}#zScaleSlider{appearance:none;writing-mode:bt-lr;background:#ddd;border-radius:4px;outline:none;width:6px;height:80px;transition:background .2s}#zScaleSlider::-webkit-slider-runnable-track{appearance:none;background:#ddd;border:1px solid #333;border-radius:4px;width:6px}#zScaleSlider::-webkit-slider-thumb{appearance:none;background:#fafafa;border:1px solid #333;border-radius:2px;width:20px;height:10px;margin-left:-7px;transition:background .2s;box-shadow:0 2px 4px #0000001a}#zScaleSlider::-webkit-slider-thumb:hover{background:#f0f0f0}#zScaleSlider::-webkit-slider-thumb:focus{background:#f0f0f0}#zScaleSlider::-webkit-slider-thumb:active{background:#e0e0e0}#zScaleSlider::-moz-range-track{background:#ddd;border:1px solid #333;border-radius:4px;width:6px;height:80px}#zScaleSlider::-moz-range-thumb{background:#fafafa;border:1px solid #333;border-radius:2px;width:20px;height:10px;margin-left:-7px;transition:background .2s;box-shadow:0 2px 4px #0000001a}#zScaleSlider::-moz-range-thumb:hover{background:#f0f0f0}#zScaleSlider::-moz-range-thumb:focus{background:#f0f0f0}#zScaleSlider::-moz-range-thumb:active{background:#e0e0e0}#zScaleSlider::-ms-track{color:#0000;background:0 0;border-color:#0000;width:6px;height:80px}#zScaleSlider::-ms-fill-lower{background:#ddd;border-radius:4px}#zScaleSlider::-ms-fill-upper{background:#ddd;border-radius:4px}#zScaleSlider::-ms-thumb{background:#fafafa;border:1px solid #333;border-radius:2px;width:20px;height:10px;margin-left:-7px;transition:background .2s;box-shadow:0 2px 4px #0000001a}#zScaleSlider::-ms-thumb:hover{background:#f0f0f0}#zScaleSlider::-ms-thumb:focus{background:#f0f0f0}#zScaleSlider::-ms-thumb:active{background:#e0e0e0}@supports not ((-moz-appearance:none)){@media screen and (-webkit-device-pixel-ratio>=0){#zScaleSlider{transform-origin:50%;writing-mode:horizontal-tb;background:0 0;width:80px;height:80px;transform:rotate(270deg)}#zScaleSlider::-webkit-slider-runnable-track{width:100%;height:6px}#zScaleSlider::-webkit-slider-thumb{margin-top:-3px;margin-left:0;transform:rotate(270deg)}}}input[type=range]:not(#zScaleSlider){appearance:none;background:#ddd;border-radius:4px;outline:none;width:100%;height:6px;transition:background .2s,box-shadow .2s}input[type=range]:not(#zScaleSlider)::-webkit-slider-runnable-track{background:#ddd;border:1px solid #333;border-radius:4px;height:6px}input[type=range]:not(#zScaleSlider)::-webkit-slider-thumb{-webkit-appearance:none;background:#fafafa;border:1px solid #333;border-radius:2px;width:10px;height:20px;margin-top:-7px;transition:background .2s;box-shadow:0 2px 4px #0000001a}input[type=range]:not(#zScaleSlider):hover::-webkit-slider-thumb{background:#f0f0f0}input[type=range]:not(#zScaleSlider):focus::-webkit-slider-thumb{background:#f0f0f0}input[type=range]:not(#zScaleSlider):active::-webkit-slider-thumb{background:#e0e0e0}input[type=range]:not(#zScaleSlider)::-moz-range-track{background:#ddd;border:1px solid #333;border-radius:4px;height:6px}input[type=range]:not(#zScaleSlider)::-moz-range-thumb{background:#fafafa;border:1px solid #333;border-radius:2px;width:10px;height:20px;transition:background .2s;box-shadow:0 2px 4px #0000001a}input[type=range]:not(#zScaleSlider):hover::-moz-range-thumb{background:#f0f0f0}input[type=range]:not(#zScaleSlider):focus::-moz-range-thumb{background:#f0f0f0}input[type=range]:not(#zScaleSlider):active::-moz-range-thumb{background:#e0e0e0}input[type=range]:not(#zScaleSlider)::-ms-track{color:#0000;background:0 0;border-color:#0000;width:100%;height:6px}input[type=range]:not(#zScaleSlider)::-ms-fill-lower{background:#ddd;border-radius:4px}input[type=range]:not(#zScaleSlider)::-ms-fill-upper{background:#ddd;border-radius:4px}input[type=range]:not(#zScaleSlider)::-ms-thumb{background:#fafafa;border:1px solid #333;border-radius:2px;width:10px;height:20px;margin-top:0;transition:background .2s;box-shadow:0 2px 4px #0000001a}input[type=range]:not(#zScaleSlider):hover::-ms-thumb{background:#f0f0f0}input[type=range]:not(#zScaleSlider):focus::-ms-thumb{background:#f0f0f0}input[type=range]:not(#zScaleSlider):active::-ms-thumb{background:#e0e0e0}.controlPanel{background-color:#fafafa;border:1px solid #333;border-radius:6px;margin:15px 0;padding:0 15px 15px}.controlPanel.header{margin-top:0;margin-bottom:0;padding-top:13px}.controlPanel.controlPanel--compact{margin-top:5px;margin-bottom:20px}.controlPanel .button-group{flex-wrap:wrap;justify-content:center;gap:10px;font-size:.9rem;display:flex}.controlPanel .settings-section{margin-top:1.5em;display:none}.controlPanel .label-centered{text-align:center;margin-bottom:.5em;display:block}.controlPanel label{color:#333;margin-bottom:5px;font-family:JuliaMono,monospace;font-size:1rem;display:block}.controlPanel input[type=number]{width:100%;margin-top:5px;margin-bottom:10px}.controlPanel input[type=range]{width:100%;margin-top:10px;margin-bottom:10px}.controlPanel .settings-checkbox-row{flex-wrap:wrap;justify-content:center;align-items:center;gap:16px;display:flex}.controlPanel .settings-checkbox-row label{align-items:center;gap:6px;margin-bottom:0;display:inline-flex}.objective-rotation{margin-top:1em}.objective-rotation .rotation-layout{align-items:flex-start;gap:1em;display:flex}.objective-rotation .rotation-column{flex:1}.objective-rotation .rotation-checkbox{flex-direction:column;align-items:center;display:flex}@keyframes pulse{0%{opacity:.14;transform:scale(1.002)}8%{opacity:.13;transform:scale(1.005)}15%{opacity:.05;transform:scale(1.01)}30%{opacity:.09;transform:scale(1.006)}to{opacity:.14;transform:scale(1.002)}}@keyframes vline{0%{transform:translateY(-8px)}to{transform:translateY(800px)}}@keyframes flash{0%,to{opacity:1}70%{opacity:.8}}#simplexSettings,#ipmColorByPhaseBox{display:none!important}