@import url("https://fonts.googleapis.com/css2?family=Bricolage+Grotesque:opsz,wght@12..96,500;12..96,700&family=IBM+Plex+Sans:ital,wght@0,400;0,500;0,600;1,400&family=JetBrains+Mono:wght@400;600&display=swap");

/* Tern docs. Palette from the bird: plumage greys, a black cap, a coral beak; sea-blue links. */
:root {
  color-scheme: light;
  --ground: #f7f9fb;
  --paper: #ffffff;
  --ink: #18202b;
  --muted: #5a6878;
  --faint: #8a97a6;
  --line: #e1e7ee;
  --tint: #eef3f8;
  --link: #1d5fa8;
  --link-hover: #154a85;
  --beak: #e0533a;
  --code-bg: #f1f5f9;
  --code-ink: #1d2733;
  --out-bg: #fbfcfd;
  --err-bg: #fff6f4;
  --err-line: #f3cdc4;
  --k: #8a2f9e; --s: #2f7d32; --n: #b25d00; --t: #1d5fa8; --f: #0f6b75; --c: #7b8794; --o: #5a6878;
  --sans: "IBM Plex Sans", -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --display: "Bricolage Grotesque", "IBM Plex Sans", -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --top: 56px;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --ground: #11161d; --paper: #151b23; --ink: #e4e9ef; --muted: #a2afbd; --faint: #748292;
    --line: #26303c; --tint: #1b2430; --link: #7db4f0; --link-hover: #a5cbf5; --beak: #f07a62;
    --code-bg: #1a212b; --code-ink: #dbe3ec; --out-bg: #141a22; --err-bg: #231816; --err-line: #4a2a24;
    --k: #d59be6; --s: #8fcf8c; --n: #f0b46a; --t: #7db4f0; --f: #6fd0d8; --c: #7d8a99; --o: #a2afbd;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --ground: #11161d; --paper: #151b23; --ink: #e4e9ef; --muted: #a2afbd; --faint: #748292;
  --line: #26303c; --tint: #1b2430; --link: #7db4f0; --link-hover: #a5cbf5; --beak: #f07a62;
  --code-bg: #1a212b; --code-ink: #dbe3ec; --out-bg: #141a22; --err-bg: #231816; --err-line: #4a2a24;
  --k: #d59be6; --s: #8fcf8c; --n: #f0b46a; --t: #7db4f0; --f: #6fd0d8; --c: #7d8a99; --o: #a2afbd;
}

* { box-sizing: border-box; }
html { scroll-padding-top: calc(var(--top) + 16px); }
body { margin: 0; background: var(--ground); color: var(--ink); font: 16px/1.65 var(--sans); -webkit-font-smoothing: antialiased; }
a { color: var(--link); text-decoration: none; }
a:hover { color: var(--link-hover); text-decoration: underline; text-underline-offset: 2px; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; border-radius: 3px; }

/* top bar */
.top { position: sticky; top: env(safe-area-inset-top, 0px); z-index: 20; height: var(--top); display: flex; align-items: center; gap: 16px;
  padding-inline: 16px; background: var(--paper); border-bottom: 1px solid var(--line); }
.brand { font: 700 21px/1 var(--display); color: var(--ink); letter-spacing: -0.01em; display: flex; align-items: center; gap: 9px; }
.brand::before { content: ""; width: 33px; height: 24px; background: url("../tern.svg") center / contain no-repeat; }
.brand:hover { text-decoration: none; color: var(--ink); }
.search { position: relative; flex: 1; max-width: 460px; margin-left: auto; }
.search input { width: 100%; height: 36px; padding: 0 12px; border: 1px solid var(--line); border-radius: 8px; background: var(--ground); color: var(--ink); font: 14px var(--sans); }
.results { position: absolute; top: 42px; left: 0; right: 0; max-height: 70vh; overflow: auto; background: var(--paper); border: 1px solid var(--line); border-radius: 10px; box-shadow: 0 12px 32px rgb(0 0 0 / 0.14); padding: 6px; }
.results a { display: block; padding: 8px 10px; border-radius: 7px; color: var(--ink); }
.results a:hover, .results a.on { background: var(--tint); text-decoration: none; }
.results .rp { font-size: 12px; color: var(--muted); }
.results .rh { font-weight: 600; }
.results .rt { font-size: 13px; color: var(--muted); display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; }
.results mark { background: none; color: var(--link); font-weight: 600; }
.results .none { padding: 10px; color: var(--muted); font-size: 14px; }
.menu, .theme { border: 0; background: none; color: var(--muted); font-size: 20px; cursor: pointer; padding: 6px; border-radius: 6px; }
.menu { display: none; }
.menu:hover, .theme:hover { color: var(--ink); background: var(--tint); }

