:root {
  --paper: #010511;
  --ink: #e8f3ff;
  --accent: #12b4ff;
  --accent-deep: #58cfff;
  --muted: #9fb8d8;
  --rule: #1c3659;
  --code-inline-bg: #071a35;
  --code-inline-ink: #9ed8ff;
  --code-inline-rule: #2a4f7e;
  --code-block-bg: #030f24;
  --code-block-ink: #eaf4ff;
  --code-block-rule: #215489;
  --jx-module: #5fd7ff;
  --jx-include: #ff9e64;
  --jx-type-definition: #ffb86c;
  --jx-type-parameter: #ffd787;
  --jx-type-builtin: #ff79c6;
  --jx-constructor: #c792ea;
  --jx-keyword-function: #ff5faf;
  --jx-conditional: #c678dd;
  --jx-repeat: #56b6c2;
  --jx-bracket-curly: #ff6b6b;
  --jx-bracket-round: #e5c07b;
  --jx-bracket-square: #7ee787;
  --jx-delimiter: #9aa5b1;
  --jx-operator-assignment: #f78c6c;
  --jx-operator-type: #61afef;
  --jx-operator-arrow: #ffcb6b;
  --jx-operator-effect: #ff5370;
  --jx-operator-dispatch: #82aaff;
  --jx-operator-pipeline: #22d3ee;
  --jx-operator-arithmetic: #89ddff;
  --jx-type: #ffb86c;
  --jx-function-definition: #82aaff;
  --jx-function-call: #a6e3a1;
  --jx-namespace: #7aa2f7;
  --jx-property: #b4befe;
  --jx-parameter: #f2cdcd;
  --jx-variable: #cdd6f4;
  --jx-number: #fab387;
  --jx-string: #a6e3a1;
  --jx-text: #e6db74;
  --jx-doc-comment-leader: #89b4fa;
  --jx-doc-tag-marker: #ff79c6;
  --jx-doc-tag: #f9e2af;
  --jx-annotation: #f9e2af;
  --jx-attribute: #f38ba8;
  --jx-comment: #6c7086;
  --font-main:
    "JetBrainsMono Nerd Font Mono", "JetBrains Mono", ui-monospace,
    "SFMono-Regular", "Cascadia Mono", Menlo, Monaco, Consolas,
    "Liberation Mono", monospace;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--font-main);
  text-rendering: optimizeLegibility;
  font-variant-ligatures: contextual common-ligatures;
}

a {
  color: var(--accent);
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.12em;
}

a:hover {
  color: var(--accent-deep);
}

.portal-top {
  display: flex;
  flex-wrap: wrap;
  gap: 0.8rem;
  align-items: center;
  padding: 0.8rem 1.2rem;
  border-bottom: 1px solid var(--rule);
  background: #000000;
  font-size: 0.9rem;
}

.portal-top a {
  color: var(--ink);
  text-decoration: none;
  border-bottom: 1px solid transparent;
}

.portal-top a:hover {
  color: var(--accent);
  border-bottom-color: currentColor;
}

.portal-path {
  color: var(--muted);
  font-size: 0.875rem;
}

#doc-root {
  max-width: 84ch;
  margin: 0 auto;
  padding: 2.2rem 1.4rem 4rem;
  line-height: 1.72;
  font-size: 1rem;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  line-height: 1.28;
  margin-top: 2rem;
  margin-bottom: 0.72rem;
  font-weight: 600;
}

p,
ul,
ol,
pre,
blockquote,
table {
  margin-top: 1rem;
  margin-bottom: 1rem;
}

ul,
ol {
  padding-left: 1.6rem;
}

li + li {
  margin-top: 0.2rem;
}

code {
  padding: 0.04rem 0.3rem;
  border-radius: 0.18rem;
  border: 1px solid var(--code-inline-rule);
  background: var(--code-inline-bg);
  color: var(--code-inline-ink);
  font-family: var(--font-main);
  font-size: 0.95em;
}

pre {
  overflow-x: auto;
  padding: 0.95rem 1rem;
  border: 1px solid var(--code-block-rule);
  border-radius: 0.24rem;
  background: var(--code-block-bg);
  color: var(--code-block-ink);
}

