/* ctx site. One sheet; tokens first. Colour roles: --key keys and paths, --rev revisions
   and changes, --live watching, --cas compare-and-set conflicts. */

@font-face {
  font-family: "Bricolage";
  src: url("fonts/bricolage.woff2") format("woff2");
  font-weight: 300 800;
  font-display: swap;
}
@font-face {
  font-family: "Martian";
  src: url("fonts/martian.woff2") format("woff2");
  font-weight: 300 800;
  font-stretch: 75% 112.5%;
  font-display: swap;
}

:root {
  color-scheme: light;
  --paper: #f4f5f0;
  --paper-2: #eaece4;
  --card: #fbfbf8;
  --ink: #13151b;
  --ink-2: #3d4352;
  --ink-3: #5d6576;
  --rule: #d5d8ce;
  --rule-2: #b4b9ac;
  --key: #2a33c9;
  --key-soft: #e2e4fa;
  --rev: #e4471b;
  --rev-ink: #b3330e;
  --rev-soft: #fbe2d8;
  --live: #0a7552;
  --live-soft: #d8efe4;
  --cas: #8f5c00;
  --cas-fill: #f5c542;
  --code-bg: #14161c;
  --code-ink: #eceee7;
  --code-mute: #939bad;
  --code-key: #a3aaff;
  --code-rev: #ff9673;
  --code-live: #72dbab;
  --code-str: #e8d48b;
  --sans: "Bricolage", ui-sans-serif, system-ui, sans-serif;
  --mono: "Martian", ui-monospace, "SFMono-Regular", Menlo, monospace;
  --measure: 46rem;
  --radius: 3px;
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: 1.5rem; }
body {
  margin: 0;
  background: var(--paper);
  background-image: radial-gradient(circle at 1px 1px, rgba(42, 51, 201, 0.13) 1px, transparent 1.2px);
  background-size: 22px 22px;
  color: var(--ink);
  font: 400 1.0625rem/1.62 var(--sans);
  font-optical-sizing: auto;
  text-rendering: optimizeLegibility;
}
img, svg { max-width: 100%; height: auto; }
a { color: var(--key); text-decoration-thickness: 1px; text-underline-offset: 0.18em; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 3px solid var(--rev); outline-offset: 2px; }
::selection { background: var(--key); color: #fff; }

.skip { position: absolute; left: -999px; top: 0.5rem; background: var(--ink); color: #fff; padding: 0.5rem 0.8rem; z-index: 10; }
.skip:focus { left: 0.5rem; }

/* ------------------------------------------------------------ masthead */
.top {
  display: flex; align-items: center; gap: 2rem;
  max-width: 78rem; margin: 0 auto; padding: 1.1rem 1.5rem;
  border-bottom: 1px solid var(--rule);
}
.mark {
  display: inline-flex; align-items: baseline; gap: 0.1rem;
  color: var(--ink); text-decoration: none;
  font: 800 1.5rem/1 var(--mono); font-stretch: 100%; letter-spacing: -0.04em;
}
.mark b { color: var(--rev); font-weight: 800; }
.mark small { margin-left: 0.55rem; font: 500 0.7rem/1 var(--mono); font-stretch: 87.5%; letter-spacing: 0; color: var(--ink-3); }
.nav { display: flex; gap: 0.25rem; margin-left: auto; flex-wrap: wrap; }
.nav a {
  color: var(--ink-2); text-decoration: none; font-weight: 600; font-size: 0.95rem;
  padding: 0.35rem 0.65rem; border-radius: var(--radius);
}
.nav a:hover { color: var(--ink); background: var(--paper-2); }
.nav a[aria-current="page"] { color: var(--key); box-shadow: inset 0 -3px 0 var(--key); border-radius: 0; }

/* ------------------------------------------------------------ page grid */
.page {
  display: grid; grid-template-columns: 12.5rem minmax(0, var(--measure));
  gap: 4rem; justify-content: center;
  max-width: 78rem; margin: 0 auto; padding: 3rem 1.5rem 5rem;
}
.rail { position: sticky; top: 1.5rem; align-self: start; font: 500 0.78rem/1.55 var(--mono); font-stretch: 87.5%; }
.rail p { margin: 0 0 0.4rem; color: var(--ink); font-weight: 700; }
.rail ol { list-style: none; margin: 0; padding: 0; }
.rail li { position: relative; padding-left: 1.4rem; }
.rail li::before { content: "├"; position: absolute; left: 0.1rem; color: var(--rule-2); }
.rail li:last-child::before { content: "└"; }
.rail a { color: var(--ink-3); text-decoration: none; display: block; padding: 0.12rem 0; }
.rail a:hover, .rail a[aria-current="true"] { color: var(--key); }
.rail a[aria-current="true"] { font-weight: 700; }

main { min-width: 0; }
.lede { font-size: 1.25rem; line-height: 1.5; color: var(--ink-2); margin: 0 0 2.5rem; max-width: 40rem; }

/* ------------------------------------------------------------ type */
h1, h2, h3, h4 { font-family: var(--sans); color: var(--ink); text-wrap: balance; }
h1 { font-size: clamp(2.4rem, 4.6vw, 3.6rem); line-height: 1.02; font-weight: 800; letter-spacing: -0.025em; margin: 0 0 1.1rem; }
h2 { font-size: 1.9rem; line-height: 1.12; font-weight: 750; letter-spacing: -0.015em; margin: 4rem 0 1rem; }
h3 { font-size: 1.22rem; line-height: 1.25; font-weight: 680; margin: 2.4rem 0 0.6rem; }
h4 { font-size: 1rem; font-weight: 700; margin: 1.6rem 0 0.4rem; }
p, ul, ol { margin: 0 0 1.1rem; }
ul, ol { padding-left: 1.3rem; }
li { margin: 0.25rem 0; }
li::marker { color: var(--ink-3); }
strong { font-weight: 680; }
hr { border: 0; border-top: 1px solid var(--rule); margin: 3rem 0; }

/* The section's key path, above its heading. */
.kp {
  display: block; margin: 0 0 0.45rem;
  font: 600 0.78rem/1.2 var(--mono); font-stretch: 87.5%; letter-spacing: 0;
  color: var(--key); text-decoration: none;
}
.kp i, code.k i { font-style: normal; color: var(--rev); font-weight: 800; }

code, kbd, samp { font-family: var(--mono); font-size: 0.84em; font-stretch: 75%; }
:not(pre) > code {
  background: var(--paper-2); border: 1px solid var(--rule); border-radius: var(--radius);
  padding: 0.05em 0.32em; white-space: nowrap;
}
:not(pre) > code.k { background: var(--key-soft); border-color: transparent; color: var(--key); font-weight: 600; }

/* ------------------------------------------------------------ transcripts */
pre {
  position: relative; margin: 0 0 1.4rem; padding: 1rem 1.15rem;
  background: var(--code-bg); color: var(--code-ink); border-radius: var(--radius);
  font: 400 0.8rem/1.65 var(--mono); font-stretch: 75%;
  white-space: pre-wrap; overflow-wrap: break-word;
  overflow-x: auto; scrollbar-width: thin; scrollbar-color: #4a5060 transparent;
  box-shadow: 0 1px 0 rgba(0, 0, 0, 0.05);
}
pre code { font-size: inherit; font-stretch: inherit; }
pre .ln { display: block; padding-left: 3ch; text-indent: -3ch; min-height: 1.65em; }
pre[data-scroll-more] { -webkit-mask-image: linear-gradient(to right, #000 calc(100% - 3.5rem), rgba(0,0,0,0.25)); mask-image: linear-gradient(to right, #000 calc(100% - 3.5rem), rgba(0,0,0,0.25)); }
pre[data-label]::before {
  content: attr(data-label); position: absolute; top: 0.45rem; right: 0.7rem;
  font: 600 0.62rem/1 var(--mono); letter-spacing: 0.04em; text-transform: uppercase; color: var(--code-mute);
}
pre .p { color: #fff; font-weight: 600; }
pre .p::before { content: "$ "; color: var(--code-mute); font-weight: 400; }
pre .o { color: var(--code-mute); }
pre .c { color: #7c8496; font-style: italic; }
pre .k { color: var(--code-key); }
pre .r { color: var(--code-rev); }
pre .g { color: var(--code-live); }
pre .s { color: var(--code-str); }
pre .y { color: var(--cas-fill); }
pre var { font-style: normal; color: var(--code-str); }
pre.light { background: var(--card); color: var(--ink); border: 1px solid var(--rule); }
pre.light .o { color: var(--ink-3); }

/* ------------------------------------------------------------ figures */
figure { margin: 2rem 0 2.4rem; }
.fig svg { display: block; width: 100%; height: auto; }
.fig { background: var(--card); border: 1px solid var(--rule); border-radius: var(--radius); padding: 1.2rem 1.2rem 0.9rem; }
figcaption { margin-top: 0.8rem; font-size: 0.92rem; line-height: 1.5; color: var(--ink-2); }
figcaption b { color: var(--ink); font-weight: 700; margin-right: 0.35rem; }

/* SVG figure roles (scripts/site/figures.py) */
svg.f text { font-family: var(--sans); fill: var(--ink); white-space: pre; }
svg.f .f-m { font-family: var(--mono); font-stretch: 75%; }
svg.f .f-t { font-size: 15px; font-weight: 700; }
svg.f .f-s { font-size: 12.5px; fill: var(--ink-2); }
svg.f .f-sm { font-size: 11.5px; }
svg.f .f-xs { font-size: 10.5px; }
svg.f .f-big { font-size: 24px; font-weight: 700; }
svg.f [class*="f-sub-"] { fill: var(--ink-3); }
svg.f .f-box { fill: #fff; stroke-width: 1.5; }
svg.f .f-box-rev { stroke: var(--rev); }
svg.f .f-box-key { stroke: var(--key); }
svg.f .f-box-live { stroke: var(--live); }
svg.f .f-box-cas { stroke: var(--cas-fill); fill: #fff8e1; }
svg.f .f-box-ink { fill: var(--ink); stroke: var(--ink); }
svg.f .f-box-muted { stroke: var(--rule-2); fill: var(--paper); }
svg.f .f-t-ink, svg.f .f-t-paper, svg.f .f-t-counter { fill: #fff; }
svg.f .f-sub-ink, svg.f .f-sub-paper { fill: var(--code-mute); }
svg.f .f-sub-counter { fill: rgba(255, 255, 255, 0.82); }
svg.f .f-store { fill: var(--code-bg); }
svg.f .f-counter { fill: var(--rev); }
svg.f .f-key-paper { fill: var(--code-key); }
svg.f .f-val-paper { fill: var(--code-str); }
svg.f .f-tree { fill: #5b6272; }
svg.f .f-key { fill: var(--key); }
svg.f .f-dot { fill: var(--rev); font-weight: 800; }
svg.f .f-key-paper .f-dot { fill: var(--code-rev); }
svg.f .f-ln { fill: none; stroke-width: 1.6; }
svg.f .f-ln-rev { stroke: var(--rev); }
svg.f .f-ln-key { stroke: var(--key); }
svg.f .f-ln-live { stroke: var(--live); }
svg.f .f-ln-cas { stroke: var(--cas); }
svg.f .f-ln-ink { stroke: var(--ink); }
svg.f .f-ln-muted { stroke: var(--rule-2); }
svg.f .f-rule-paper { stroke: #353a46; }
svg.f .f-dash { stroke-dasharray: 5 4; }
svg.f .f-ah-rev { fill: var(--rev); }
svg.f .f-ah-key { fill: var(--key); }
svg.f .f-ah-live { fill: var(--live); }
svg.f .f-ah-cas { fill: var(--cas); }
svg.f .f-ah-ink { fill: var(--ink); }
svg.f .f-ah-muted { fill: var(--rule-2); }
svg.f .f-lab { font-size: 11px; font-weight: 700; letter-spacing: 0.08em; }
svg.f .f-labbg { fill: var(--card); }
svg.f .f-lab.f-m { letter-spacing: 0; font-weight: 600; }
svg.f .f-lab-rev { fill: var(--rev-ink); }
svg.f .f-lab-key { fill: var(--key); }
svg.f .f-lab-live { fill: var(--live); }
svg.f .f-lab-cas { fill: var(--cas); }
svg.f .f-lab-ink { fill: var(--ink); }
svg.f .f-lab-muted { fill: var(--ink-3); }
svg.f .f-anat { font-size: 22px; font-weight: 600; }
svg.f .f-t-sm { font-size: 13px; font-weight: 700; }
svg.f .f-val { fill: var(--ink-2); }
svg.f .f-on-dark { fill: var(--code-mute); font-size: 11.5px; }
svg.f .f-hair { stroke-width: 1; }
svg.f .f-thin { stroke-width: 1.1; }
svg.f .f-bar { fill: var(--key); }
svg.f .f-p99 { fill: var(--card); stroke: var(--ink); stroke-width: 1.5; }
svg.f .f-xs-s { font-size: 11px; fill: var(--ink-3); }
svg.f .f-rev { fill: var(--rev-ink); }
svg.f .f-pt { fill: var(--rev); stroke: var(--card); stroke-width: 2; }
svg.f .f-t-cas { fill: var(--cas); font-weight: 650; }
svg.f .f-band-hist { fill: var(--paper-2); }
svg.f .f-band-live { fill: var(--live-soft); }
svg.f .f-ev { fill: #fff; stroke: var(--rev); stroke-width: 1.6; }
svg.f .f-ev-live { stroke: var(--live); }
svg.f .f-ev-t { fill: var(--ink); font-weight: 700; }
svg.f .f-ready { fill: var(--ink); }
svg.f .f-ready-t { fill: #fff; font-weight: 700; }
svg.f .f-step { fill: var(--ink); }
svg.f .f-beat { fill: none; stroke: var(--live); stroke-width: 1.6; stroke-dasharray: 3 3; }
svg.f .f-step-t { fill: #fff; font-weight: 700; }
.fig-scroll { overflow-x: auto; scrollbar-width: thin; }

/* ------------------------------------------------------------ tables */
.table { overflow-x: auto; margin: 0 0 1.6rem; }
table { border-collapse: collapse; width: 100%; font-size: 0.95rem; line-height: 1.45; }
th, td { text-align: left; vertical-align: top; padding: 0.55rem 0.9rem 0.55rem 0; border-bottom: 1px solid var(--rule); }
th { font-size: 0.72rem; font-weight: 700; letter-spacing: 0.06em; text-transform: uppercase; color: var(--ink-3); border-bottom: 2px solid var(--ink); }
td:first-child { white-space: nowrap; }
td:last-child, th:last-child { padding-right: 0; }

/* ------------------------------------------------------------ notes */
.note { border-left: 3px solid var(--key); background: var(--card); padding: 0.8rem 1rem; margin: 0 0 1.4rem; border-radius: 0 var(--radius) var(--radius) 0; }
.note.warn { border-left-color: var(--cas-fill); }
.note > :last-child { margin-bottom: 0; }

/* ------------------------------------------------------------ steps */
ol.steps { list-style: none; padding: 0; counter-reset: step; margin: 1.6rem 0 2rem; }
ol.steps > li { counter-increment: step; position: relative; padding: 0 0 0.6rem 3rem; margin: 0; border-left: 2px solid var(--rule); margin-left: 0.95rem; padding-left: 2rem; }
ol.steps > li:last-child { border-left-color: transparent; }
ol.steps > li::before {
  content: counter(step); position: absolute; left: -0.95rem; top: -0.1rem;
  width: 1.8rem; height: 1.8rem; display: grid; place-items: center;
  background: var(--paper); border: 2px solid var(--ink); border-radius: 50%;
  font: 700 0.8rem/1 var(--mono);
}
ol.steps > li > h3, ol.steps > li > h4 { margin-top: 0; padding-top: 0.05rem; font-size: 1.05rem; font-weight: 700; }

/* ------------------------------------------------------------ buttons */
.btn {
  display: inline-block; padding: 0.62rem 1.05rem; border-radius: var(--radius);
  background: var(--ink); color: #fff; text-decoration: none; font-weight: 650; font-size: 0.98rem;
  border: 1.5px solid var(--ink);
}
.btn:hover { background: var(--key); border-color: var(--key); }
.btn-quiet { background: transparent; color: var(--ink); }
.btn-quiet:hover { background: var(--card); color: var(--key); border-color: var(--key); }
pre .cont::before { content: "> "; }
pre.msg { background: var(--card); color: var(--ink); border: 1px solid var(--rule); border-left: 3px solid var(--live); }
pre.msg .o { color: var(--ink-3); }
pre.msg .c { color: var(--ink-3); }
pre.msg .r { color: var(--rev-ink); }
pre.msg[data-label]::before { color: var(--live); }

/* ------------------------------------------------------------ home */
.home main { max-width: 74rem; margin: 0 auto; padding: 0 1.5rem 4rem; }
.hero { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 3.5rem; align-items: center; padding: 4rem 0 2.5rem; }
.hero h1 { font-size: clamp(2.5rem, 4.3vw, 3.9rem); margin-bottom: 1.4rem; }
.hero .lede { font-size: 1.2rem; margin-bottom: 1.8rem; }
.hero .cta { display: flex; gap: 0.7rem; flex-wrap: wrap; margin: 0; }
.hero-t { margin: 0; font-size: 0.78rem; }
.fig-wide { margin-top: 1rem; }
.home h2 { margin-top: 5rem; font-size: 2.2rem; }
.band { margin: 0; }
.props { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0; margin: 1.6rem 0 0; border-top: 2px solid var(--ink); }
.props > div { padding: 1.1rem 1.3rem 1.2rem 0; border-right: 1px solid var(--rule); }
.props > div + div { padding-left: 1.3rem; }
.props > div:last-child { border-right: 0; }
.props dt { font-weight: 750; font-size: 1.3rem; letter-spacing: -0.01em; margin-bottom: 0.5rem; }
.prop-no { display: block; font: 700 0.72rem/1 var(--mono); color: var(--rev-ink); margin-bottom: 0.65rem; }
.props dd { margin: 0 0 0.8rem; color: var(--ink-2); font-size: 0.97rem; line-height: 1.55; }
.props dd.prop-cmd { margin: 0; }
.play { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr); gap: 2.5rem; padding: 2rem 0; border-top: 1px solid var(--rule); align-items: start; }
.play:first-of-type { border-top: 2px solid var(--ink); margin-top: 1.6rem; }
.play h3 { margin: 0 0 0.6rem; font-size: 1.35rem; }
.play p { color: var(--ink-2); }
.play pre { margin: 0; }
.more { margin: 0; font-weight: 600; font-size: 0.95rem; }
.more a::after { content: " →"; }
.surfaces { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); margin-top: 1.6rem; border-top: 2px solid var(--ink); }
.surfaces a { display: block; padding: 1.1rem 1.2rem 1.2rem 0; border-bottom: 1px solid var(--rule); color: var(--ink-2); text-decoration: none; }
.surfaces a:nth-child(3n+2), .surfaces a:nth-child(3n) { padding-left: 1.2rem; border-left: 1px solid var(--rule); }
.surfaces a:hover b { color: var(--key); }
.surfaces b { display: block; font-size: 1.15rem; color: var(--ink); margin-bottom: 0.3rem; }
.surfaces span { font-size: 0.95rem; line-height: 1.5; }
.surfaces code { white-space: normal; }
.mono-list { font-family: var(--mono); font-stretch: 75%; font-size: 0.86rem !important; color: var(--ink-2); }
.only-narrow { display: none; }
.numbers { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0; margin-top: 1.6rem; border-top: 2px solid var(--ink); }
.numbers p { margin: 0; padding: 1.2rem 1.2rem 0 0; }
.numbers p + p { padding-left: 1.2rem; border-left: 1px solid var(--rule); }
.numbers b { display: block; font: 800 3rem/1 var(--sans); font-variant-numeric: tabular-nums; letter-spacing: -0.03em; color: var(--ink); }
.numbers small { font: 600 0.36em/1 var(--mono); margin-left: 0.25em; color: var(--rev-ink); letter-spacing: 0; }
.numbers span { display: block; margin-top: 0.6rem; color: var(--ink-2); font-size: 0.95rem; line-height: 1.45; }
.numbers-note { margin-top: 1.4rem; color: var(--ink-3); font-size: 0.92rem; }
.start pre { max-width: 52rem; }

.notfound { max-width: 40rem !important; padding-top: 5rem !important; min-height: 60vh; }
.notfound h1 { margin-top: 2.5rem; }

/* ------------------------------------------------------------ footer */
.foot {
  max-width: 78rem; margin: 0 auto; padding: 1.4rem 1.5rem 2.5rem;
  border-top: 1px solid var(--rule); color: var(--ink-3);
  font: 500 0.74rem/1.6 var(--mono); font-stretch: 87.5%;
  display: flex; gap: 1.5rem; flex-wrap: wrap; justify-content: space-between;
}
.foot a { color: var(--ink-2); }

/* ------------------------------------------------------------ responsive */
@media (max-width: 960px) {
  .hero { grid-template-columns: minmax(0, 1fr); gap: 2rem; padding-top: 2.5rem; }
  .props, .numbers { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .props > div:nth-child(2) { border-right: 0; }
  .props > div:nth-child(3) { padding-left: 0; }
  .props > div:nth-child(n+3) { border-top: 1px solid var(--rule); }
  .numbers p:nth-child(3) { padding-left: 0; border-left: 0; }
  .numbers p:nth-child(n+3) { margin-top: 1.4rem; }
  .play { grid-template-columns: minmax(0, 1fr); gap: 1rem; }
  .surfaces { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .surfaces a:nth-child(n) { padding-left: 0; border-left: 0; }
  .surfaces a:nth-child(2n) { padding-left: 1.2rem; border-left: 1px solid var(--rule); }
  .page { grid-template-columns: minmax(0, 1fr); gap: 0; padding-top: 2rem; }
  .rail { display: none; }
}
@media (max-width: 640px) {
  body { font-size: 1rem; }
  .top { flex-wrap: wrap; gap: 0.6rem; padding: 0.9rem 1rem; }
  .page { padding: 1.6rem 1rem 3rem; }
  h2 { font-size: 1.55rem; margin-top: 3rem; }
  .home main { padding: 0 1rem 3rem; }
  .home h2 { font-size: 1.7rem; margin-top: 3.5rem; }
  .props, .surfaces { grid-template-columns: minmax(0, 1fr); }
  .props > div, .props > div + div { padding: 1rem 0; border-right: 0; border-top: 1px solid var(--rule); }
  .props > div:first-child { border-top: 0; }
  .surfaces a:nth-child(n) { padding-left: 0; border-left: 0; }
  .numbers b { font-size: 2rem; }
  .numbers { grid-template-columns: minmax(0, 1fr); }
  .numbers p, .numbers p + p, .numbers p:nth-child(3) { display: grid; grid-template-columns: 8.5rem minmax(0, 1fr); gap: 1rem; align-items: baseline; padding: 0.9rem 0; margin: 0; border-left: 0; border-top: 1px solid var(--rule); }
  .numbers p:first-child { border-top: 0; }
  .numbers span { margin-top: 0; }
  .only-wide { display: none; }
  .only-narrow { display: block; }
  .nav { flex-wrap: wrap; overflow: visible; width: auto; margin-left: -0.5rem; }
  .nav a { padding: 0.3rem 0.5rem; font-size: 0.92rem; }
  .foot { flex-direction: column; gap: 0.4rem; }
  pre[data-label] { padding-top: 2rem; }
  pre[data-label]::before { left: 1rem; right: auto; top: 0.8rem; }
  .home h2 { margin-top: 3rem; }
  pre { margin-left: -1rem; margin-right: -1rem; border-radius: 0; padding: 0.9rem 1rem; }
  .fig { padding: 0.8rem 0.6rem 0.7rem; margin-left: -0.4rem; margin-right: -0.4rem; }
  .fig-scroll svg { min-width: 620px; }
  .fig-wide .fig-scroll svg { min-width: 860px; }
  ol.steps > li { padding-left: 1.4rem; }
}
@media (prefers-reduced-motion: reduce) { * { animation: none !important; transition: none !important; } }
@media print {
  body { background: #fff; }
  .top .nav, .rail, .skip { display: none; }
  .page { display: block; padding: 0; }
  pre { background: #fff; color: #000; border: 1px solid #999; white-space: pre-wrap; }
  pre span, pre .p::before, pre var { color: #000 !important; }
  a { color: #000; }
}