:root{--df-dim-item:31 74 122;--df-dim-time:46 125 91;--df-dim-scenario:108 62 130;--df-dim-status:122 90 18;--df-dim-custom:23 110 107;--df-precedent-0:8 76 132;--df-precedent-1:0 114 178;--df-precedent-2:58 149 204;--df-precedent-3:127 188 224;--df-dependent-0:138 61 0;--df-dependent-1:213 94 0;--df-dependent-2:230 159 0;--df-dependent-3:240 185 92;--df-ref-neutral:115 115 115}.dark{--df-dim-item:125 170 217;--df-dim-time:113 189 152;--df-dim-scenario:183 146 207;--df-dim-status:235 181 88;--df-dim-custom:102 188 184;--df-precedent-0:74 142 200;--df-precedent-1:110 170 222;--df-precedent-2:146 196 234;--df-precedent-3:182 214 242;--df-dependent-0:212 120 60;--df-dependent-1:232 150 78;--df-dependent-2:240 180 96;--df-dependent-3:245 205 140;--df-ref-neutral:163 163 163}.cm-df-function{color:rgb(var(--ink));font-weight:600}.cm-df-number{color:rgb(var(--info))}.cm-df-string{color:rgb(var(--coral))}.cm-df-operator,.cm-df-paren{color:rgb(var(--slate))}.cm-df-ref-item{color:rgb(var(--df-dim-item))}.cm-df-ref-context{color:rgb(var(--df-dim-time))}.cm-df-ref-scenario{color:rgb(var(--df-dim-scenario))}.cm-df-ref-status{color:rgb(var(--df-dim-status))}.cm-df-ref-dim{color:rgb(var(--df-dim-custom))}.cm-df-ref-segment{color:rgb(var(--mute))}.dark .cm-df-function{color:rgb(var(--parchment))}.dark .cm-df-number{color:rgb(var(--info-soft))}.cm-df-hover{flex-direction:column;gap:.125rem;max-width:24rem;padding:.375rem .5rem;font-size:.75rem;display:flex}.cm-df-hover-row{gap:.5rem;display:flex}.cm-df-hover-label{min-width:5.5rem;font-weight:600}.cm-df-hover-label-item{color:rgb(var(--df-dim-item))}.cm-df-hover-label-time{color:rgb(var(--df-dim-time))}.cm-df-hover-label-scenario{color:rgb(var(--df-dim-scenario))}.cm-df-hover-label-status{color:rgb(var(--df-dim-status))}.cm-df-hover-label-dims{color:rgb(var(--df-dim-custom))}.cm-df-hover-value{font-family:var(--font-mono,ui-monospace, monospace)}.cm-df-hover-row-value{border-top:1px solid rgb(var(--slate) / .18);margin-top:.25rem;padding-top:.25rem}.cm-df-hover-muted{color:rgb(var(--mute));font-style:italic}.cm-df-hover-note{margin-top:.25rem;font-size:.6875rem}.cm-df-hover-goto{border:1px solid rgb(var(--slate) / .4);color:inherit;cursor:pointer;background:0 0;border-radius:4px;align-self:flex-start;margin-top:.25rem;padding:.125rem .375rem;font-size:.6875rem}.cm-df-hover-goto:hover{background:rgb(var(--slate) / .12)}.cm-df-signature{max-width:28rem;padding:.375rem .5rem;font-size:.75rem}.cm-df-signature-label{font-family:var(--font-mono,ui-monospace, monospace)}.cm-df-signature-active{font-weight:700;text-decoration:underline}.cm-df-signature-desc,.cm-df-signature-arity{color:rgb(var(--slate))}.df-formula-bar .cm-editor{max-height:6.5rem;overflow-y:auto}.cm-df-ref-active .cm-df-ref-item{background:rgb(var(--df-dim-item) / .12);border-radius:3px}.cm-df-ref-active .cm-df-ref-context{background:rgb(var(--df-dim-time) / .12);border-radius:3px}.cm-df-ref-active .cm-df-ref-status{background:rgb(var(--df-dim-status) / .12);border-radius:3px}.cm-df-ref-active .cm-df-ref-scenario{background:rgb(var(--df-dim-scenario) / .12);border-radius:3px}.cm-df-ref-active .cm-df-ref-dim{background:rgb(var(--df-dim-custom) / .12);border-radius:3px}.cm-df-ref-active .cm-df-ref-segment{background:rgb(var(--mute) / .12);border-radius:3px}.cm-df-add-inline{white-space:nowrap;margin-left:4px}.cm-df-add-btn{cursor:pointer;color:var(--df-muted,#6b7280);background:0 0;border:none;padding:0 2px;font-family:inherit;font-size:10px}.cm-df-add-btn:hover{color:rgb(var(--ink))}