/* three columns */
.layout { display: grid; grid-template-columns: 250px minmax(0, 1fr) 210px; max-width: 1360px; margin: 0 auto; }
.side, .toc { position: sticky; top: calc(var(--top) + env(safe-area-inset-top, 0px)); height: calc(100vh - var(--top)); overflow-y: auto; padding-block: 24px 40px; font-size: 14px; }
.side { padding-inline: 16px 12px; border-right: 1px solid var(--line); }
.side ul, .toc ul { list-style: none; margin: 0; padding: 0; }
.side .sec, .toc .sec { font: 600 11.5px/1 var(--sans); text-transform: uppercase; letter-spacing: 0.08em; color: var(--faint); margin: 22px 8px 8px; }
.side ul:first-child { margin-top: 0; }
.side a { display: block; padding: 4px 8px; border-radius: 6px; color: var(--muted); line-height: 1.4; }
.side a:hover { color: var(--ink); background: var(--tint); text-decoration: none; }
.side a.cur { color: var(--ink); background: var(--tint); font-weight: 600; box-shadow: inset 2px 0 0 var(--beak); }
.toc { padding-inline: 16px; }
.toc .sec { margin-top: 0; }
.toc a { display: block; padding: 3px 0; color: var(--muted); line-height: 1.4; }
.toc a:hover { color: var(--ink); text-decoration: none; }
.toc a.on { color: var(--link); }
.toc .l3 a { padding-left: 12px; font-size: 13px; }

main { min-width: 0; padding-inline: 48px; padding-block: 36px 64px; }
article { max-width: 46rem; }

/* type */
h1, h2, h3, h4 { font-family: var(--display); color: var(--ink); line-height: 1.2; text-wrap: balance; position: relative; }
h1 { font-size: 2.35rem; font-weight: 700; letter-spacing: -0.02em; margin: 0 0 0.6em; }
h2 { font-size: 1.55rem; font-weight: 700; letter-spacing: -0.01em; margin: 2.2em 0 0.6em; padding-top: 0.2em; }
h3 { font-size: 1.18rem; font-weight: 500; margin: 1.8em 0 0.5em; }
h4 { font-size: 1rem; font-weight: 500; margin: 1.5em 0 0.4em; }
h3 code, h4 code { font-size: 0.86em; }
.anchor { position: absolute; left: -0.9em; width: 0.9em; color: var(--faint); opacity: 0; font-weight: 400; }
h1 .anchor { display: none; }
h2:hover .anchor, h3:hover .anchor, h4:hover .anchor { opacity: 1; text-decoration: none; }
p, ul, ol { margin: 0 0 1em; }
ul, ol { padding-left: 1.4em; }
li { margin: 0.25em 0; }
li > ul, li > ol { margin: 0.25em 0 0.4em; }
strong { font-weight: 600; }
hr { border: 0; border-top: 1px solid var(--line); margin: 2.5em 0; }
blockquote { margin: 1.2em 0; padding: 0.6em 1em; border-left: 3px solid var(--link); background: var(--tint); border-radius: 0 8px 8px 0; color: var(--ink); }
blockquote p:last-child { margin: 0; }
code { font-variant-ligatures: none; font-family: var(--mono); font-size: 0.88em; background: var(--code-bg); color: var(--code-ink); padding: 0.1em 0.35em; border-radius: 4px; }
a code { color: inherit; }

