/* JuliaMono, the one monospace font with every character the decorated
   source uses (combining underline, raised letters, APL glyphs, box
   drawing), from its own release on jsDelivr (SIL Open Font License), so
   the page does not depend on it being installed. */
@font-face {
  font-family: JuliaMono;
  src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@v0.63.2/webfonts/JuliaMono-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

/* xetal doc: the site's stylesheet (written by `xetal doc --out`).
   Light and dark, following the system unless the reader picks one
   (the theme button, remembered in the browser). Token colors are the
   live demo's and the literate documents'. */
:root {
  --bg: #fdfdfb; --fg: #20242c; --dim: #626874; --doc: #2f7a40; --code: #f2f2ee;
  --side: #f3f3ee; --rule: #deded6; --accent: #a67c00; --link: #1f5fbf;
  --builtin: #1f5fbf; --userfunc: #1e7a34; --libfunc: #0b7d8a;
  --lambdaarg: #9b2f9b; --number: #9a6a00; --string: #8a6d00;
  --symbol: #2c6fb8; --macro: #9a6a00; --error: #c62828;
}
:root[data-theme="dark"] {
  --bg: #16181d; --fg: #d8dbe2; --dim: #8a90a0; --doc: #8fc79a; --code: #1e2129;
  --side: #1b1e24; --rule: #2c3038; --accent: #f5c518; --link: #7cb3ff;
  --builtin: #5b9cff; --userfunc: #3fbf5f; --libfunc: #22b8c8;
  --lambdaarg: #d25fd2; --number: #e0b400; --string: #e8d27a;
  --symbol: #7fbfff; --macro: #e0b400; --error: #ff6b6b;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #16181d; --fg: #d8dbe2; --dim: #8a90a0; --doc: #8fc79a; --code: #1e2129;
    --side: #1b1e24; --rule: #2c3038; --accent: #f5c518; --link: #7cb3ff;
    --builtin: #5b9cff; --userfunc: #3fbf5f; --libfunc: #22b8c8;
    --lambdaarg: #d25fd2; --number: #e0b400; --string: #e8d27a;
    --symbol: #7fbfff; --macro: #e0b400; --error: #ff6b6b;
  }
}
* { box-sizing: border-box; }
body {
  margin: 0; background: var(--bg); color: var(--fg);
  font: 16px/1.55 system-ui, -apple-system, "Segoe UI", sans-serif;
  display: flex; min-height: 100vh;
}
nav.side {
  flex: 0 0 17rem; background: var(--side); border-right: 1px solid var(--rule);
  padding: 1rem 1rem 2rem; font-size: .92rem; overflow-wrap: anywhere;
}
nav.side h2 { font-size: .8rem; text-transform: uppercase; letter-spacing: .06em; color: var(--dim); margin: 1.2rem 0 .3rem; }
nav.side ul { list-style: none; margin: 0; padding: 0; }
nav.side li { margin: .15rem 0; }
nav.side .home { font-weight: bold; font-size: 1.05rem; }
main { flex: 1; min-width: 0; max-width: 60rem; padding: 1rem 2rem 4rem; }
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
h1 { font-size: 1.6rem; margin: .4rem 0 .2rem; }
h1 .kind { color: var(--dim); font-weight: normal; font-size: 1rem; margin-right: .4rem; }
h2.section { border-bottom: 1px solid var(--rule); padding-bottom: .2rem; margin-top: 2.2rem; }
code, pre { font-family: "JuliaMono", "DejaVu Sans Mono", Menlo, Consolas, monospace; font-size: .92rem; }
code { background: var(--code); padding: 0 .25em; border-radius: 3px; }
pre { background: var(--code); padding: .6rem .9rem; overflow-x: auto; border-radius: 6px; }
pre.example { border-left: 3px solid var(--accent); }
pre.code { border-left: 3px solid var(--dim); }
.item { border-top: 1px solid var(--rule); padding-top: .6rem; margin-top: 1.4rem; }
.item h3 { margin: 0; font-size: 1.12rem; font-family: "JuliaMono", "DejaVu Sans Mono", Menlo, monospace; }
.item h3 .type { color: var(--dim); font-weight: normal; }
.item .meta { color: var(--dim); font-size: .85rem; margin: .1rem 0 .4rem; }
.item .private { font-style: italic; }
details > summary { cursor: pointer; color: var(--dim); font-size: .88rem; }
.uses { font-size: .88rem; color: var(--dim); }
.doc p:first-child { margin-top: .3rem; }
table.items { border-collapse: collapse; width: 100%; font-size: .92rem; }
table.items td, table.items th { text-align: left; padding: .25rem .6rem .25rem 0; border-bottom: 1px solid var(--rule); vertical-align: top; }
table.items th { color: var(--dim); font-weight: normal; }
div.source { background: var(--code); border-radius: 6px; padding: .6rem 0; line-height: 1.45; overflow-x: auto; font-family: "JuliaMono", "DejaVu Sans Mono", Menlo, Consolas, monospace; font-size: .92rem; }
div.source .line { display: block; white-space: pre; padding-right: .9rem; }
div.source .line:target { background: color-mix(in srgb, var(--accent) 22%, transparent); }
div.source details.expansion { margin: .1rem .9rem .3rem 4.3rem; }
details.expansion { border-left: 3px solid var(--macro); padding-left: .6rem; margin: .3rem 0; }
details.expansion > summary { font-family: system-ui, sans-serif; }
details.expansion pre.code { margin: .3rem 0; }
div.source .ln { display: inline-block; width: 3.4rem; padding-right: .9rem; text-align: right; color: var(--dim); user-select: none; }
.c-builtin { color: var(--builtin); } .c-userfunc { color: var(--userfunc); }
.c-libfunc { color: var(--libfunc); } .c-lambdaarg { color: var(--lambdaarg); }
.c-number, .c-exponent { color: var(--number); } .c-string { color: var(--string); }
.c-symbol { color: var(--symbol); } .c-quote { font-weight: bold; }
.c-comment { color: var(--dim); } .c-macro { color: var(--macro); font-weight: bold; }
/* Doc comments (##) and section headings (###): their own style, apart from remarks. */
.c-doc { color: var(--doc); font-style: italic; } .c-heading { color: var(--doc); font-weight: bold; }
.c-error { color: var(--error); }
/* A notation (MC32): the LaTeX a draws: macro wrote, typeset by KaTeX in place; as typed until then. */
.c-notation { color: var(--string); font-style: italic; } .c-notation .katex { font-style: normal; font-size: 1.05em; }
button.theme { float: right; background: none; color: var(--dim); border: 1px solid var(--rule); border-radius: 4px; cursor: pointer; font-size: .8rem; }
@media (max-width: 760px) {
  body { display: block; }
  nav.side { border-right: none; border-bottom: 1px solid var(--rule); }
  main { padding: 1rem; }
}
#search { width: 100%; margin: .8rem 0 0; padding: .35rem .5rem; border: 1px solid var(--rule); border-radius: 4px; background: var(--bg); color: var(--fg); font-size: .9rem; }
#results { display: none; }
body.searching #results { display: block; }
body.searching main > :not(#results):not(button.theme) { display: none; }
#results td.type { font-family: "JuliaMono", "DejaVu Sans Mono", Menlo, monospace; font-size: .88rem; }