.goals{font-family:Droid Sans Mono,"monospace",monospace;font-size:14px;padding:.5em;background-color:#f5f5f5;border-radius:4px}.goals-empty{color:#666;font-style:italic}.goals-tabs{display:flex;gap:.25em;margin-bottom:.5em;border-bottom:1px solid #ddd;padding-bottom:.5em}.goals-tab{padding:.25em .75em;border:1px solid #ccc;border-radius:4px 4px 0 0;background:#fff;cursor:pointer;font-size:.9em}.goals-tab:hover{background:#e8e8e8}.goals-tab.active{background:#007acc;color:#fff;border-color:#007acc}.goals-content{padding:.5em 0}.goals-count{font-size:.85em;color:#666;margin-top:.5em;padding-top:.5em;border-top:1px solid #ddd}.goal{line-height:1.5}.goal-case{margin-bottom:.5em;color:#666}.goal-case-label{font-weight:700}.goal-case-name{color:#007acc}.goal-hyps{margin-bottom:.5em;padding-bottom:.5em;border-bottom:1px solid #ddd}.goal-target{margin-top:.5em}.goal-vdash{color:#666}.goal-type{color:#000}.hyp{margin:.2em 0}.hyp-names{font-weight:700;color:#001080}.hyp-name{margin-right:.25em}.hyp-name.inserted{background-color:#d4edda}.hyp-name.removed{background-color:#f8d7da;text-decoration:line-through}.hyp-name.inaccessible{color:#999}.hyp-colon,.hyp-assign{color:#666}.hyp-type,.hyp-val{color:#000}.interactive-code{white-space:pre-wrap;word-break:break-word}.subexpr:hover{background-color:#007acc1a;border-radius:2px}.diff-wasChanged,.diff-willChange{background-color:#fff3cd}.diff-wasDeleted,.diff-willDelete{background-color:#f8d7da;text-decoration:line-through}.diff-wasInserted,.diff-willInsert{background-color:#d4edda}.diagnostics{margin-top:.5em;padding-top:.5em;border-top:1px solid #ddd}.diagnostic{font-family:Droid Sans Mono,"monospace",monospace;font-size:13px;padding:.4em .5em;margin-bottom:.25em;border-radius:3px;white-space:pre-wrap;word-break:break-word}.diagnostic.severity-1{background-color:#fde8e8;color:#b91c1c;border-left:3px solid #b91c1c}.diagnostic.severity-2{background-color:#fef3cd;color:#856404;border-left:3px solid #d69e2e}.diagnostic.severity-3,.diagnostic.severity-4{background-color:#e8f4fd;color:#1e5f8a;border-left:3px solid #3b82f6}.goals-loading{display:flex;flex-direction:column;align-items:center;justify-content:center;padding:2em;color:#666;gap:1em}.spinner{width:24px;height:24px;border:3px solid #e0e0e0;border-top-color:#007acc;border-radius:50%;animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.app{display:flex;flex-direction:column;height:100%}.loading-ring{margin:auto;display:inline-block;width:80px;height:80px}.loading-ring:after{content:" ";display:block;width:64px;height:64px;margin:8px;border-radius:50%;border:6px solid #aaa;border-color:#aaa transparent #aaa transparent;animation:loading-ring 1.2s linear infinite}@keyframes loading-ring{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.hidden{display:none!important}.app-root{position:absolute;top:0;left:0;right:0;bottom:0;display:flex;flex-direction:column;overflow:hidden}.navbar{display:flex;align-items:center;justify-content:space-between;padding:0 12px;height:44px;border-bottom:1px solid #ccc;flex-shrink:0}.navbar-left{display:flex;align-items:center;gap:4px}.navbar-level{display:flex;align-items:center;gap:8px}.navbar-level-label{font-weight:600;font-size:.95em;-webkit-user-select:none;user-select:none}.navbar-btn{background:none;border:1px solid #ccc;border-radius:4px;padding:4px 10px;font-size:1em;cursor:pointer;line-height:1}.navbar-btn:hover:not(:disabled){background:#f0f0f0}.navbar-btn:disabled{opacity:.3;cursor:default}.game-area{display:flex;flex-direction:row;flex:1;overflow:hidden}.goals-panel{width:300px;padding:.5em;border-left:1px solid #ccc;overflow:auto}.blocklyMonospace,.blocklyHtmlInput{font-family:Droid Sans Mono,Consolas,Monaco,monospace!important}.blocklyTrash{translate:0 calc(-100% + 100px)}.proof-status{padding:.5em;margin-bottom:.5em;border-radius:4px;font-weight:700;text-align:center}.proof-complete{color:#155724;background-color:#d4edda;display:block;padding:.5em;border-radius:4px}.proof-incomplete{color:#856404;background-color:#fff3cd;display:block;padding:.5em;border-radius:4px}.proof-checking{color:#666;background-color:#f0f0f0;display:block;padding:.5em;border-radius:4px}.world-overview{display:flex;flex-direction:column;align-items:center;padding:2em;height:100%;overflow:auto}.world-overview h1{margin-bottom:1em}.world-row{display:flex;gap:1.5em;justify-content:center;margin-bottom:1.5em}.world-card{display:flex;flex-direction:column;align-items:center;justify-content:center;width:200px;padding:1.25em 1em;border:2px solid #ccc;border-radius:8px;cursor:pointer;transition:border-color .15s,box-shadow .15s}.world-card:hover{border-color:#4a90d9;box-shadow:0 2px 8px #4a90d94d}.world-card-name{font-size:1.25em;font-weight:700}.world-card-desc{margin-top:.5em;color:#555;text-align:center;font-size:.9em}.world-card-levels{margin-top:.5em;color:#888;font-size:.85em}body{margin:0;font-family:Arial,Helvetica,sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;background-color:#2b2b2b;color:#fff}#root{height:100vh}@media (prefers-color-scheme: light){body{background:#fff;color:#000}}@font-face{font-family:JuliaMono;src:local("JuliaMono"),url(/fonts/JuliaMono-Regular.ttf),}