.code-surface[data-v-56d160c5]{--cm-bg:#111318;--cm-gutter:#111318;--cm-fg:#d8dee9;--cm-muted:#5f6775;--cm-border:#292d36;--cm-keyword:#c6a0f6;--cm-string:#a6da95;--cm-number:#eed49f;--cm-comment:#6e7687;--cm-function:#8aadf4;--cm-type:#f5bde6;--cm-property:#8bd5ca;--cm-operator:#ed8796;--cm-name:#d8dee9;border:1px solid var(--cm-border);background:var(--cm-bg);max-height:25rem;color:var(--cm-fg);border-radius:.7rem;margin:.9rem 0 0;font:500 .74rem/1.72 ui-monospace,SFMono-Regular,Cascadia Code,Menlo,Monaco,Consolas,monospace;position:relative;overflow:auto;box-shadow:inset 0 1px #fff0,0 12px 30px #11131812}.code-surface[data-v-56d160c5]:before{z-index:3;content:"";opacity:.72;background:linear-gradient(90deg,#8aadf4 0 24%,#c6a0f6 42%,#ed8796 64%,#eed49f 82%,#a6da95);width:100%;height:2px;display:block;position:sticky;top:0}.editor-mount[data-v-56d160c5]:empty,.enhanced .code-fallback[data-v-56d160c5]{display:none}.code-fallback[data-v-56d160c5]{color:inherit;font:inherit;white-space:pre-wrap;background:0 0;margin:-2px 0 0;padding:1.05rem 1.15rem 1.15rem;overflow:visible}.code-fallback code[data-v-56d160c5]{font:inherit}[data-v-56d160c5] .cm-editor{background:var(--cm-bg);color:var(--cm-fg);font:inherit;margin-top:-2px}[data-v-56d160c5] .cm-editor.cm-focused{outline:none}[data-v-56d160c5] .cm-scroller{font:inherit;line-height:1.72}[data-v-56d160c5] .cm-content{caret-color:#0000;padding:1rem 0 1.1rem}[data-v-56d160c5] .cm-line{padding:0 1.2rem 0 .9rem}[data-v-56d160c5] .cm-gutters{background:var(--cm-gutter);color:var(--cm-muted);border-right:1px solid #ffffff0b}[data-v-56d160c5] .cm-lineNumbers .cm-gutterElement{min-width:2.65rem;padding:0 .65rem 0 .45rem}[data-v-56d160c5] .cm-selectionBackground{background:#8aadf42b!important}.dark{--cm-bg:#0c0e12;--cm-gutter:#0c0e12;--cm-border:#262a32;box-shadow:inset 0 1px #ffffff08,0 14px 34px #0003}@media (width<=700px){.code-surface[data-v-56d160c5]{font-size:.69rem;line-height:1.68}[data-v-56d160c5] .cm-scroller{line-height:1.68}[data-v-56d160c5] .cm-line{padding-right:.8rem}}.snippet-library[data-v-fa9b732e]{margin-top:2rem}.snippet-controls[data-v-fa9b732e]{z-index:5;background:var(--c-bg,white);border:1px solid #8883;border-radius:.7rem;padding:.8rem;position:sticky;top:.75rem;box-shadow:0 8px 30px #0000000b}.snippet-controls input[data-v-fa9b732e]{box-sizing:border-box;width:100%;color:inherit;font:inherit;background:0 0;border:1px solid #8884;border-radius:.4rem;padding:.7rem .8rem}.categories[data-v-fa9b732e]{flex-wrap:wrap;gap:.35rem;margin-top:.65rem;display:flex}.categories button[data-v-fa9b732e],.snippet-card header button[data-v-fa9b732e]{color:inherit;cursor:pointer;background:0 0;border:1px solid #8884;border-radius:.35rem;padding:.36rem .55rem;font:600 .64rem/1.2 monospace}.categories button.active[data-v-fa9b732e]{background:#8882;border-color:currentColor}.result-count[data-v-fa9b732e]{opacity:.65;margin:1.5rem 0 .7rem;font:600 .68rem monospace}.snippet-grid[data-v-fa9b732e]{gap:1rem;display:grid}.snippet-card[data-v-fa9b732e]{border:1px solid #8883;border-radius:.7rem;min-width:0;padding:1.1rem}.snippet-card header[data-v-fa9b732e]{justify-content:space-between;align-items:start;gap:1rem;display:flex}.snippet-card header span[data-v-fa9b732e]{text-transform:uppercase;letter-spacing:.06em;opacity:.62;font:600 .61rem monospace}.snippet-card h2[data-v-fa9b732e]{margin:.25rem 0 0;font-size:1.05rem}.title-link[data-v-fa9b732e]{color:inherit;text-decoration:none}.title-link[data-v-fa9b732e]:hover{text-underline-offset:3px;text-decoration:underline}.anchor[data-v-fa9b732e]{color:inherit;opacity:.3;margin-left:.25rem;text-decoration:none}.snippet-card>p[data-v-fa9b732e]{margin:.75rem 0;font-size:.78rem;line-height:1.55}.principle[data-v-fa9b732e]{opacity:.9;font-weight:560}.invariant[data-v-fa9b732e]{opacity:.82;background:#8881;border-left:2px solid #8886;padding:.58rem .68rem}.card-footer[data-v-fa9b732e]{text-align:right;margin-top:.85rem}.card-footer a[data-v-fa9b732e]{color:inherit;font:600 .68rem monospace;text-decoration:none}.detail-notes[data-v-fa9b732e]{margin-top:1.5rem}.detail-notes h3[data-v-fa9b732e]{margin:1.2rem 0 .35rem;font-size:.9rem}.detail-notes p[data-v-fa9b732e],.detail-notes li[data-v-fa9b732e]{opacity:.8;font-size:.78rem;line-height:1.6}.use-when[data-v-fa9b732e]{border-bottom:1px solid #8883;padding-bottom:.75rem}.policy-table-wrap[data-v-fa9b732e]{overflow-x:auto}.policy-table[data-v-fa9b732e]{border-collapse:collapse;width:100%;font-size:.72rem;line-height:1.45}.policy-table th[data-v-fa9b732e],.policy-table td[data-v-fa9b732e]{text-align:left;vertical-align:top;border-bottom:1px solid #8883;padding:.5rem .55rem}.policy-table th[data-v-fa9b732e]{text-transform:uppercase;letter-spacing:.05em;opacity:.65;font:600 .62rem monospace}.policy-table td[data-v-fa9b732e]:first-child{width:34%;font-weight:600}.decision-rule[data-v-fa9b732e]{background:#8881;border-left:2px solid #8886;padding:.65rem .75rem}.references[data-v-fa9b732e]{padding-left:1.1rem}.references a[data-v-fa9b732e]{color:inherit;text-underline-offset:3px;-webkit-text-decoration:underline #8886;text-decoration:underline #8886}.snippet-card button[data-v-fa9b732e]:hover,.categories button[data-v-fa9b732e]:hover{border-color:currentColor}.empty[data-v-fa9b732e]{text-align:center;opacity:.65}@media (width<=700px){.snippet-controls[data-v-fa9b732e]{position:static}.snippet-card[data-v-fa9b732e]{padding:.9rem}.categories[data-v-fa9b732e]{flex-wrap:nowrap;padding-bottom:.2rem;overflow-x:auto}.categories button[data-v-fa9b732e]{white-space:nowrap}.policy-table td[data-v-fa9b732e]:first-child{width:40%}}