:root{font:15px/1.6 system-ui,sans-serif;color:#202020;background:#fff}*{box-sizing:border-box}html,body{height:100%;margin:0;overflow:hidden}.ide{height:100%;height:100dvh;display:flex;flex-direction:column;min-height:0}.menu{display:flex;align-items:center;justify-content:space-between;flex:0 0 auto;gap:16px;padding:10px 18px;border-bottom:1px solid #bbb}h1{font-size:17px;margin:0;font-weight:650}a{color:#0057a8}.toolbar{flex:0 0 auto;max-height:42%;overflow:auto;padding:12px 18px;border-bottom:1px solid #bbb;background:#f7f7f7}.controls{display:flex;flex-wrap:wrap;align-items:center;gap:8px}label{font-weight:600}button,select{font:inherit;min-height:44px;padding:6px 12px;border:1px solid #888;border-radius:3px;background:#fff;color:inherit}select{max-width:100%;min-width:0;width:min(330px,100%)}button{cursor:pointer}button:disabled{cursor:default;color:#666;background:#eee}#run{background:#0057a8;border-color:#0057a8;color:#fff}#run:disabled{background:#666;border-color:#666}:focus-visible{outline:3px solid #005fcc;outline-offset:2px}.workspace{--editor-size: 55%;display:grid;grid-template-columns:minmax(0,var(--editor-size)) 12px minmax(0,1fr);flex:1 1 0;min-height:0;overflow:hidden}.pane{display:flex;flex-direction:column;min-height:0;min-width:0;overflow:hidden}.pane-header,.pane-footer{flex:0 0 auto;padding:8px 14px;background:#f7f7f7;overflow-wrap:anywhere}.pane-header{display:flex;align-items:center;gap:12px;justify-content:space-between;border-bottom:1px solid #ddd}h2{font-size:15px;margin:0}#document-name{font-size:12px;color:#555;overflow:hidden;white-space:nowrap;text-overflow:ellipsis}.pane-footer{border-top:1px solid #ddd;font-size:12px}.editor-host,.result-scroll{flex:1 1 0;min-height:0;min-width:0}.editor-host{overflow:hidden}.result-scroll{overflow:auto;overscroll-behavior:contain}pre{font:14px/1.7 ui-monospace,SFMono-Regular,Consolas,monospace;margin:0;padding:14px;white-space:pre}#splitter{background:#eee;border-inline:1px solid #bbb;cursor:col-resize;touch-action:none;position:relative}#splitter:after{content:"";position:absolute;height:36px;width:2px;background:#777;top:calc(50% - 18px);left:4px}#splitter:hover,#splitter:focus-visible{background:#d9e8f6}body.resizing{user-select:none;cursor:col-resize}@media (max-width: 640px){.menu{padding:8px 12px;gap:10px}h1{font-size:14px}.menu a{font-size:12px;flex-shrink:0}.toolbar{padding:8px 12px}.workspace{grid-template-columns:minmax(0,1fr);grid-template-rows:minmax(0,var(--editor-size)) 12px minmax(0,1fr)}#splitter{cursor:row-resize;border-inline:0;border-block:1px solid #bbb}#splitter:after{height:2px;width:36px;top:4px;left:calc(50% - 18px)}body.resizing{cursor:row-resize}.pane-header,.pane-footer{padding:5px 12px}}#result{padding:14px}.result-summary{display:flex;flex-wrap:wrap;gap:8px 14px;align-items:baseline;margin-bottom:14px}.result-summary strong{font:700 20px/1.4 ui-monospace,monospace}.result-summary span{font-size:13px}.state-navigation{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:14px}.state-navigation button{min-width:44px;font-family:ui-monospace,monospace}.state-navigation button[aria-pressed=true]{color:#fff;background:#0057a8;border-color:#0057a8}#result h3{font-size:14px;margin:0 0 12px}.instance-table{border-collapse:collapse;width:100%;margin-bottom:18px;font:13px/1.7 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.instance-table caption{text-align:left;font:600 14px/1.6 system-ui,sans-serif;padding-bottom:6px}.instance-table th,.instance-table td{border:1px solid #ddd;padding:7px 10px;text-align:left;vertical-align:top;overflow-wrap:anywhere}.instance-table thead{background:#f7f7f7}.instance-table tbody th{font-weight:400;width:40%}.instance-tuple+.instance-tuple{border-top:1px dotted #ddd;margin-top:3px;padding-top:3px}.empty-set{color:#555}.result-details{margin-top:12px}.result-details summary{cursor:pointer;padding:6px 0}.result-raw{padding:8px 0}.trace-loop{font-size:13px}.menu-actions{display:flex;align-items:center;gap:14px;flex-shrink:0}.menu-actions button{font-size:13px;padding:4px 8px}@media (max-width: 640px){.menu{flex-wrap:wrap;gap:6px 12px}.menu-actions{margin-left:auto;gap:12px}}