pre code {
  padding: 0;
  border: 0;
  background: transparent;
  color: var(--code-block-ink);
}

pre.jx-code-jmp0x1b {
  border-color: #285d91;
  background:
    linear-gradient(180deg, rgba(18, 180, 255, 0.05), rgba(3, 15, 36, 0) 42%),
    var(--code-block-bg);
}

pre code.jx-highlighted {
  color: var(--jx-variable);
}

.jx-token {
  font: inherit;
}

.jx-module {
  color: var(--jx-module);
  font-weight: 700;
}

.jx-include {
  color: var(--jx-include);
  font-weight: 700;
}

.jx-type-definition {
  color: var(--jx-type-definition);
  font-weight: 700;
}

.jx-type-parameter {
  color: var(--jx-type-parameter);
}

.jx-type-builtin {
  color: var(--jx-type-builtin);
  font-style: italic;
}

.jx-constructor {
  color: var(--jx-constructor);
  font-weight: 700;
}

.jx-keyword-function {
  color: var(--jx-keyword-function);
  font-weight: 700;
}

.jx-conditional {
  color: var(--jx-conditional);
  font-weight: 700;
}

.jx-repeat {
  color: var(--jx-repeat);
  font-weight: 700;
}

.jx-bracket-curly {
  color: var(--jx-bracket-curly);
  font-weight: 700;
}

.jx-bracket-round {
  color: var(--jx-bracket-round);
}

.jx-bracket-square {
  color: var(--jx-bracket-square);
  font-weight: 700;
}

.jx-delimiter {
  color: var(--jx-delimiter);
}

.jx-operator-assignment {
  color: var(--jx-operator-assignment);
  font-weight: 700;
}

.jx-operator-type {
  color: var(--jx-operator-type);
  font-weight: 700;
}

.jx-operator-arrow {
  color: var(--jx-operator-arrow);
  font-weight: 700;
}

.jx-operator-effect {
  color: var(--jx-operator-effect);
  font-weight: 700;
}

.jx-operator-dispatch {
  color: var(--jx-operator-dispatch);
  font-weight: 700;
}

.jx-operator-pipeline {
  color: var(--jx-operator-pipeline);
  font-weight: 700;
}

.jx-operator-arithmetic {
  color: var(--jx-operator-arithmetic);
}

.jx-type {
  color: var(--jx-type);
}

.jx-function-definition {
  color: var(--jx-function-definition);
  font-weight: 700;
}

.jx-function-call {
  color: var(--jx-function-call);
}

.jx-namespace {
  color: var(--jx-namespace);
}

.jx-property {
  color: var(--jx-property);
}

.jx-parameter {
  color: var(--jx-parameter);
  font-style: italic;
}

.jx-variable {
  color: var(--jx-variable);
}

.jx-number {
  color: var(--jx-number);
}

.jx-string {
  color: var(--jx-string);
}

.jx-text {
  color: var(--jx-text);
}

.jx-doc-comment-leader {
  color: var(--jx-doc-comment-leader);
  font-weight: 700;
}

.jx-doc-tag-marker {
  color: var(--jx-doc-tag-marker);
  font-weight: 700;
}

.jx-doc-tag {
  color: var(--jx-doc-tag);
  font-weight: 700;
}

.jx-annotation {
  color: var(--jx-annotation);
  font-weight: 700;
}

.jx-attribute {
  color: var(--jx-attribute);
  font-weight: 700;
}

.jx-comment {
  color: var(--jx-comment);
  font-style: italic;
}

blockquote {
  margin-left: 0;
  padding-left: 0.85rem;
  border-left: 2px solid var(--rule);
  color: var(--muted);
}

hr {
  border: 0;
  border-top: 1px solid var(--rule);
  margin: 1.7rem 0;
}

table {
  border-collapse: collapse;
  width: 100%;
}

th,
td {
  text-align: left;
  border: 1px solid var(--rule);
  padding: 0.46rem 0.6rem;
  vertical-align: top;
}

thead th {
  background: #0b1f3e;
}

img {
  max-width: 100%;
  height: auto;
}

.portal-alert {
  border: 1px solid var(--accent);
  background: #071a35;
  color: inherit;
  border-radius: 0.2rem;
  padding: 0.8rem;
  white-space: pre-wrap;
}