:root{color-scheme:dark;font-family:Inter,ui-sans-serif,system-ui,sans-serif;color:#c0cadc;background:#000;font-synthesis:none}*{box-sizing:border-box}body{margin:0;overflow:hidden}button,input{font:inherit}button,a,input{-webkit-tap-highlight-color:transparent}button{color:inherit;cursor:pointer}button:focus-visible,a:focus-visible,canvas:focus-visible,input:focus-visible{outline:2px solid #7bcaff;outline-offset:4px}#universe{display:block;width:100vw;height:100dvh;touch-action:none;outline-offset:-4px}.tools{position:fixed;right:32px;top:32px;display:flex;align-items:center;gap:4px;border:1px solid #a6c9ff20;border-radius:30px;padding:6px;background:#0c111d99;backdrop-filter:blur(20px)}.tools button{width:36px;height:36px;border:0;background:transparent;border-radius:50%;display:grid;place-items:center}.tools button:hover,.tools button[aria-expanded=true]{background:#8bbaff1c;color:#e3eeff}svg{width:19px;height:19px;fill:none;stroke:currentColor;stroke-width:1.3;stroke-linecap:round;stroke-linejoin:round}.tool-divider{height:18px;width:1px;background:#a6c9ff20;margin:0 3px}.legend{display:flex;gap:20px}.legend span{display:flex;align-items:center;gap:7px}.legend i{height:5px;width:5px;border-radius:100%;box-shadow:0 0 9px currentColor}.definition{background:#58bbff;color:#58bbff}.theorem{background:#aa7951;color:#aa7951}.example{background:#ff490d;color:#ff490d}.remark{background:#b5a4cc;color:#b5a4cc}#census{color:#586780;font-variant-numeric:tabular-nums}#filters{position:fixed;right:32px;top:94px;width:min(305px,calc(100vw - 36px));max-height:calc(100dvh - 175px);overflow:auto;padding:22px;background:#0a101eea;border:1px solid #9cbfea26;border-radius:18px;backdrop-filter:blur(25px);box-shadow:0 15px 80px #0008;scrollbar-width:thin}.panel-heading{display:flex;align-items:center;gap:8px;font-size:12px;margin-bottom:18px}.panel-heading span{flex:1;color:#e1e9f7}.panel-heading button{border:1px solid #859ec42b;border-radius:12px;background:none;font-size:10px;padding:4px 8px}#categories{display:grid;gap:3px}#categories label{display:flex;align-items:center;gap:9px;font-size:11px;min-height:29px;cursor:pointer;color:#a3b1c7}#categories label:hover{color:#e5efff}#categories small{margin-left:auto;color:#53657f;font-size:9px}input[type=checkbox]{accent-color:#75bfff;width:12px;height:12px;margin:0}.search-label{display:block;border-top:1px solid #8fa3c01d;padding-top:17px;margin:15px 0 10px;font-size:11px}#search{width:100%;border:1px solid #8fa3c032;background:#03071080;color:#d6e6ff;padding:10px;border-radius:7px;font-size:11px}#results a{display:block;font-size:11px;line-height:1.5;padding:9px 3px;color:#b5d9ff;text-decoration:none;border-bottom:1px solid #71809615}#results p{font-size:11px;color:#76869f}#tooltip{position:fixed;z-index:3;max-width:300px;padding:17px 19px;border:1px solid #93b7ea38;border-radius:12px;background:#0a101eed;box-shadow:0 10px 50px #0009;backdrop-filter:blur(18px);color:#e3edff;text-decoration:none}#tooltip > span,#tooltip > strong{display:block}#tip-kind{font-size:9px;letter-spacing:1.8px;text-transform:uppercase;color:#7ebcff;margin-bottom:7px}#tip-title{font-weight:450;font-size:14px;line-height:1.5}#tip-detail{font-size:10px;line-height:1.6;color:#8495b0;margin-top:9px}.tip-action{font-size:10px;color:#b4cce9;margin-top:13px}#status{position:fixed;left:50%;top:50%;transform:translate(-50%,-50%);font-size:12px;letter-spacing:1px;color:#8ba5c4;text-align:center;pointer-events:none}[hidden]{display:none!important}@media(max-width:750px){.tools{right:18px;top:23px;gap:1px}.tools button{width:32px;height:32px}.legend{gap:13px;font-size:9px}#census{width:100%;font-size:9px}#filters{right:18px;top:82px;max-height:calc(100dvh - 160px)}#tooltip{max-width:260px}}
.highlight-mode{border:0;border-bottom:1px solid #8fa3c01d;padding:0 0 16px;margin:0 0 15px;font-size:11px}.highlight-mode legend{color:#7085a3;font-size:10px;margin-bottom:11px}.highlight-mode label{display:flex;gap:7px;align-items:center;margin:8px 0}.highlight-mode input{accent-color:#78c5ff;margin:0}body.inspecting #universe{cursor:pointer}

#universe{cursor:grab}#universe:active{cursor:grabbing}

#filters{z-index:4}.tools{z-index:5}

.music-controls{display:flex;align-items:center}.music-controls button{display:grid;place-items:center;width:34px;height:34px;background:none;border:0;border-radius:50%;color:#8998ad}.music-controls button:hover,.music-controls .playing{color:#b7dbff;background:#8bbaff12}#music-menu{width:24px}#music-menu svg{width:14px}#music-panel{position:fixed;right:32px;top:94px;max-height:calc(100dvh - 120px);overflow-y:auto;width:min(310px,calc(100vw - 36px));padding:20px;background:#0a101ef5;backdrop-filter:blur(20px);border:1px solid #9cbfea26;border-radius:16px;z-index:6}#playlist button{display:block;width:100%;text-align:left;padding:10px 8px;border:0;border-radius:7px;background:transparent;color:#8d9cb3}#playlist button:hover,#playlist button[aria-current=true]{background:#8bbaff12;color:#d5e9ff}#playlist span{display:block;font-size:11px;line-height:1.5}#playlist small{display:block;font-size:9px;color:#73819a;margin-top:3px}.volume-label{display:flex;align-items:center;gap:12px;font-size:10px;color:#8492a9;margin-top:16px}.volume-label input{width:100%;accent-color:#87bde7}#music-status{font-size:10px;line-height:1.5;color:#8492a9;margin:16px 0 8px}.music-credits{font-size:9px;color:#8298b9;text-decoration:none}@media(max-width:750px){#music-panel{right:18px;top:82px;max-height:calc(100dvh - 100px)}}

#tip-title .katex,#results .katex{font-size:1.08em}#tip-title .katex-display,#results .katex-display{overflow-x:auto;overflow-y:hidden;margin:.4em 0}#tip-title{overflow-wrap:anywhere}

#highlight-toggle[aria-pressed=true]{color:#bbdcff;background:#8bbaff16}#highlight-toggle[aria-pressed=false]{color:#65738b}#filters .legend{flex-wrap:wrap;gap:10px 16px;margin-bottom:12px;font-size:10px}#filters #census{display:block;margin-bottom:16px;font-size:10px}