:root{font-family: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}html,body{margin:0;padding:0;height:100%}body{display:flex;flex-direction:column}#toolbar{flex:0 0 auto;padding:.5em .75em;display:flex;flex-direction:column;gap:.4em}.toolbar-row{display:flex;align-items:center;gap:.5em;flex-wrap:wrap}.toolbar-sep{opacity:.7}#hint{margin:0;font-size:.85em;opacity:.75}.swatch{display:inline-block;width:.75em;height:.75em;border-radius:2px;vertical-align:baseline;border:1px solid rgba(128,128,128,.5)}.swatch-on{background:#a0f0a0}.swatch-off{background:#f0a0a0}.swatch-dep{background:#7779ff}#app{flex:1 1 auto;min-height:0}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}}.modal-overlay{position:fixed;inset:0;background:#00000080;z-index:100;display:flex;align-items:center;justify-content:center}.modal-overlay.hidden{display:none}.modal-box{background:#242424;color:#ffffffde;width:80vw;height:80vh;border-radius:8px;box-shadow:0 4px 24px #0000004d;display:flex;flex-direction:column;overflow:hidden}.modal-header{display:flex;justify-content:space-between;align-items:center;padding:.75em 1em;border-bottom:1px solid rgba(255,255,255,.2);font-weight:600;flex-shrink:0}.modal-header button{background:none;border:none;font-size:1.5em;cursor:pointer;line-height:1;color:inherit}@media(prefers-color-scheme:light){.modal-box{background:#fff;color:#213547}.modal-header{border-bottom:1px solid #ddd}}.modal-graph{flex:1;min-height:0;position:relative}.modal-graph.hidden{display:none}.modal-tabs{display:flex;gap:.5em;padding:.5em 1em 0;border-bottom:1px solid rgba(255,255,255,.2);flex-shrink:0}.modal-tab{background:none;border:none;border-bottom:2px solid transparent;padding:.4em .2em;margin-bottom:-1px;cursor:pointer;color:inherit;opacity:.7;font:inherit}.modal-tab.active{opacity:1;border-bottom-color:#646cff;font-weight:600}.modal-table{flex:1;min-height:0;overflow:auto;padding:1em}.modal-table.hidden{display:none}.truth-table{border-collapse:collapse;font-family:monospace;font-size:.9em}.truth-table th,.truth-table td{border:1px solid rgba(255,255,255,.15);padding:.25em .6em;text-align:center}.truth-table-output-start{border-left:2px solid #646cff}@media(prefers-color-scheme:light){.modal-tabs{border-bottom-color:#ddd}.truth-table th,.truth-table td{border-color:#ddd}}