/* Scope the fix to article navigation: the site's main navigation stays sticky. */
body .tetra-toc { position:relative!important;top:auto!important;bottom:auto!important;left:auto!important;right:auto!important;z-index:auto!important; }
body .tetra-toc a:focus-visible,body .tte-copy:focus-visible,body .tte-toc-filter input:focus-visible { outline:3px solid #8ca8ff;outline-offset:4px; }
body .tetra-toc a[aria-current="location"] { color:#dbe7ff;text-decoration:underline;text-underline-offset:4px; }
body .tetra-toc li.tte-filter-hidden { display:none!important; }
body .tte-toc-filter { display:block;margin:14px 0 20px;font-size:14px;color:#d5def0; }
body .tte-toc-filter input { display:block;box-sizing:border-box;width:100%;min-height:44px;margin-top:6px;padding:10px 12px;border:1px solid #506487;border-radius:8px;background:#0c1426;color:#fff;font:inherit; }
body .tte-toc-filter input::placeholder { color:#9dafcb;opacity:1; }
body .tte-filter-status { display:block;margin-top:6px;min-height:1.4em;font-size:13px;color:#bac9e5; }
body .tte-code-tools { display:flex;align-items:center;justify-content:flex-end;gap:12px;margin:12px 0 4px; }
body .tte-copy { display:inline-flex;align-items:center;justify-content:center;min-height:44px;padding:8px 14px;border:1px solid #667cd9;border-radius:8px;background:#233b95;color:#fff;font:inherit;font-size:14px;cursor:pointer; }
body .tte-copy:hover { background:#2d48ad; }
body .tte-copy:disabled { opacity:.75;cursor:wait; }
body .tte-copy-status { color:inherit;font-size:13px; }
body article pre { max-width:100%;overflow-x:auto; }
body article h2,body article h3,body .tetra-toc,[data-tte-skip-target] { scroll-margin-top:124px; }
body .tte-skip { position:fixed;top:-180px;left:16px;z-index:100001;padding:12px 18px;border-radius:8px;background:#fff;color:#132351;box-shadow:0 2px 12px rgba(0,0,0,.25);font-weight:700; }
body .tte-skip:focus { top:16px;outline:3px solid #5b78d6; }
@media(max-width:767px){body .tetra-toc{max-width:100%;}body .tetra-toc ol{columns:1!important;}body article h2,body article h3,body .tetra-toc,[data-tte-skip-target]{scroll-margin-top:100px;}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto!important;}body .tetra-toc,body .tte-copy{transition:none!important;}}
body .tte-toc-filter[hidden]{display:none!important;}