/* code blocks */
.block { position: relative; margin: 1.1em 0 1.3em; border: 1px solid var(--line); border-radius: 10px; background: var(--code-bg); overflow: hidden; }
.block pre { font-variant-ligatures: none; margin: 0; padding: 14px 16px; overflow-x: auto; font: 13.5px/1.6 var(--mono); color: var(--code-ink); tab-size: 4; }
.block pre code { background: none; padding: 0; font-size: inherit; border-radius: 0; }
.block .label { font: 600 11px/1 var(--sans); text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); padding: 10px 16px 0; }
.block.code + .block.out, .block.bad + .block.err { margin-top: -0.85em; border-top-left-radius: 0; border-top-right-radius: 0; border-top-style: dashed; }
.block.out { background: var(--out-bg); }
.block.bad .label { color: var(--beak); }
.block.err { background: var(--err-bg); border-color: var(--err-line); }
.block.err .label { color: var(--beak); }
.copy { position: absolute; top: 8px; right: 8px; font: 500 12px var(--sans); color: var(--muted); background: var(--paper); border: 1px solid var(--line); border-radius: 6px; padding: 3px 9px; cursor: pointer; opacity: 0; transition: opacity 0.15s; }
.block:hover .copy, .copy:focus-visible { opacity: 1; }
.k { color: var(--k); } .s { color: var(--s); } .n { color: var(--n); } .t { color: var(--t); } .f { color: var(--f); } .c { color: var(--c); font-style: italic; } .o { color: var(--o); }

/* tables */
.table { overflow-x: auto; margin: 1.1em 0 1.4em; border: 1px solid var(--line); border-radius: 10px; }
table { border-collapse: collapse; width: 100%; font-size: 14.5px; font-variant-numeric: tabular-nums; }
th, td { text-align: left; padding: 8px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { background: var(--tint); font-weight: 600; font-size: 13px; }
tr:last-child td { border-bottom: 0; }
td.r { text-align: right; }
td code { white-space: nowrap; }

/* prev / next, footer */
.pn { max-width: 46rem; display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin-top: 56px; }
.pn a { display: flex; flex-direction: column; gap: 2px; padding: 14px 16px; border: 1px solid var(--line); border-radius: 10px; color: var(--ink); font-weight: 600; background: var(--paper); }
.pn a span { font-size: 12px; font-weight: 500; color: var(--muted); text-transform: uppercase; letter-spacing: 0.06em; }
.pn a:hover { border-color: var(--link); text-decoration: none; }
.pn .next { grid-column: 2; text-align: right; }
footer { max-width: 46rem; margin-top: 40px; padding-top: 16px; border-top: 1px solid var(--line); font-size: 13px; color: var(--faint); }

/* the home page */
.home h1 { font-size: 3rem; }
.home h1 + p { font-size: 1.2rem; color: var(--muted); max-width: 38rem; }

@media (max-width: 1180px) {
  .layout { grid-template-columns: 240px minmax(0, 1fr); }
  .toc { display: none; }
}
@media (max-width: 820px) {
  .menu { display: block; }
  .layout { display: block; }
  .side { position: fixed; z-index: 15; left: 0; top: calc(var(--top) + env(safe-area-inset-top, 0px)); width: min(300px, 85vw); background: var(--paper); transform: translateX(-102%); transition: transform 0.2s; visibility: hidden; }
  body.open .side { transform: none; visibility: visible; box-shadow: 0 0 40px rgb(0 0 0 / 0.18); }
  main { padding-inline: 16px; padding-block: 24px 48px; }
  h1 { font-size: 1.9rem; }
  .home h1 { font-size: 2.3rem; }
  .brand { font-size: 19px; }
  .pn { grid-template-columns: 1fr; }
  .pn .next { grid-column: 1; }
}
@media (prefers-reduced-motion: reduce) { * { transition: none !important; } }