.context-menu{z-index:30;background:#fff;border:1px solid #d0d4dc;border-radius:6px;flex-direction:column;min-width:13rem;padding:.25rem;display:flex;position:fixed;box-shadow:0 6px 24px #0000002e}.context-menu button{text-align:left;color:inherit;background:0 0;border:0;border-radius:4px;align-items:center;gap:.5rem;padding:.3rem .5rem;font-size:.82rem;display:flex}.context-menu button:hover:not(:disabled){background:#eef1f6}.context-menu button:disabled{opacity:.45;cursor:default}.context-menu button.danger{color:#b00020}.context-menu .icon{color:#777;width:1rem;display:inline-flex}.context-menu hr{border:0;border-top:1px solid #e5e7eb;margin:.2rem 0}.icon-button{color:#666;background:0 0;border:0;border-radius:4px;justify-content:center;align-items:center;padding:.2rem;display:inline-flex}.icon-button:hover:not(:disabled){color:#1d1d1f;background:#e8ebf1}.icon-button:disabled{opacity:.4;cursor:default}@media (prefers-color-scheme:dark){.context-menu{background:#282c34;border-color:#444b58}.context-menu button:hover:not(:disabled){background:#333946}.context-menu hr{border-color:#3a404c}.context-menu button.danger{color:#ff7b7b}.icon-button{color:#9198a5}.icon-button:hover:not(:disabled){color:#e6e8ec;background:#333946}}.files{flex-direction:column;min-height:100%;display:flex}.files-toolbar{border-bottom:1px solid #e3e6eb;align-items:center;gap:.1rem;margin-bottom:.3rem;padding:0 0 .35rem;display:flex}.files-toolbar .title{text-transform:uppercase;color:#777;letter-spacing:.03em;flex:1;font-size:.75rem}.files-tree{border-radius:4px;flex:none;padding-bottom:.5rem}.files-tree.drop{outline-offset:-2px;outline:2px dashed #3b6fd8}.files ul{margin:0;padding:0;list-style:none}.files li{border-radius:4px;align-items:center;display:flex}.files li.folder{display:block}.files li.on{background:#e5ecfa}.files li button{color:#888;background:0 0;border:0;padding:.2rem .3rem}.files li button.name{text-align:left;color:#1d1d1f;white-space:nowrap;text-overflow:ellipsis;flex:1;align-items:center;gap:.3rem;font-family:ui-monospace,monospace;font-size:.82rem;display:flex;overflow:hidden}.files li.dir{color:#555;cursor:pointer;-webkit-user-select:none;user-select:none;gap:.25rem;padding-top:.2rem;padding-bottom:.2rem;font-family:ui-monospace,monospace;font-size:.82rem}.files li.dir:hover,.files li:not(.folder):not(.dir):hover{background:#f0f2f6}.files li.on:hover{background:#dde6f8}.files li.dir.drop{background:#dfe8fb;outline:1px solid #3b6fd8}.files li.dir.workspace{color:#2f5bb7;font-weight:600}.files .row-icon{color:#8a919e;flex:none;display:inline-flex}.files li.dir.workspace .row-icon{color:#3b6fd8}.files .chevron{width:13px}.files .ws-chip{color:#2f5bb7;background:#e5ecfa;border-radius:.6rem;margin-left:auto;margin-right:.3rem;padding:0 .35rem;font-family:system-ui,sans-serif;font-size:.68rem;font-weight:500}.files li.editing{padding-right:.3rem;display:block}.file-form{width:100%}.file-form input{padding:.1rem .3rem;font-family:ui-monospace,monospace;font-size:.82rem}.files h3{text-transform:uppercase;color:#777;margin:.75rem 0 .25rem;font-size:.75rem}.files-help{margin:.25rem .2rem}.produced{margin:0;padding:0;list-style:none}.produced li{align-items:center;gap:.3rem;display:flex}.produced li button{color:inherit;background:0 0;border:0;padding:.2rem .3rem}.produced li button.name{text-align:left;flex:1;font-family:ui-monospace,monospace;font-size:.85rem}.disk{color:#3b6fd8;font-size:.8em}@media (prefers-color-scheme:dark){.files-toolbar{border-color:#353a45}.files li.on{background:#2f3a52}.files li.dir:hover,.files li:not(.folder):not(.dir):hover{background:#2b303b}.files li.on:hover{background:#34405a}.files li button.name{color:#d7dae0}.files li.dir{color:#aab1bd}.files li.dir.workspace,.files li.dir.workspace .row-icon{color:#8fb4ff}.files li.dir.drop{background:#2f3a52}.files .ws-chip{color:#8fb4ff;background:#2f3a52}}.activity{background:#f2f3f6;border-right:1px solid #ddd;flex-direction:column;align-items:center;gap:.15rem;padding-top:.35rem;display:flex}.activity button{color:#80868f;background:0 0;border:0;border-left:2px solid #0000;justify-content:center;align-items:center;width:2.6rem;height:2.5rem;display:flex;position:relative}.activity button:hover{color:#1d1d1f}.activity button.on{color:#1d1d1f;border-left-color:#3b6fd8}.activity-badge{background:#d43c3c;border-radius:50%;min-width:.55rem;height:.55rem;font-size:0;position:absolute;top:.3rem;right:.35rem}.help-button{align-items:center;display:inline-flex}@media (prefers-color-scheme:dark){.activity{background:#1a1d23;border-color:#353a45}.activity button{color:#7d8490}.activity button:hover,.activity button.on{color:#e6e8ec}}:root{color:#1d1d1f;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;background:#fafafa;font-family:system-ui,sans-serif}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial}}body{margin:0}button{font:inherit;cursor:pointer}input{font:inherit;box-sizing:border-box;border:1px solid #ccc;border-radius:4px;width:100%;padding:.25rem .4rem}code{font-family:ui-monospace,monospace;font-size:.9em}[hidden]{display:none!important}.app{flex-direction:column;height:100vh;display:flex}header{border-bottom:1px solid #ddd;align-items:center;gap:1rem;padding:.4rem 1rem;display:flex}header h1{margin:0;font-size:1.1rem}header .file{margin-left:auto;font-family:ui-monospace,monospace;font-size:.9rem}header button,.actions button,.button,.library-bar button,.presets button{background:#fff;border:1px solid #ccc;border-radius:4px;padding:.15rem .6rem;font-size:.8rem}.status{background:#eee;border-radius:1rem;padding:.1rem .5rem;font-size:.85rem}.status[data-status=Busy]{background:#fff3c4}.status[data-status=Idle]{background:#d7f5dd}.muted{color:#777;font-size:.85rem}.error{color:#b00020}main{flex:1;grid-template-columns:auto minmax(0,1fr) minmax(18rem,30rem);min-height:0;display:grid}main.with-sidebar{grid-template-columns:auto 16rem minmax(0,1fr) minmax(18rem,30rem)}aside.left .sidebar{flex:1;min-height:0;padding:.5rem;overflow:auto}aside{flex-direction:column;min-height:0;display:flex}aside.left{border-right:1px solid #ddd}aside.right{border-left:1px solid #ddd;padding:0 .75rem}aside h2{text-transform:uppercase;color:#777;margin:.75rem 0 .25rem;font-size:.8rem}.center{flex-direction:column;min-width:0;min-height:0;display:flex}.editor-wrap{flex-direction:column;flex:1;min-height:0;display:flex}.editor{flex:1;overflow:auto}.editor .cm-editor{height:100%;font-size:14px}.editor .cm-processing{background:#fff8d6}.editor .cm-unchecked{opacity:.55}header select{color:inherit;background:#fff;border:1px solid #ccc;border-radius:4px;padding:.1rem .3rem;font-size:.8rem}.help{z-index:10;background:#fff;border:1px solid #ccc;border-radius:6px;padding:.5rem .75rem;font-size:.85rem;position:absolute;top:2.6rem;right:1rem;box-shadow:0 4px 16px #00000026}.help td{padding:.15rem .5rem}kbd{font-family:ui-monospace,monospace;font-size:.8rem}.library-bar{background:#eef3fb;border-bottom:1px solid #d5deea;justify-content:space-between;align-items:center;padding:.3rem .75rem;font-family:ui-monospace,monospace;font-size:.85rem;display:flex}.library .cm-editor{background:#fcfcfd}.tabs{flex-direction:column;flex:1;min-height:0;display:flex}.tabs nav{border-bottom:1px solid #ddd;flex-wrap:wrap;display:flex}.tabs nav button{color:#666;background:0 0;border:0;border-bottom:2px solid #0000;padding:.4rem .75rem;font-size:.8rem}.tabs nav button.on{color:#1d1d1f;border-bottom-color:#3b6fd8}.tab{flex:1;min-height:0;padding:.5rem;overflow:auto}.badge{color:#b00020}.outline ul,.modules,.problems{margin:0;padding:0;list-style:none}.outline input,.packages input,.query input{margin-bottom:.4rem}.outline li button,.modules li button,.problems li button{text-align:left;background:0 0;border:0;border-radius:3px;width:100%;padding:.15rem .25rem;font-size:.85rem}.outline li button:hover,.modules li button:hover,.problems li button:hover{background:#eef1f6}.kind{color:#7a5fbf;font-size:.75rem}.packages details{border-bottom:1px solid #eee;padding:.3rem 0}.packages summary{cursor:pointer;font-size:.85rem}.packages .synopsis{color:#666;margin-left:1rem;font-size:.78rem}.packages a{word-break:break-all;font-size:.75rem}.modules li button{font-family:ui-monospace,monospace;font-size:.78rem}.goals{flex:3;min-height:6rem;font-family:ui-monospace,monospace;font-size:13px;overflow:auto}aside.right .tabs{flex:2}.goal{margin-bottom:.75rem}.bar{text-align:left;color:#777;background:0 0;border:0;border-top:1px solid #999;width:100%;min-height:.6rem;margin:.25rem 0;padding:0;font-size:.75rem;display:block}.concl,.hyp{white-space:pre}.goals-view{position:relative}.goals-view .diffs{font-family:system-ui,sans-serif;font-size:.75rem;position:absolute;top:0;right:0}.goals-view .diffs input{vertical-align:middle;width:auto;margin:0}.hyp-name{font:inherit;color:inherit;background:0 0;border:0;padding:0;font-weight:700}.diff-added{background:#d4f5d4;border-radius:2px}.hyp.diff-new{background:#e6f7e6}.pp-constr-keyword{color:#7a3e9d}.pp-constr-notation{color:#555}.pp-constr-variable{color:#1f5fa8}.pp-constr-reference{color:#2a6e2a}.pp-constr-path{color:#666}.pp-constr-type{color:#a14d00}.pp-message-error{color:#b00020}.pp-message-warning{color:#a76200}.message,.error{white-space:pre-wrap;margin:.25rem 0}pre.message,pre.error{font-size:12px}.sev{font-size:.75rem;font-weight:600}.sev-1{color:#b00020}.sev-2{color:#a76200}.presets{flex-wrap:wrap;gap:.3rem;margin-bottom:.5rem;display:flex}.result{border-top:1px solid #eee;padding:.3rem 0}.result .command{color:#3b6fd8;font-family:ui-monospace,monospace;font-size:.8rem}.log{color:#555;font-family:ui-monospace,monospace;font-size:11px}.hover{white-space:pre-wrap;max-width:40rem;margin:0;padding:.4rem .6rem;font-size:12px}.shared{background:#eef6ee;align-items:center;gap:.5rem;padding:.3rem 1rem;font-size:.85rem;display:flex}.shared input{flex:1;font-family:ui-monospace,monospace;font-size:.75rem}.shared button{background:0 0;border:0}.shared.warning{background:#fdf3d7}.fetching{color:#555;text-overflow:ellipsis;white-space:nowrap;max-width:40vw;font-size:.8rem;overflow:hidden}.status[data-status=crashed]{background:#fbd5d5}@media (prefers-color-scheme:dark){:root{color:#d7dae0;background:#1f2229}header,aside.left,aside.right,.tabs nav{border-color:#353a45!important}header button,.actions button,.button,.library-bar button,.presets button,.shared button{color:#d7dae0;background:#2b303b;border-color:#444b58}input{color:#d7dae0;background:#282c34;border-color:#444b58}.muted,.tabs nav button,aside h2,.bar{color:#9198a5}.tabs nav button.on{color:#e6e8ec}.status{background:#353a45}.status[data-status=Busy]{background:#5a4a14}.status[data-status=Idle]{background:#1f4a2b}.status[data-status=crashed]{background:#5c1f1f}.outline li button:hover,.modules li button:hover,.problems li button:hover{background:#2b303b}.outline li button,.modules li button,.problems li button,.packages details,.result{border-color:#353a45}.packages .synopsis,.log{color:#9198a5}.error,.sev-1,.badge{color:#ff7b7b}.sev-2{color:#e5b567}.library-bar{background:#262b36;border-color:#353a45}.library .cm-editor{background:#21252b}header select,.help{background:#2b303b;border-color:#444b58}.editor .cm-processing{background:#3d3720}.shared{background:#1f3326}.shared.warning{background:#3a321c}.kind{color:#c19ae6}.diff-added{background:#24502b}.hyp.diff-new{background:#1e3a24}.pp-constr-keyword{color:#c678dd}.pp-constr-notation{color:#abb2bf}.pp-constr-variable{color:#61afef}.pp-constr-reference{color:#98c379}.pp-constr-path{color:#8b93a1}.pp-constr-type{color:#e5c07b}a{color:#7fb0ff}}.problems li.dep-error{padding:.15rem .25rem;font-size:.85rem}.examples ul{margin:.5rem 0;padding:0;list-style:none}.examples li button{text-align:left;width:100%;color:inherit;background:0 0;border:0;border-radius:4px;padding:.35rem .4rem;font-size:.85rem}.examples li button:hover{background:#eef1f6}.examples li button div{color:#666;font-size:.8rem}.app.embed main{grid-template-columns:minmax(0,1fr) minmax(14rem,40%)}.app.embed header{gap:.6rem;padding:.3rem .6rem}.app.embed header h1{font-size:.95rem}@media (width<=1000px){main{grid-template-columns:auto minmax(0,1fr) minmax(14rem,22rem)}main.with-sidebar{grid-template-columns:auto 12rem minmax(0,1fr) minmax(14rem,22rem)}header{flex-wrap:wrap;gap:.5rem}}@media (width<=760px){.app{height:auto;min-height:100vh}main,main.with-sidebar{grid-template-columns:auto minmax(0,1fr)}aside.left{border-bottom:1px solid #ddd;border-right:0;grid-column:2;max-height:30vh}.center,aside.right{grid-column:1/-1}.activity{grid-row:1}.center{height:60vh}aside.right{border-left:0;min-height:50vh}.app.embed main{grid-template-columns:minmax(0,1fr)}}@media (prefers-color-scheme:dark){.examples li button:hover{background:#2f3542}.examples li button div{color:#9198a5}}.library-search ul{margin:0;padding:0;list-style:none}.library-search li button{text-align:left;width:100%;color:inherit;background:0 0;border:0;border-radius:3px;padding:.2rem .25rem;font-size:.82rem}.library-search li button:hover{background:#eef1f6}.library-search .statement{color:#555;white-space:nowrap;text-overflow:ellipsis;font-family:ui-monospace,monospace;font-size:.75rem;overflow:hidden}.library-search input{margin-bottom:.4rem}@media (prefers-color-scheme:dark){.library-search li button:hover{background:#2b303b}.library-search .statement{color:#9198a5}}