@dataimago/css 0.1.0-alpha.15 → 0.1.0-alpha.18

package/README.md

@@ -9,6 +9,10 @@ Depends on [`@dataimago/tokens`](../tokens) for the canonical house identity.
 - `dist/tokens.css` — CSS custom properties (theme-aware).
 - `dist/dataimago.css` / `dist/dataimago.min.css` — full compiled design system.
 - `dist/tailwind-preset.js` — Tailwind preset generated from token JSON, including `ink`, `stone`, `forest`, `paper`, `presentation-blue`, `accent`, `copper`, functional colors, typography, spacing, radius, shadow, and transition tokens.
+- `dist/quarto/dataimago-{light,dark}.scss` + `components.scss` — the Quarto theme pair (self-contained; dark keyed to `body.quarto-dark`) and the `.di-*` components.
+- `dist/latex/dataimago-tokens.sty` + `dataimago.sty` — the generated `di-*` colour layer and the LaTeX macro layer.
+- `dist/dataviz/` — the Okabe-Ito data-viz palette as CSS, TeX (PSTricks/TikZ), JSON and R.
+- `dist/outputs.json` and the `dataimago-sync` bin — pinned sync for non-JS consumers (below).
 
 Use [`@dataimago/css-neutral`](../css-neutral) instead when an externally-owned Level-3 app or future third-party hub needs the neutral identity.
 
@@ -41,6 +45,23 @@ module.exports = {
 
 Serve the compiled CSS from `node_modules/@dataimago/css/dist/` through your R package's asset pipeline.
 
+### Quarto, LaTeX, figures — `dataimago-sync`
+
+A consumer that does not install from npm pins a version and syncs files. Commit
+`.dataimago/design.json`:
+
+```json
+{ "package": "@dataimago/css", "version": "<exact version>",
+  "outputs": { "quarto/dataimago-light.scss": "styles/", "quarto/dataimago-dark.scss": "styles/",
+               "latex/dataimago-tokens.sty": "latex/", "dataviz/dataimago_dataviz.R": "R/palette.R" } }
+```
+
+then run `npx -p @dataimago/css@<version> dataimago-sync` and commit the files (each carries a
+provenance stamp; never edit them). Put `npx -p @dataimago/css@<version> dataimago-sync --check`
+in CI: it fails on any drift. The shipped outputs are listed in `dist/outputs.json`
+(e.g. `https://unpkg.com/@dataimago/css@<version>/dist/outputs.json`). See
+[`wiki/patterns/new-consumer-checklist.md`](../../wiki/patterns/new-consumer-checklist.md).
+
 ## Building
 
 ```bash

package/dist/bin/dataimago-sync.mjs

@@ -0,0 +1,342 @@
+#!/usr/bin/env node
+/**
+ * dataimago-sync — pinned design-system sync for non-JS consumers (spec §4).
+ *
+ *   npx -p @dataimago/css@<version> dataimago-sync            write the files
+ *   npx -p @dataimago/css@<version> dataimago-sync --check    exit 1 on any drift
+ *   dataimago-sync --from <dataimago-design checkout>         try an unreleased build
+ *   node tools/formats/dataimago-sync.mjs --self-test         (repo only)
+ *
+ * Reads the consumer's .dataimago/design.json (or --config <path>):
+ *   { "package": "@dataimago/css", "version": "<exact>",
+ *     "outputs": { "<dist path>": "<destination dir/ or file>" } }
+ *
+ * Copies bytes from THIS package's own dist/ — no download, no transformation;
+ * every format decision lives in the dataimago-design build. Exit codes:
+ * 0 ok, 1 check failed, 2 configuration error (nothing written).
+ *
+ * Node built-ins only: this file ships in @dataimago/css and
+ * @dataimago/css-neutral dist/bin/. The stamp grammar it reads is defined in
+ * tools/formats/stamp.mjs — change both together.
+ */
+
+import { spawnSync } from 'node:child_process';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+
+const LOCAL = 'local-unreleased';
+
+class ConfigError extends Error {}
+
+function readJson(file, what) {
+  try {
+    return JSON.parse(fs.readFileSync(file, 'utf8'));
+  } catch (e) {
+    throw new ConfigError(`cannot read ${what} at ${file}: ${e.message}`);
+  }
+}
+
+const USAGE = `dataimago-sync — copy a pinned @dataimago release's design files into this repo
+
+  dataimago-sync                     write the files listed in .dataimago/design.json
+  dataimago-sync --check             exit 1 if any listed file differs from the release
+  dataimago-sync --from <checkout>   write a local, unreleased build (--check then fails)
+  dataimago-sync --config <file>     read design.json from <file>
+  dataimago-sync --help              this text
+
+Run it from the pinned release: npx -p @dataimago/css@<version> dataimago-sync`;
+
+const FLAGS = new Set(['--check', '--help', '--self-test']);
+const VALUE_FLAGS = new Set(['--from', '--config']);
+
+/** Refuse unknown flags before anything runs: a typo'd --check must not silently re-sync. */
+function checkArgs(args) {
+  for (let i = 0; i < args.length; i++) {
+    if (VALUE_FLAGS.has(args[i])) { i += 1; continue; }
+    if (!FLAGS.has(args[i])) throw new ConfigError(`unknown argument ${args[i]} (see --help)`);
+  }
+}
+
+function argValue(args, flag) {
+  const i = args.indexOf(flag);
+  if (i === -1) return null;
+  if (!args[i + 1] || args[i + 1].startsWith('--')) throw new ConfigError(`${flag} needs a path`);
+  return path.resolve(args[i + 1]);
+}
+
+/** The package this bin ships in: dist/bin/dataimago-sync.mjs → ../.. (symlinks resolved). */
+function ownPackageRoot() {
+  return path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..', '..');
+}
+
+/** Rewrite only the stamp's version tokens to mark a copy as local and unreleased. */
+function localize(text, distPath, pkg, version, sha) {
+  const marker = `${LOCAL}(${sha})`;
+  if (distPath.endsWith('.json')) {
+    const parsed = JSON.parse(text);
+    parsed._meta.version = marker;
+    parsed._meta.restore = String(parsed._meta.restore).replace(`${pkg}@${version}`, `${pkg}@${marker}`);
+    return JSON.stringify(parsed, null, 2) + '\n';
+  }
+  const nl = text.indexOf('\n');
+  return text.slice(0, nl).split(`${pkg}@${version}`).join(`${pkg}@${marker}`) + text.slice(nl);
+}
+
+function gitShortSha(dir) {
+  const r = spawnSync('git', ['-C', dir, 'rev-parse', '--short', 'HEAD'], { encoding: 'utf8' });
+  return r.status === 0 ? r.stdout.trim() : 'unknown';
+}
+
+/** Validate everything, return the plan of {key, src, dest}; throws ConfigError before any write. */
+function plan(args) {
+  const configPath = argValue(args, '--config') ?? path.resolve('.dataimago', 'design.json');
+  // The consumer root holds .dataimago/; a --config file elsewhere is its own root.
+  const configDir = path.dirname(configPath);
+  const consumerRoot = path.basename(configDir) === '.dataimago' ? path.dirname(configDir) : configDir;
+  const design = readJson(configPath, 'design.json');
+  if (typeof design.package !== 'string' || typeof design.version !== 'string' || !design.outputs || typeof design.outputs !== 'object') {
+    throw new ConfigError('design.json needs "package", "version" and an "outputs" object');
+  }
+
+  const fromCheckout = argValue(args, '--from');
+  const own = readJson(path.join(ownPackageRoot(), 'package.json'), 'package.json of this bin');
+  if (design.package !== own.name) {
+    throw new ConfigError(`design.json asks for ${design.package}, but this is ${own.name}. Run: npx -p ${design.package}@${design.version} dataimago-sync`);
+  }
+  let pkgRoot = ownPackageRoot();
+  let local = null;
+  if (fromCheckout) {
+    pkgRoot = path.join(fromCheckout, 'packages', design.package.replace(/^@dataimago\//, ''));
+    const built = readJson(path.join(pkgRoot, 'package.json'), `${design.package} in the --from checkout`);
+    local = { version: built.version, sha: gitShortSha(fromCheckout) };
+  } else if (design.version !== own.version) {
+    throw new ConfigError(`design.json pins ${design.package}@${design.version}, but this is ${own.version}. Run: npx -p ${design.package}@${design.version} dataimago-sync`);
+  }
+
+  const manifest = readJson(path.join(pkgRoot, 'dist', 'outputs.json'), 'outputs.json (is the package built?)');
+  const available = Object.keys(manifest.files ?? {});
+  const steps = [];
+  const problems = [];
+  for (const [key, destSpec] of Object.entries(design.outputs)) {
+    if (!available.includes(key)) {
+      problems.push(`${design.package} does not ship "${key}". Available outputs:\n    ${available.join('\n    ')}`);
+      continue;
+    }
+    if (typeof destSpec !== 'string' || destSpec === '' || path.isAbsolute(destSpec)) {
+      problems.push(`destination for "${key}" must be a relative path inside the consumer, got ${JSON.stringify(destSpec)}`);
+      continue;
+    }
+    const dest = path.resolve(consumerRoot, destSpec.endsWith('/') ? path.join(destSpec, path.basename(key)) : destSpec);
+    const rel = path.relative(consumerRoot, dest);
+    if (rel.startsWith('..') || path.isAbsolute(rel)) {
+      problems.push(`destination for "${key}" escapes the consumer root: ${destSpec}`);
+      continue;
+    }
+    if (rel === '' || (fs.existsSync(dest) && fs.statSync(dest).isDirectory())) {
+      problems.push(`destination for "${key}" is a directory: write "${destSpec.replace(/\/?$/, '/')}" to put the file inside it`);
+      continue;
+    }
+    if (steps.some((s) => s.dest === dest)) {
+      problems.push(`two outputs are mapped to the same destination: ${rel}`);
+      continue;
+    }
+    steps.push({ key, src: path.join(pkgRoot, 'dist', key), dest, rel });
+  }
+  if (problems.length) throw new ConfigError(problems.join('\n  '));
+  return { steps, design, local };
+}
+
+function sync(args) {
+  const { steps, design, local } = plan(args);
+  for (const { key, src, dest, rel } of steps) {
+    let bytes = fs.readFileSync(src);
+    if (local) bytes = Buffer.from(localize(bytes.toString('utf8'), key, design.package, local.version, local.sha));
+    fs.mkdirSync(path.dirname(dest), { recursive: true });
+    fs.writeFileSync(dest, bytes);
+    console.log(`  ✓ ${rel}  ← ${design.package}@${local ? `${LOCAL}(${local.sha})` : design.version} dist/${key}`);
+  }
+  if (local) console.log(`\n⚠ local, unreleased design files: \`dataimago-sync --check\` fails until you re-sync from a release.`);
+  return 0;
+}
+
+function check(args) {
+  const { steps, design } = plan(args.filter((a) => a !== '--check'));
+  const failures = [];
+  for (const { src, dest, rel } of steps) {
+    if (!fs.existsSync(dest)) { failures.push(`${rel}: missing`); continue; }
+    const have = fs.readFileSync(dest);
+    // The marker lives in the stamp: line 1, or the leading _meta object of a JSON file.
+    if (have.subarray(0, 1024).includes(LOCAL)) { failures.push(`${rel}: written by --from (local, unreleased); re-sync from a release`); continue; }
+    if (!have.equals(fs.readFileSync(src))) failures.push(`${rel}: differs from ${design.package}@${design.version}`);
+  }
+  for (const f of failures) console.error(`  ✗ ${f}`);
+  if (failures.length) {
+    console.error(`\n✗ dataimago-sync --check: ${failures.length} file(s) out of sync. Run: npx -p ${design.package}@${design.version} dataimago-sync`);
+    return 1;
+  }
+  console.log(`✓ dataimago-sync --check: ${steps.length} file(s) match ${design.package}@${design.version}`);
+  return 0;
+}
+
+function main(args) {
+  try {
+    checkArgs(args);
+    if (args.includes('--help')) {
+      console.log(USAGE);
+      return 0;
+    }
+    if (args.includes('--check')) {
+      if (args.includes('--from')) throw new ConfigError('--check verifies a release; it cannot be combined with --from');
+      return check(args);
+    }
+    return sync(args);
+  } catch (e) {
+    if (e instanceof ConfigError) {
+      console.error(`✗ dataimago-sync: ${e.message}`);
+      return 2;
+    }
+    throw e;
+  }
+}
+
+// ─── Self-test ────────────────────────────────────────────────────────────────
+
+async function selfTest() {
+  const stampUrl = new URL('./stamp.mjs', import.meta.url);
+  if (!fs.existsSync(fileURLToPath(stampUrl))) {
+    console.error('dataimago-sync --self-test runs from the dataimago-design repo (tools/formats/).');
+    process.exit(2);
+  }
+  const { stamp, stampJson } = await import(stampUrl);
+  const assert = (await import('node:assert/strict')).default;
+  const tmp = fs.mkdtempSync(path.join(os.tmpdir(), 'di-sync-'));
+
+  // A fake published package: <tmp>/pkg with dist/{quarto/a.scss, dataviz/p.json, outputs.json, bin/}.
+  function makePackage(root, name, version) {
+    const files = {
+      'quarto/a.scss': stamp({ kind: 'scss', pkg: name, version, distPath: 'quarto/a.scss', body: '$x: 1 !default;\n' }),
+      'dataviz/p.json': stampJson({ pkg: name, version, distPath: 'dataviz/p.json', data: { a: '#E69F00' } }),
+    };
+    fs.mkdirSync(path.join(root, 'dist', 'bin'), { recursive: true });
+    fs.writeFileSync(path.join(root, 'package.json'), JSON.stringify({ name, version }));
+    for (const [p, text] of Object.entries(files)) {
+      fs.mkdirSync(path.dirname(path.join(root, 'dist', p)), { recursive: true });
+      fs.writeFileSync(path.join(root, 'dist', p), text);
+    }
+    fs.writeFileSync(path.join(root, 'dist', 'outputs.json'), JSON.stringify({ package: name, version, files: Object.fromEntries(Object.keys(files).sort().map((k) => [k, 'x'])) }, null, 2));
+    fs.copyFileSync(fileURLToPath(import.meta.url), path.join(root, 'dist', 'bin', 'dataimago-sync.mjs'));
+    return { files, bin: path.join(root, 'dist', 'bin', 'dataimago-sync.mjs') };
+  }
+  const pkg = makePackage(path.join(tmp, 'pkg'), '@dataimago/css', '9.9.9');
+  // A fake dataimago-design checkout for --from: packages/css/{package.json,dist/}.
+  makePackage(path.join(tmp, 'checkout', 'packages', 'css'), '@dataimago/css', '9.9.10');
+
+  const consumer = path.join(tmp, 'consumer');
+  const writeDesign = (design) => {
+    fs.mkdirSync(path.join(consumer, '.dataimago'), { recursive: true });
+    fs.writeFileSync(path.join(consumer, '.dataimago', 'design.json'), JSON.stringify(design));
+  };
+  const base = { package: '@dataimago/css', version: '9.9.9', outputs: { 'quarto/a.scss': 'styles/', 'dataviz/p.json': 'figs/palette.json' } };
+  const run = (...args) => spawnSync(process.execPath, [pkg.bin, ...args], { cwd: consumer, encoding: 'utf8' });
+  const exists = (rel) => fs.existsSync(path.join(consumer, rel));
+
+  // (a) sync writes exact bytes; --check passes.
+  writeDesign(base);
+  let r = run();
+  assert.equal(r.status, 0, r.stderr);
+  assert.equal(fs.readFileSync(path.join(consumer, 'styles/a.scss'), 'utf8'), pkg.files['quarto/a.scss']);
+  assert.equal(fs.readFileSync(path.join(consumer, 'figs/palette.json'), 'utf8'), pkg.files['dataviz/p.json']);
+  assert.equal(run('--check').status, 0);
+
+  // (b) one appended byte fails --check, naming the file.
+  fs.appendFileSync(path.join(consumer, 'styles/a.scss'), ' ');
+  r = run('--check');
+  assert.equal(r.status, 1);
+  assert.match(r.stdout + r.stderr, /styles\/a\.scss/);
+  run();
+
+  // (c) version mismatch: config error with the matching command.
+  writeDesign({ ...base, version: '9.9.8' });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.match(r.stderr, /npx -p @dataimago\/css@9\.9\.8 dataimago-sync/);
+
+  // (d) an output the package does not ship: config error, lists outputs, writes nothing.
+  fs.rmSync(path.join(consumer, 'styles'), { recursive: true });
+  writeDesign({ ...base, outputs: { ...base.outputs, 'quarto/components.scss': 'styles/' } });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.match(r.stderr, /quarto\/components\.scss/);
+  assert.match(r.stderr, /dataviz\/p\.json/);
+  assert.ok(!exists('styles/a.scss'), 'nothing written on a config error');
+
+  // (e) destinations escaping the consumer root are refused before writing.
+  for (const dest of ['../x/', '/abs/']) {
+    writeDesign({ ...base, outputs: { 'quarto/a.scss': 'styles/', 'dataviz/p.json': dest } });
+    r = run();
+    assert.equal(r.status, 2, `destination ${dest} must be refused`);
+    assert.ok(!exists('styles/a.scss'), `nothing written when ${dest} is refused`);
+  }
+  assert.ok(!fs.existsSync(path.join(tmp, 'x')));
+
+  // (f) --from writes local-unreleased stamps that --check always rejects.
+  writeDesign(base);
+  r = run('--from', path.join(tmp, 'checkout'));
+  assert.equal(r.status, 0, r.stderr);
+  assert.match(fs.readFileSync(path.join(consumer, 'styles/a.scss'), 'utf8').split('\n')[0], new RegExp(LOCAL));
+  assert.match(fs.readFileSync(path.join(consumer, 'figs/palette.json'), 'utf8'), new RegExp(LOCAL));
+  r = run('--check');
+  assert.equal(r.status, 1);
+  assert.match(r.stdout + r.stderr, /--from/);
+
+  // (g) a design.json for another package is a config error.
+  writeDesign({ ...base, package: '@dataimago/css-neutral' });
+  assert.equal(run().status, 2);
+
+  // (h) --config outside .dataimago/: the consumer root is the config's own directory.
+  fs.rmSync(path.join(consumer, 'styles'), { recursive: true, force: true });
+  fs.writeFileSync(path.join(consumer, 'design.json'), JSON.stringify(base));
+  r = run('--config', path.join(consumer, 'design.json'));
+  assert.equal(r.status, 0, r.stderr);
+  assert.ok(exists('styles/a.scss'), '--config ./design.json writes inside the consumer');
+  assert.ok(!fs.existsSync(path.join(tmp, 'styles')), 'nothing written above the consumer');
+  fs.rmSync(path.join(consumer, 'design.json'));
+
+  // (i) an unknown flag (a typo'd --check) is a config error and writes nothing; --help writes nothing.
+  writeDesign(base);
+  const before = fs.readFileSync(path.join(consumer, 'styles/a.scss'));
+  fs.appendFileSync(path.join(consumer, 'styles/a.scss'), 'x');
+  r = run('--chek');
+  assert.equal(r.status, 2);
+  assert.match(r.stderr, /--chek/);
+  r = run('--help');
+  assert.equal(r.status, 0);
+  assert.match(r.stdout, /--check/);
+  assert.notDeepEqual(fs.readFileSync(path.join(consumer, 'styles/a.scss')), before, 'neither run re-synced');
+  run();
+
+  // (j) a destination that is the root or an existing directory (no trailing /) is refused up front.
+  fs.rmSync(path.join(consumer, 'figs'), { recursive: true, force: true });
+  fs.mkdirSync(path.join(consumer, 'figs'));
+  for (const dest of ['.', 'figs']) {
+    fs.rmSync(path.join(consumer, 'styles'), { recursive: true, force: true });
+    writeDesign({ ...base, outputs: { 'quarto/a.scss': 'styles/', 'dataviz/p.json': dest } });
+    r = run();
+    assert.equal(r.status, 2, `destination ${dest} must be refused`);
+    assert.ok(!exists('styles/a.scss'), `nothing written when ${dest} is refused`);
+  }
+
+  // (k) two outputs on one destination is a config error.
+  writeDesign({ ...base, outputs: { 'quarto/a.scss': 'same.txt', 'dataviz/p.json': 'same.txt' } });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.ok(!exists('same.txt'));
+
+  fs.rmSync(tmp, { recursive: true, force: true });
+  console.log('dataimago-sync self-test: all checks passed');
+}
+
+if (process.argv.includes('--self-test')) await selfTest();
+else process.exitCode = main(process.argv.slice(2));

package/dist/dataimago.css

@@ -254,7 +254,7 @@
 }
 
 @media (prefers-color-scheme: dark) {
-  :root {
+  :root:where(:not([data-bs-theme=light])) {
     --color-surface-page: #141410;
     --color-surface-page: color(display-p3 0.0784 0.0784 0.0643);
     --color-surface-page-scrolled: #141410;

package/dist/dataimago.min.css

@@ -1 +1 @@
-:root{--color-palette-ink-50: #f5f5f4;--color-palette-ink-100: #e7e5e4;--color-palette-ink-200: #d6d3d1;--color-palette-ink-300: #a8a29e;--color-palette-ink-400: #78716c;--color-palette-ink-500: #57534e;--color-palette-ink-600: #44403c;--color-palette-ink-700: #292524;--color-palette-ink-800: #1c1917;--color-palette-ink-900: #0c0a09;--color-palette-stone-50: #f7f7f6;--color-palette-stone-100: #ededeb;--color-palette-stone-200: #dcdcda;--color-palette-stone-300: #c1c1bf;--color-palette-stone-400: #a0a0a0;--color-palette-stone-500: #7c7c7c;--color-palette-stone-600: #5e5e5c;--color-palette-stone-700: #424240;--color-palette-stone-800: #292927;--color-palette-stone-900: #14140f;--color-palette-forest-50: #f0f1ed;--color-palette-forest-100: #dde0d4;--color-palette-forest-200: #bdc4ad;--color-palette-forest-300: #98a384;--color-palette-forest-400: #7e8a6b;--color-palette-forest-500: #5e6749;--color-palette-forest-600: #4d5640;--color-palette-forest-700: #434739;--color-palette-forest-800: #363a2e;--color-palette-forest-900: #1f2218;--color-palette-paper-50: #fefdfb;--color-palette-paper-100: #fdf9f2;--color-palette-paper-200: #faf2e3;--color-palette-paper-300: #f5e8cf;--color-palette-paper-400: #edd9b3;--color-palette-paper-500: #e0c088;--color-palette-copper-50: #fdf4ee;--color-palette-copper-100: #fbe5d1;--color-palette-copper-200: #f6c79c;--color-palette-copper-300: #f0a467;--color-palette-copper-400: #ea8441;--color-palette-copper-500: #d46820;--color-palette-copper-600: #b55017;--color-palette-copper-700: #913d15;--color-palette-copper-800: #753318;--color-palette-copper-900: #612b16;--color-palette-accent-50: #f0f8fc;--color-palette-accent-300: #3498DB;--color-palette-accent-400: #2980B9;--color-palette-accent-500: #1f618d;--color-palette-accent-600: #154d6f;--color-palette-accent-700: #0f3a52;--color-palette-presentation-blue-50: #f0f8fc;--color-palette-presentation-blue-500: #3498DB;--color-palette-presentation-blue-600: #2980B9;--color-palette-presentation-blue-700: #1f618d;--color-functional-success: #27AE60;--color-functional-warning: #F39C12;--color-functional-error: #E74C3C;--color-functional-info: #3498DB;--transition-quick: 0.15s ease;--transition-standard: 0.25s ease-in-out;--transition-smooth: 0.35s ease;--transition-logo: 0.3s;--font-family-sans: Noto Sans, Fira Sans, system-ui, sans-serif;--font-family-mono: JetBrains Mono, SF Mono, Monaco, Inconsolata, monospace;--font-family-display: var(--font-family-display-editorial);--font-family-display-editorial: Josefin Sans, system-ui, sans-serif;--font-family-display-documentation: Noto Sans, system-ui, sans-serif;--font-family-brand: Futura, system-ui, sans-serif;--font-family-math: Noto Sans Math, Noto Sans, system-ui, sans-serif;--font-size-micro: 0.75rem;--font-size-small: 0.875rem;--font-size-base: 1rem;--font-size-readable: 1.125rem;--font-size-emphasis: 1.25rem;--font-size-heading-small: 1.5rem;--font-size-heading-medium: 1.875rem;--font-size-heading-large: 2.25rem;--font-size-heading-xl: 3rem;--font-weight-extralight: 200;--font-weight-light: 300;--font-weight-normal: 400;--font-weight-medium: 500;--font-weight-semibold: 600;--font-weight-bold: 700;--font-weight-heading-h1: var(--font-weight-medium);--font-weight-heading-h2: var(--font-weight-medium);--font-weight-heading-h3: var(--font-weight-normal);--font-weight-heading-h4: var(--font-weight-light);--font-weight-heading-h5: var(--font-weight-light);--font-weight-heading-h6: var(--font-weight-light);--font-weight-heading-subtitle: var(--font-weight-semibold);--font-style-normal: normal;--font-style-italic: italic;--font-style-oblique: oblique;--font-lineHeight-tight: 1.25;--font-lineHeight-normal: 1.5;--font-lineHeight-relaxed: 1.625;--font-feature-settings-display: "lnum";--font-feature-settings-body: "normal";--spacing-xs: 0.25rem;--spacing-sm: 0.5rem;--spacing-md: 1rem;--spacing-lg: 1.5rem;--spacing-xl: 2rem;--spacing-2xl: 3rem;--spacing-3xl: 4rem;--radius-sm: 0.25rem;--radius-md: 0.5rem;--radius-lg: 0.75rem;--radius-xl: 1rem;--radius-full: 9999px;--shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);--shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1);--shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1);--shadow-xl: 0 20px 25px -5px rgb(0 0 0 / 0.1)}:root,[data-bs-theme=light]{--color-surface-page: #ededeb;--color-surface-page: color(display-p3 0.9294 0.9294 0.9223);--color-surface-page-scrolled: #ededeb;--color-surface-page-scrolled: color(display-p3 0.9294 0.9294 0.9223);--color-surface-elevated: #f7f7f6;--color-surface-elevated: color(display-p3 0.9686 0.9686 0.9651);--color-surface-sunken: #faf2e3;--color-surface-sunken: color(display-p3 0.9749 0.9501 0.8963);--color-surface-navbar: #ededeb;--color-surface-navbar: color(display-p3 0.9294 0.9294 0.9223);--color-surface-navbar-scrolled: #ededeb;--color-surface-navbar-scrolled: color(display-p3 0.9294 0.9294 0.9223);--color-surface-code: #faf2e3;--color-surface-code: color(display-p3 0.9749 0.9501 0.8963);--color-border-subtle: rgba(12, 10, 9, 0.45);--color-border-subtle: color(display-p3 0.0457 0.0395 0.0358 / 0.45);--color-border-moderate: rgba(12, 10, 9, 0.60);--color-border-moderate: color(display-p3 0.0457 0.0395 0.0358 / 0.60);--color-border-strong: rgba(12, 10, 9, 0.75);--color-border-strong: color(display-p3 0.0457 0.0395 0.0358 / 0.75);--color-border-card: rgba(12, 10, 9, 0.60);--color-border-card: color(display-p3 0.0457 0.0395 0.0358 / 0.60);--color-border-code: #d6d3d1;--color-border-code: color(display-p3 0.8371 0.8278 0.8205);--color-content-primary: #14140f;--color-content-primary: color(display-p3 0.0784 0.0784 0.0608);--color-content-secondary: #6a6a6a;--color-content-secondary: color(display-p3 0.4157 0.4157 0.4157);--color-content-muted: #706964;--color-content-muted: color(display-p3 0.4345 0.4127 0.3945);--color-content-inverse: #fdf9f2;--color-content-inverse: color(display-p3 0.9894 0.977 0.9518);--color-interactive-primary: #434739;--color-interactive-primary: color(display-p3 0.2656 0.2779 0.2287);--color-interactive-hover: #363a2e;--color-interactive-hover: color(display-p3 0.2146 0.2269 0.1848);--color-interactive-accent: #1f618d;--color-interactive-accent: color(display-p3 0.198 0.375 0.5385);--color-interactive-focus: #434739;--color-interactive-focus: color(display-p3 0.2656 0.2779 0.2287);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #b87333;--color-vertical-accent-dissertation: color(display-p3 0.7242 0.4389 0.1259);--color-vertical-accent-rpkg: #3b82f6;--color-vertical-accent-rpkg: color(display-p3 0.3047 0.5035 0.9338);--color-vertical-accent-SGPc: #5a6310;--color-vertical-accent-SGPc: color(display-p3 0.3595 0.3871 0.1309);--color-brand-mark-red: #cc0000;--color-brand-mark-red: color(display-p3 0.7331 0.1519 0.1019);--contrast-high: rgb(20, 20, 16);--contrast-readable: rgb(20, 20, 16);--contrast-medium: #7c7c7c;--contrast-subtle: #7c7c7c;--shadow-subtle: 0 1px 2px 0 rgb(20 20 16 / 0.05);--shadow-moderate: 0 4px 6px -1px rgb(20 20 16 / 0.1);--shadow-prominent: 0 10px 15px -3px rgb(20 20 16 / 0.1);--border-subtle: rgba(20, 20, 16, 0.47);--border-moderate: rgba(20, 20, 16, 0.63);--border-focus: #3498DB;--navigation-hover-background: rgba(20, 20, 16, 0.05);--navigation-active-background: rgba(20, 20, 16, 0.1)}[data-bs-theme=dark]{--color-surface-page: #141410;--color-surface-page: color(display-p3 0.0784 0.0784 0.0643);--color-surface-page-scrolled: #141410;--color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-elevated: #1c1917;--color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);--color-surface-sunken: #0c0a09;--color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);--color-surface-navbar: #141410;--color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);--color-surface-navbar-scrolled: #141410;--color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-code: #1c1917;--color-surface-code: color(display-p3 0.1078 0.0985 0.0911);--color-border-subtle: rgba(253, 249, 242, 0.45);--color-border-subtle: color(display-p3 0.9894 0.977 0.9518 / 0.45);--color-border-moderate: rgba(253, 249, 242, 0.60);--color-border-moderate: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-strong: rgba(253, 249, 242, 0.75);--color-border-strong: color(display-p3 0.9894 0.977 0.9518 / 0.75);--color-border-card: rgba(253, 249, 242, 0.60);--color-border-card: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-code: #292524;--color-border-code: color(display-p3 0.1581 0.1456 0.1418);--color-content-primary: #fdf9f2;--color-content-primary: color(display-p3 0.9894 0.977 0.9518);--color-content-secondary: #a8a29e;--color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);--color-content-muted: #89827d;--color-content-muted: color(display-p3 0.5325 0.5107 0.4925);--color-content-inverse: #0c0a09;--color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);--color-interactive-primary: #98a384;--color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);--color-interactive-hover: #7e8a6b;--color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);--color-interactive-accent: #3498db;--color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);--color-interactive-focus: #98a384;--color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #ce8e5c;--color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);--color-vertical-accent-rpkg: #60a5fa;--color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);--color-vertical-accent-SGPc: #b2bf22;--color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);--color-brand-mark-red: #ff0000;--color-brand-mark-red: color(display-p3 1 0 0);--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.47);--border-moderate: rgba(237, 237, 235, 0.63);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}@media(prefers-color-scheme: dark){:root{--color-surface-page: #141410;--color-surface-page: color(display-p3 0.0784 0.0784 0.0643);--color-surface-page-scrolled: #141410;--color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-elevated: #1c1917;--color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);--color-surface-sunken: #0c0a09;--color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);--color-surface-navbar: #141410;--color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);--color-surface-navbar-scrolled: #141410;--color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-code: #1c1917;--color-surface-code: color(display-p3 0.1078 0.0985 0.0911);--color-border-subtle: rgba(253, 249, 242, 0.45);--color-border-subtle: color(display-p3 0.9894 0.977 0.9518 / 0.45);--color-border-moderate: rgba(253, 249, 242, 0.60);--color-border-moderate: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-strong: rgba(253, 249, 242, 0.75);--color-border-strong: color(display-p3 0.9894 0.977 0.9518 / 0.75);--color-border-card: rgba(253, 249, 242, 0.60);--color-border-card: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-code: #292524;--color-border-code: color(display-p3 0.1581 0.1456 0.1418);--color-content-primary: #fdf9f2;--color-content-primary: color(display-p3 0.9894 0.977 0.9518);--color-content-secondary: #a8a29e;--color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);--color-content-muted: #89827d;--color-content-muted: color(display-p3 0.5325 0.5107 0.4925);--color-content-inverse: #0c0a09;--color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);--color-interactive-primary: #98a384;--color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);--color-interactive-hover: #7e8a6b;--color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);--color-interactive-accent: #3498db;--color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);--color-interactive-focus: #98a384;--color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #ce8e5c;--color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);--color-vertical-accent-rpkg: #60a5fa;--color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);--color-vertical-accent-SGPc: #b2bf22;--color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);--color-brand-mark-red: #ff0000;--color-brand-mark-red: color(display-p3 1 0 0);--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.47);--border-moderate: rgba(237, 237, 235, 0.63);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}}*{box-sizing:border-box}html{font-family:var(--font-family-sans);font-size:var(--font-size-base);line-height:var(--font-lineHeight-normal);color:var(--theme-text-primary);background-color:var(--theme-body-bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:var(--font-family-display) !important;font-feature-settings:var(--font-feature-settings-display)}h1,h2,h3,h4,h5,h6{line-height:var(--font-lineHeight-tight);margin-top:0;margin-bottom:var(--spacing-md);color:var(--color-text-primary)}h1{font-size:var(--font-size-4xl);font-weight:var(--font-weight-heading-h1);margin-bottom:var(--spacing-lg)}h2{font-size:var(--font-size-3xl);font-weight:var(--font-weight-heading-h2);margin-bottom:var(--spacing-lg)}h3{font-size:var(--font-size-2xl);font-weight:var(--font-weight-heading-h3)}h4{font-size:var(--font-size-xl);font-weight:var(--font-weight-heading-h4)}h5{font-size:var(--font-size-lg);font-weight:var(--font-weight-heading-h5)}h6{font-size:var(--font-size-base);font-weight:var(--font-weight-heading-h6)}p{margin-top:0;margin-bottom:var(--spacing-md);line-height:var(--font-lineHeight-normal)}a{color:var(--color-brand-accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px;transition:color .2s ease}a:hover{color:var(--color-brand-primary);text-decoration-thickness:2px}a:focus{outline:2px solid var(--color-border-focus);outline-offset:2px;border-radius:var(--radius-sm)}code{font-family:var(--font-family-mono);font-size:.9em;padding:.1em .3em;background-color:var(--color-background-surface);border-radius:var(--radius-sm);color:var(--color-brand-accent)}pre{font-family:var(--font-family-mono);font-size:.9em;padding:var(--spacing-md);background-color:var(--color-background-surface);border:1px solid var(--color-border-default);border-radius:var(--radius-md);overflow-x:auto;margin-bottom:var(--spacing-md)}pre code{background:rgba(0,0,0,0);padding:0;color:inherit}.svg-container{display:inline-flex;align-items:center;justify-content:center;transition:transform var(--logo-transition-duration) ease}svg{width:100%;height:auto;max-width:100%;display:block}.navbar-logo{background-size:contain;background-repeat:no-repeat;max-height:36px;transition:max-height var(--logo-transition-duration) ease-in-out,transform var(--logo-transition-duration) ease-in-out,opacity var(--logo-transition-duration) ease-in-out;will-change:max-height,transform,opacity}.navbar-logo.shrink{max-height:28px}.navbar-logo.transitioning{opacity:.8;transition:opacity .15s ease-in-out}.navbar-brand-logo{display:inline-flex;align-items:center}.navbar-brand-logo svg{height:36px;width:auto;transition:all var(--logo-transition-duration) ease}.hex-logo-container{position:relative;display:inline-block;margin:0 auto}.hex-logo-container svg{width:280px;height:auto;transition:all var(--logo-transition-duration) ease}@media(max-width: 768px){.hex-logo-container svg{width:200px}}@media(prefers-reduced-motion: no-preference){.landing-logo{animation:gentle-float 6s ease-in-out infinite}.landing-logo:hover{animation-play-state:paused;transform:scale(1.05)}}@keyframes gentle-float{0%,100%{transform:translateY(0px)}50%{transform:translateY(-10px)}}.footer-quarto-logo{display:inline-flex;align-items:center}.footer-quarto-logo svg{height:24px;width:auto;transition:all var(--logo-transition-duration) ease}.footer-quarto-logo path{transition:fill var(--logo-transition-duration) ease}.footer-quarto-logo:hover path,a:hover .footer-quarto-logo path{fill:var(--logo-hover-fill)}.social-icons{display:flex;gap:1rem;align-items:center}.social-icons a{display:inline-flex;align-items:center;transition:transform var(--logo-transition-duration) ease}.social-icons a:hover{transform:translateY(-2px)}.social-icons svg,.social-icons iconify-icon{width:24px;height:24px;transition:all var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"],.navbar-nav .nav-link[href*="bsky.app"]{display:inline-flex;align-items:center}.navbar-nav .nav-link[href*="github.com"] iconify-icon,.navbar-nav .nav-link[href*="bsky.app"] iconify-icon{font-size:1.2rem;transition:color var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"]:hover iconify-icon,.navbar-nav .nav-link[href*="bsky.app"]:hover iconify-icon{color:var(--theme-text-hover)}@media(prefers-reduced-motion: no-preference){.svg-pulse{animation:svg-pulse 2s ease-in-out infinite}.svg-rotate{animation:svg-rotate 20s linear infinite}}@keyframes svg-pulse{0%,100%{opacity:1}50%{opacity:.7}}@keyframes svg-rotate{from{transform:rotate(0deg)}to{transform:rotate(360deg)}}.svg-scale-hover{transition:transform var(--logo-transition-duration) ease}.svg-scale-hover:hover{transform:scale(1.1)}.theme-svg path,.theme-svg circle,.theme-svg rect,.theme-svg polygon{fill:var(--logo-default-fill);transition:fill var(--logo-transition-duration) ease}.theme-svg.svg-hover path,.theme-svg.svg-hover circle,.theme-svg.svg-hover rect,.theme-svg.svg-hover polygon,.theme-svg:hover path,.theme-svg:hover circle,.theme-svg:hover rect,.theme-svg:hover polygon{fill:var(--logo-hover-fill);stroke:var(--logo-hover-stroke, transparent)}.theme-svg.logo-navbar path,.theme-svg.logo-navbar circle,.theme-svg.logo-navbar rect,.theme-svg.logo-navbar polygon{fill:var(--logo-default-fill)}.theme-svg.logo-hex path,.theme-svg.logo-hex circle,.theme-svg.logo-hex rect,.theme-svg.logo-hex polygon{fill:var(--logo-default-fill)}[data-bs-theme=light] .theme-adaptive-svg{filter:none}[data-bs-theme=dark] .theme-adaptive-svg{filter:invert(1) hue-rotate(180deg)}.svg-loading{position:relative}.svg-loading::after{content:"";position:absolute;top:50%;left:50%;width:20px;height:20px;margin:-10px 0 0 -10px;border:2px solid var(--theme-text-secondary);border-top-color:rgba(0,0,0,0);border-radius:50%}.svg-loading svg{opacity:.3}@media(prefers-reduced-motion: no-preference){.svg-loading::after{animation:svg-spinner .8s linear infinite}}@keyframes svg-spinner{to{transform:rotate(360deg)}}.svg-aspect-ratio{position:relative;width:100%}.svg-aspect-ratio::before{content:"";display:block;padding-bottom:100%}.svg-aspect-ratio svg{position:absolute;top:0;left:0;width:100%;height:100%}.svg-xs{max-width:16px}.svg-sm{max-width:24px}.svg-md{max-width:32px}.svg-lg{max-width:48px}.svg-xl{max-width:64px}.svg-decorative{aria-hidden:true}.svg-icon[role=img]{pointer-events:none}.svg-interactive{cursor:pointer;transition:all var(--logo-transition-duration) ease}.svg-interactive:focus{outline:2px solid var(--theme-focus-color);outline-offset:2px}.svg-interactive:focus:not(:focus-visible){outline:none}.svg-accelerated{transform:translateZ(0);backface-visibility:hidden;perspective:1000px}@media(prefers-reduced-motion: reduce){.svg-container,.navbar-logo,.landing-logo,.svg-pulse,.svg-rotate,.svg-scale-hover{animation:none !important;transition:none !important}}.di-callout,.proof,.theorem,.definition,.proposition{padding:var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-lg, 1.5rem);margin:var(--spacing-lg, 1.5rem) 0;border-radius:var(--radius-sm, 4px);background-color:var(--color-surface-sunken);border-left:4px solid var(--color-interactive-primary)}.di-callout .di-callout-title,.di-callout .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout .theorem-title,.proof .theorem-title,.di-callout .definition-title,.proof .definition-title,.di-callout .proposition-title,.proof .proposition-title,.theorem .di-callout-title,.theorem .proof-title,.theorem .theorem-title,.theorem .definition-title,.theorem .proposition-title,.definition .di-callout-title,.definition .proof-title,.definition .theorem-title,.definition .definition-title,.definition .proposition-title,.proposition .di-callout-title,.proposition .proof-title,.proposition .theorem-title,.proposition .definition-title,.proposition .proposition-title{font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);margin-bottom:.5rem;color:var(--color-content-primary)}.di-callout>:last-child,.proof>:last-child,.theorem>:last-child,.definition>:last-child,.proposition>:last-child{margin-bottom:0}.di-callout-insight{border-left-color:var(--color-interactive-accent)}.di-callout-insight .di-callout-title,.di-callout-insight .proof-title,.di-callout-insight .theorem-title,.di-callout-insight .definition-title,.di-callout-insight .proposition-title{color:var(--color-interactive-accent)}.di-callout-tip{border-left-color:var(--color-presentation-accent)}.di-callout-tip .di-callout-title,.di-callout-tip .proof-title,.di-callout-tip .theorem-title,.di-callout-tip .definition-title,.di-callout-tip .proposition-title{color:var(--color-presentation-accent)}.di-callout-proof,.proof{margin:var(--spacing-md, 1rem) 0}.di-callout-proof .di-callout-title,.di-callout-proof .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout-proof .theorem-title,.proof .theorem-title,.di-callout-proof .definition-title,.proof .definition-title,.di-callout-proof .proposition-title,.proof .proposition-title{font-style:italic;font-weight:var(--font-weight-medium);color:var(--color-content-primary)}.di-callout-proof::after,.proof::after{content:"□";float:right;color:var(--color-content-secondary)}.di-callout-rich{padding:0;margin:.6em 0 .8em 0;border-radius:6px;border-left-width:4px;border-style:solid;overflow:hidden}.di-callout-rich .di-callout-title,.di-callout-rich .proof-title,.di-callout-rich .theorem-title,.di-callout-rich .definition-title,.di-callout-rich .proposition-title{margin:0;padding:.35em .75em;font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);border-bottom:1px solid currentColor}.di-callout-rich>:not(.di-callout-title):not(.proof-title):not(.theorem-title):not(.definition-title):not(.proposition-title){padding-left:.9em;padding-right:.9em}.di-callout-rich>:last-child{padding-bottom:.55em}.di-callout-rich.di-callout-theorem,.di-callout-rich.theorem,.di-callout-rich.definition,.di-callout-rich.proposition{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-primary) 10%, transparent), color-mix(in srgb, var(--color-interactive-primary) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-primary) 30%, transparent);border-left-color:var(--color-interactive-primary)}.di-callout-rich.di-callout-theorem .di-callout-title,.di-callout-rich.di-callout-theorem .proof-title,.di-callout-rich.di-callout-theorem .theorem-title,.di-callout-rich.di-callout-theorem .definition-title,.di-callout-rich.di-callout-theorem .proposition-title,.di-callout-rich.theorem .di-callout-title,.di-callout-rich.theorem .proof-title,.di-callout-rich.theorem .theorem-title,.di-callout-rich.theorem .definition-title,.di-callout-rich.theorem .proposition-title,.di-callout-rich.definition .di-callout-title,.di-callout-rich.definition .proof-title,.di-callout-rich.definition .theorem-title,.di-callout-rich.definition .definition-title,.di-callout-rich.definition .proposition-title,.di-callout-rich.proposition .di-callout-title,.di-callout-rich.proposition .proof-title,.di-callout-rich.proposition .theorem-title,.di-callout-rich.proposition .definition-title,.di-callout-rich.proposition .proposition-title{background:color-mix(in srgb, var(--color-interactive-primary) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-primary) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-primary) 28%, transparent)}.di-callout-rich.di-callout-insight{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-accent) 10%, transparent), color-mix(in srgb, var(--color-interactive-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-accent) 30%, transparent);border-left-color:var(--color-interactive-accent)}.di-callout-rich.di-callout-insight .di-callout-title,.di-callout-rich.di-callout-insight .proof-title,.di-callout-rich.di-callout-insight .theorem-title,.di-callout-rich.di-callout-insight .definition-title,.di-callout-rich.di-callout-insight .proposition-title{background:color-mix(in srgb, var(--color-interactive-accent) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-accent) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-accent) 28%, transparent)}.di-callout-rich.di-callout-tip{background:linear-gradient(135deg, color-mix(in srgb, var(--color-presentation-accent) 8%, transparent), color-mix(in srgb, var(--color-presentation-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-presentation-accent) 20%, transparent);border-left-color:var(--color-presentation-accent)}.di-callout-rich.di-callout-tip .di-callout-title,.di-callout-rich.di-callout-tip .proof-title,.di-callout-rich.di-callout-tip .theorem-title,.di-callout-rich.di-callout-tip .definition-title,.di-callout-rich.di-callout-tip .proposition-title{background:color-mix(in srgb, var(--color-presentation-accent) 15%, transparent);color:var(--color-presentation-accent-hover);border-bottom-color:color-mix(in srgb, var(--color-presentation-accent) 25%, transparent)}.di-figure-box{border:1px solid var(--color-border-moderate);padding:4px;background-color:var(--color-surface-sunken);display:inline-block;cursor:pointer;transition:transform .3s cubic-bezier(0.4, 0, 0.2, 1),box-shadow .3s cubic-bezier(0.4, 0, 0.2, 1),border-color .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-box:hover{transform:translateY(-2px);box-shadow:var(--shadow-prominent, 0 4px 12px rgba(0, 0, 0, 0.15));border-color:var(--color-interactive-primary)}.di-figure-box:active{transform:translateY(-1px);box-shadow:var(--shadow-moderate, 0 2px 8px rgba(0, 0, 0, 0.12))}.di-figure-box:focus-visible{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-figure-modal{display:none;position:fixed;inset:0;z-index:9999;background-color:color-mix(in srgb, var(--color-content-primary) 92%, transparent);backdrop-filter:blur(4px);-webkit-backdrop-filter:blur(4px)}.di-figure-modal.is-open{display:flex;align-items:center;justify-content:center;animation:di-figure-modal-fade-in .25s ease}.di-figure-modal .di-figure-modal-content{position:relative;max-width:95vw;max-height:95vh;animation:di-figure-modal-zoom-in .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-modal .di-figure-modal-content img{width:auto;height:auto;max-width:95vw;max-height:95vh;object-fit:contain;border:2px solid var(--color-interactive-primary);background-color:var(--color-surface-elevated);padding:8px;box-shadow:0 20px 60px color-mix(in srgb, var(--color-content-primary) 40%, transparent)}.di-figure-modal .di-figure-modal-close{position:absolute;top:-40px;right:0;font-size:2rem;color:var(--color-content-inverse);background:none;border:none;cursor:pointer;padding:.5rem;line-height:1;transition:transform .2s ease,color .2s ease;font-family:inherit}.di-figure-modal .di-figure-modal-close:hover{transform:scale(1.2);color:var(--color-interactive-primary)}.di-figure-modal .di-figure-modal-close:focus-visible{outline:2px solid var(--color-interactive-primary);outline-offset:4px;border-radius:var(--radius-sm, 0.25rem)}.di-figure-modal .di-figure-modal-caption{position:absolute;bottom:-60px;left:0;right:0;text-align:center;color:var(--color-content-inverse);font-size:var(--font-size-small, 0.9rem);font-style:italic;padding:0 2rem;line-height:var(--line-height-normal, 1.4)}@keyframes di-figure-modal-fade-in{from{opacity:0}to{opacity:1}}@keyframes di-figure-modal-zoom-in{from{opacity:0;transform:scale(0.9)}to{opacity:1;transform:scale(1)}}@media(prefers-reduced-motion: reduce){.di-figure-box{transition:none !important}.di-figure-box:hover,.di-figure-box:active{transform:none !important}.di-figure-modal,.di-figure-modal .di-figure-modal-content,.di-figure-modal .di-figure-modal-close{animation:none !important;transition:none !important}.di-figure-modal .di-figure-modal-close:hover{transform:none !important}}.di-card{background:var(--color-surface-elevated);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);padding:var(--spacing-component-padding);box-shadow:var(--shadow-moderate);transition:box-shadow .2s ease,transform .2s ease}.di-card:hover{box-shadow:var(--shadow-prominent);transform:translateY(-2px)}.di-card-title{margin:0;font-weight:var(--font-weight-semibold);font-size:var(--font-size-readable);color:var(--color-content-primary)}.di-button{display:inline-flex;align-items:center;justify-content:center;gap:var(--spacing-micro-tight);padding:var(--spacing-micro-normal) var(--spacing-component-padding);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);background:var(--color-surface-elevated);color:var(--color-content-primary);text-decoration:none;font-weight:var(--font-weight-medium);font-size:var(--font-size-base);cursor:pointer;transition:all var(--transition-standard);min-height:2.5rem;font-family:inherit}.di-button:hover{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary);transform:translateY(-1px);box-shadow:var(--shadow-prominent)}.di-button:focus{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-button-primary{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary)}.di-button-primary:hover{background:var(--color-interactive-hover);border-color:var(--color-interactive-hover)}.di-button:hover{background:var(--color-brand-accent);color:var(--color-text-inverse);border-color:var(--color-brand-accent);transform:translateY(-1px);box-shadow:var(--shadow-md);text-decoration:none}.di-button:focus{outline:2px solid var(--color-border-focus);outline-offset:2px}.di-button-primary{background:var(--color-brand-primary);color:var(--color-text-inverse);border-color:var(--color-brand-primary)}.di-button-primary:hover{background:var(--color-brand-accent);border-color:var(--color-brand-accent)}.di-hex-logo{transition:max-height .25s ease-in-out,transform .25s ease-in-out;cursor:pointer;max-width:100%;height:auto}.di-hex-logo:hover{transform:scale(1.05)}@media(max-width: 768px){.di-hex-logo{width:150px}}@media(max-width: 480px){.di-hex-logo{width:120px}}.di-m-0{margin:0}.di-m-xs{margin:var(--spacing-xs)}.di-m-sm{margin:var(--spacing-sm)}.di-m-md{margin:var(--spacing-md)}.di-m-lg{margin:var(--spacing-lg)}.di-m-xl{margin:var(--spacing-xl)}.di-p-0{padding:0}.di-p-xs{padding:var(--spacing-xs)}.di-p-sm{padding:var(--spacing-sm)}.di-p-md{padding:var(--spacing-md)}.di-p-lg{padding:var(--spacing-lg)}.di-p-xl{padding:var(--spacing-xl)}.di-block{display:block}.di-inline{display:inline}.di-flex{display:flex}.di-hidden{display:none}.di-justify-center{justify-content:center}.di-items-center{align-items:center}.di-flex-col{flex-direction:column}.di-text-center{text-align:center}.di-text-left{text-align:left}.di-text-right{text-align:right}.di-text-primary{color:var(--color-text-primary)}.di-text-secondary{color:var(--color-text-secondary)}.di-text-muted{color:var(--color-text-muted)}.di-bg-page{background-color:var(--color-background-page)}.di-bg-surface{background-color:var(--color-background-surface)}.di-prose{--font-family-display: var(--font-family-display-documentation)}.di-prose h1,.di-prose h2,.di-prose h3,.di-prose h4,.di-prose h5,.di-prose h6{font-weight:var(--font-weight-semibold)}.di-numeric-display{font-family:var(--font-family-display-editorial);font-weight:var(--font-weight-light);font-feature-settings:"tnum","lnum"}.sr-only{position:absolute !important;width:1px !important;height:1px !important;padding:0 !important;margin:-1px !important;overflow:hidden !important;clip:rect(0, 0, 0, 0) !important;white-space:nowrap !important;border:0 !important}*:focus{outline:2px solid var(--color-border-focus) !important;outline-offset:2px !important;border-radius:var(--radius-sm) !important}.di-button,button,[role=button],a{min-height:44px;min-width:44px;display:inline-flex;align-items:center;justify-content:center}@media(prefers-reduced-motion: reduce){*,*::before,*::after{animation-duration:.01ms !important;animation-iteration-count:1 !important;transition-duration:.01ms !important;scroll-behavior:auto !important}.di-card:hover,.di-button:hover,.di-button:focus,a:hover,button:hover,[role=button]:hover{transform:none !important}[data-parallax],[data-scroll-effect]{transform:none !important}}@media(prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}@media(prefers-contrast: high){:root{--color-brand-primary: #000000;--color-brand-accent: #0000FF;--color-text-primary: #000000;--color-text-inverse: #FFFFFF;--color-background-page: #FFFFFF;--color-background-surface: #F0F0F0;--color-border-default: #000000;--color-border-focus: #FF0000}}
+:root{--color-palette-ink-50: #f5f5f4;--color-palette-ink-100: #e7e5e4;--color-palette-ink-200: #d6d3d1;--color-palette-ink-300: #a8a29e;--color-palette-ink-400: #78716c;--color-palette-ink-500: #57534e;--color-palette-ink-600: #44403c;--color-palette-ink-700: #292524;--color-palette-ink-800: #1c1917;--color-palette-ink-900: #0c0a09;--color-palette-stone-50: #f7f7f6;--color-palette-stone-100: #ededeb;--color-palette-stone-200: #dcdcda;--color-palette-stone-300: #c1c1bf;--color-palette-stone-400: #a0a0a0;--color-palette-stone-500: #7c7c7c;--color-palette-stone-600: #5e5e5c;--color-palette-stone-700: #424240;--color-palette-stone-800: #292927;--color-palette-stone-900: #14140f;--color-palette-forest-50: #f0f1ed;--color-palette-forest-100: #dde0d4;--color-palette-forest-200: #bdc4ad;--color-palette-forest-300: #98a384;--color-palette-forest-400: #7e8a6b;--color-palette-forest-500: #5e6749;--color-palette-forest-600: #4d5640;--color-palette-forest-700: #434739;--color-palette-forest-800: #363a2e;--color-palette-forest-900: #1f2218;--color-palette-paper-50: #fefdfb;--color-palette-paper-100: #fdf9f2;--color-palette-paper-200: #faf2e3;--color-palette-paper-300: #f5e8cf;--color-palette-paper-400: #edd9b3;--color-palette-paper-500: #e0c088;--color-palette-copper-50: #fdf4ee;--color-palette-copper-100: #fbe5d1;--color-palette-copper-200: #f6c79c;--color-palette-copper-300: #f0a467;--color-palette-copper-400: #ea8441;--color-palette-copper-500: #d46820;--color-palette-copper-600: #b55017;--color-palette-copper-700: #913d15;--color-palette-copper-800: #753318;--color-palette-copper-900: #612b16;--color-palette-accent-50: #f0f8fc;--color-palette-accent-300: #3498DB;--color-palette-accent-400: #2980B9;--color-palette-accent-500: #1f618d;--color-palette-accent-600: #154d6f;--color-palette-accent-700: #0f3a52;--color-palette-presentation-blue-50: #f0f8fc;--color-palette-presentation-blue-500: #3498DB;--color-palette-presentation-blue-600: #2980B9;--color-palette-presentation-blue-700: #1f618d;--color-functional-success: #27AE60;--color-functional-warning: #F39C12;--color-functional-error: #E74C3C;--color-functional-info: #3498DB;--transition-quick: 0.15s ease;--transition-standard: 0.25s ease-in-out;--transition-smooth: 0.35s ease;--transition-logo: 0.3s;--font-family-sans: Noto Sans, Fira Sans, system-ui, sans-serif;--font-family-mono: JetBrains Mono, SF Mono, Monaco, Inconsolata, monospace;--font-family-display: var(--font-family-display-editorial);--font-family-display-editorial: Josefin Sans, system-ui, sans-serif;--font-family-display-documentation: Noto Sans, system-ui, sans-serif;--font-family-brand: Futura, system-ui, sans-serif;--font-family-math: Noto Sans Math, Noto Sans, system-ui, sans-serif;--font-size-micro: 0.75rem;--font-size-small: 0.875rem;--font-size-base: 1rem;--font-size-readable: 1.125rem;--font-size-emphasis: 1.25rem;--font-size-heading-small: 1.5rem;--font-size-heading-medium: 1.875rem;--font-size-heading-large: 2.25rem;--font-size-heading-xl: 3rem;--font-weight-extralight: 200;--font-weight-light: 300;--font-weight-normal: 400;--font-weight-medium: 500;--font-weight-semibold: 600;--font-weight-bold: 700;--font-weight-heading-h1: var(--font-weight-medium);--font-weight-heading-h2: var(--font-weight-medium);--font-weight-heading-h3: var(--font-weight-normal);--font-weight-heading-h4: var(--font-weight-light);--font-weight-heading-h5: var(--font-weight-light);--font-weight-heading-h6: var(--font-weight-light);--font-weight-heading-subtitle: var(--font-weight-semibold);--font-style-normal: normal;--font-style-italic: italic;--font-style-oblique: oblique;--font-lineHeight-tight: 1.25;--font-lineHeight-normal: 1.5;--font-lineHeight-relaxed: 1.625;--font-feature-settings-display: "lnum";--font-feature-settings-body: "normal";--spacing-xs: 0.25rem;--spacing-sm: 0.5rem;--spacing-md: 1rem;--spacing-lg: 1.5rem;--spacing-xl: 2rem;--spacing-2xl: 3rem;--spacing-3xl: 4rem;--radius-sm: 0.25rem;--radius-md: 0.5rem;--radius-lg: 0.75rem;--radius-xl: 1rem;--radius-full: 9999px;--shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);--shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1);--shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1);--shadow-xl: 0 20px 25px -5px rgb(0 0 0 / 0.1)}:root,[data-bs-theme=light]{--color-surface-page: #ededeb;--color-surface-page: color(display-p3 0.9294 0.9294 0.9223);--color-surface-page-scrolled: #ededeb;--color-surface-page-scrolled: color(display-p3 0.9294 0.9294 0.9223);--color-surface-elevated: #f7f7f6;--color-surface-elevated: color(display-p3 0.9686 0.9686 0.9651);--color-surface-sunken: #faf2e3;--color-surface-sunken: color(display-p3 0.9749 0.9501 0.8963);--color-surface-navbar: #ededeb;--color-surface-navbar: color(display-p3 0.9294 0.9294 0.9223);--color-surface-navbar-scrolled: #ededeb;--color-surface-navbar-scrolled: color(display-p3 0.9294 0.9294 0.9223);--color-surface-code: #faf2e3;--color-surface-code: color(display-p3 0.9749 0.9501 0.8963);--color-border-subtle: rgba(12, 10, 9, 0.45);--color-border-subtle: color(display-p3 0.0457 0.0395 0.0358 / 0.45);--color-border-moderate: rgba(12, 10, 9, 0.60);--color-border-moderate: color(display-p3 0.0457 0.0395 0.0358 / 0.60);--color-border-strong: rgba(12, 10, 9, 0.75);--color-border-strong: color(display-p3 0.0457 0.0395 0.0358 / 0.75);--color-border-card: rgba(12, 10, 9, 0.60);--color-border-card: color(display-p3 0.0457 0.0395 0.0358 / 0.60);--color-border-code: #d6d3d1;--color-border-code: color(display-p3 0.8371 0.8278 0.8205);--color-content-primary: #14140f;--color-content-primary: color(display-p3 0.0784 0.0784 0.0608);--color-content-secondary: #6a6a6a;--color-content-secondary: color(display-p3 0.4157 0.4157 0.4157);--color-content-muted: #706964;--color-content-muted: color(display-p3 0.4345 0.4127 0.3945);--color-content-inverse: #fdf9f2;--color-content-inverse: color(display-p3 0.9894 0.977 0.9518);--color-interactive-primary: #434739;--color-interactive-primary: color(display-p3 0.2656 0.2779 0.2287);--color-interactive-hover: #363a2e;--color-interactive-hover: color(display-p3 0.2146 0.2269 0.1848);--color-interactive-accent: #1f618d;--color-interactive-accent: color(display-p3 0.198 0.375 0.5385);--color-interactive-focus: #434739;--color-interactive-focus: color(display-p3 0.2656 0.2779 0.2287);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #b87333;--color-vertical-accent-dissertation: color(display-p3 0.7242 0.4389 0.1259);--color-vertical-accent-rpkg: #3b82f6;--color-vertical-accent-rpkg: color(display-p3 0.3047 0.5035 0.9338);--color-vertical-accent-SGPc: #5a6310;--color-vertical-accent-SGPc: color(display-p3 0.3595 0.3871 0.1309);--color-brand-mark-red: #cc0000;--color-brand-mark-red: color(display-p3 0.7331 0.1519 0.1019);--contrast-high: rgb(20, 20, 16);--contrast-readable: rgb(20, 20, 16);--contrast-medium: #7c7c7c;--contrast-subtle: #7c7c7c;--shadow-subtle: 0 1px 2px 0 rgb(20 20 16 / 0.05);--shadow-moderate: 0 4px 6px -1px rgb(20 20 16 / 0.1);--shadow-prominent: 0 10px 15px -3px rgb(20 20 16 / 0.1);--border-subtle: rgba(20, 20, 16, 0.47);--border-moderate: rgba(20, 20, 16, 0.63);--border-focus: #3498DB;--navigation-hover-background: rgba(20, 20, 16, 0.05);--navigation-active-background: rgba(20, 20, 16, 0.1)}[data-bs-theme=dark]{--color-surface-page: #141410;--color-surface-page: color(display-p3 0.0784 0.0784 0.0643);--color-surface-page-scrolled: #141410;--color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-elevated: #1c1917;--color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);--color-surface-sunken: #0c0a09;--color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);--color-surface-navbar: #141410;--color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);--color-surface-navbar-scrolled: #141410;--color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-code: #1c1917;--color-surface-code: color(display-p3 0.1078 0.0985 0.0911);--color-border-subtle: rgba(253, 249, 242, 0.45);--color-border-subtle: color(display-p3 0.9894 0.977 0.9518 / 0.45);--color-border-moderate: rgba(253, 249, 242, 0.60);--color-border-moderate: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-strong: rgba(253, 249, 242, 0.75);--color-border-strong: color(display-p3 0.9894 0.977 0.9518 / 0.75);--color-border-card: rgba(253, 249, 242, 0.60);--color-border-card: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-code: #292524;--color-border-code: color(display-p3 0.1581 0.1456 0.1418);--color-content-primary: #fdf9f2;--color-content-primary: color(display-p3 0.9894 0.977 0.9518);--color-content-secondary: #a8a29e;--color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);--color-content-muted: #89827d;--color-content-muted: color(display-p3 0.5325 0.5107 0.4925);--color-content-inverse: #0c0a09;--color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);--color-interactive-primary: #98a384;--color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);--color-interactive-hover: #7e8a6b;--color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);--color-interactive-accent: #3498db;--color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);--color-interactive-focus: #98a384;--color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #ce8e5c;--color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);--color-vertical-accent-rpkg: #60a5fa;--color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);--color-vertical-accent-SGPc: #b2bf22;--color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);--color-brand-mark-red: #ff0000;--color-brand-mark-red: color(display-p3 1 0 0);--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.47);--border-moderate: rgba(237, 237, 235, 0.63);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}@media(prefers-color-scheme: dark){:root:where(:not([data-bs-theme=light])){--color-surface-page: #141410;--color-surface-page: color(display-p3 0.0784 0.0784 0.0643);--color-surface-page-scrolled: #141410;--color-surface-page-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-elevated: #1c1917;--color-surface-elevated: color(display-p3 0.1078 0.0985 0.0911);--color-surface-sunken: #0c0a09;--color-surface-sunken: color(display-p3 0.0457 0.0395 0.0358);--color-surface-navbar: #141410;--color-surface-navbar: color(display-p3 0.0784 0.0784 0.0643);--color-surface-navbar-scrolled: #141410;--color-surface-navbar-scrolled: color(display-p3 0.0784 0.0784 0.0643);--color-surface-code: #1c1917;--color-surface-code: color(display-p3 0.1078 0.0985 0.0911);--color-border-subtle: rgba(253, 249, 242, 0.45);--color-border-subtle: color(display-p3 0.9894 0.977 0.9518 / 0.45);--color-border-moderate: rgba(253, 249, 242, 0.60);--color-border-moderate: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-strong: rgba(253, 249, 242, 0.75);--color-border-strong: color(display-p3 0.9894 0.977 0.9518 / 0.75);--color-border-card: rgba(253, 249, 242, 0.60);--color-border-card: color(display-p3 0.9894 0.977 0.9518 / 0.60);--color-border-code: #292524;--color-border-code: color(display-p3 0.1581 0.1456 0.1418);--color-content-primary: #fdf9f2;--color-content-primary: color(display-p3 0.9894 0.977 0.9518);--color-content-secondary: #a8a29e;--color-content-secondary: color(display-p3 0.6547 0.6361 0.6215);--color-content-muted: #89827d;--color-content-muted: color(display-p3 0.5325 0.5107 0.4925);--color-content-inverse: #0c0a09;--color-content-inverse: color(display-p3 0.0457 0.0395 0.0358);--color-interactive-primary: #98a384;--color-interactive-primary: color(display-p3 0.604 0.6378 0.5291);--color-interactive-hover: #7e8a6b;--color-interactive-hover: color(display-p3 0.5029 0.5397 0.4313);--color-interactive-accent: #3498db;--color-interactive-accent: color(display-p3 0.3208 0.588 0.8369);--color-interactive-focus: #98a384;--color-interactive-focus: color(display-p3 0.604 0.6378 0.5291);--color-presentation-accent: #3498db;--color-presentation-accent: color(display-p3 0.3208 0.588 0.8369);--color-presentation-accent-hover: #2980b9;--color-presentation-accent-hover: color(display-p3 0.2638 0.495 0.7068);--color-vertical-accent-dissertation: #ce8e5c;--color-vertical-accent-dissertation: color(display-p3 0.8089 0.5486 0.3177);--color-vertical-accent-rpkg: #60a5fa;--color-vertical-accent-rpkg: color(display-p3 0.4405 0.6403 0.9545);--color-vertical-accent-SGPc: #b2bf22;--color-vertical-accent-SGPc: color(display-p3 0.7074 0.7474 0.2714);--color-brand-mark-red: #ff0000;--color-brand-mark-red: color(display-p3 1 0 0);--contrast-high: rgb(237, 237, 235);--contrast-readable: rgb(237, 237, 235);--contrast-medium: #83838f;--contrast-subtle: #83838f;--shadow-subtle: 0 1px 2px 0 rgb(237 237 235 / 0.03);--shadow-moderate: 0 4px 6px -1px rgb(237 237 235 / 0.05);--shadow-prominent: 0 10px 15px -3px rgb(237 237 235 / 0.4);--border-subtle: rgba(237, 237, 235, 0.47);--border-moderate: rgba(237, 237, 235, 0.63);--border-focus: #4FC3F7;--navigation-hover-background: rgba(237, 237, 235, 0.05);--navigation-active-background: rgba(237, 237, 235, 0.1)}}*{box-sizing:border-box}html{font-family:var(--font-family-sans);font-size:var(--font-size-base);line-height:var(--font-lineHeight-normal);color:var(--theme-text-primary);background-color:var(--theme-body-bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}h1,h2,h3,h4,h5,h6{font-family:var(--font-family-display) !important;font-feature-settings:var(--font-feature-settings-display)}h1,h2,h3,h4,h5,h6{line-height:var(--font-lineHeight-tight);margin-top:0;margin-bottom:var(--spacing-md);color:var(--color-text-primary)}h1{font-size:var(--font-size-4xl);font-weight:var(--font-weight-heading-h1);margin-bottom:var(--spacing-lg)}h2{font-size:var(--font-size-3xl);font-weight:var(--font-weight-heading-h2);margin-bottom:var(--spacing-lg)}h3{font-size:var(--font-size-2xl);font-weight:var(--font-weight-heading-h3)}h4{font-size:var(--font-size-xl);font-weight:var(--font-weight-heading-h4)}h5{font-size:var(--font-size-lg);font-weight:var(--font-weight-heading-h5)}h6{font-size:var(--font-size-base);font-weight:var(--font-weight-heading-h6)}p{margin-top:0;margin-bottom:var(--spacing-md);line-height:var(--font-lineHeight-normal)}a{color:var(--color-brand-accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px;transition:color .2s ease}a:hover{color:var(--color-brand-primary);text-decoration-thickness:2px}a:focus{outline:2px solid var(--color-border-focus);outline-offset:2px;border-radius:var(--radius-sm)}code{font-family:var(--font-family-mono);font-size:.9em;padding:.1em .3em;background-color:var(--color-background-surface);border-radius:var(--radius-sm);color:var(--color-brand-accent)}pre{font-family:var(--font-family-mono);font-size:.9em;padding:var(--spacing-md);background-color:var(--color-background-surface);border:1px solid var(--color-border-default);border-radius:var(--radius-md);overflow-x:auto;margin-bottom:var(--spacing-md)}pre code{background:rgba(0,0,0,0);padding:0;color:inherit}.svg-container{display:inline-flex;align-items:center;justify-content:center;transition:transform var(--logo-transition-duration) ease}svg{width:100%;height:auto;max-width:100%;display:block}.navbar-logo{background-size:contain;background-repeat:no-repeat;max-height:36px;transition:max-height var(--logo-transition-duration) ease-in-out,transform var(--logo-transition-duration) ease-in-out,opacity var(--logo-transition-duration) ease-in-out;will-change:max-height,transform,opacity}.navbar-logo.shrink{max-height:28px}.navbar-logo.transitioning{opacity:.8;transition:opacity .15s ease-in-out}.navbar-brand-logo{display:inline-flex;align-items:center}.navbar-brand-logo svg{height:36px;width:auto;transition:all var(--logo-transition-duration) ease}.hex-logo-container{position:relative;display:inline-block;margin:0 auto}.hex-logo-container svg{width:280px;height:auto;transition:all var(--logo-transition-duration) ease}@media(max-width: 768px){.hex-logo-container svg{width:200px}}@media(prefers-reduced-motion: no-preference){.landing-logo{animation:gentle-float 6s ease-in-out infinite}.landing-logo:hover{animation-play-state:paused;transform:scale(1.05)}}@keyframes gentle-float{0%,100%{transform:translateY(0px)}50%{transform:translateY(-10px)}}.footer-quarto-logo{display:inline-flex;align-items:center}.footer-quarto-logo svg{height:24px;width:auto;transition:all var(--logo-transition-duration) ease}.footer-quarto-logo path{transition:fill var(--logo-transition-duration) ease}.footer-quarto-logo:hover path,a:hover .footer-quarto-logo path{fill:var(--logo-hover-fill)}.social-icons{display:flex;gap:1rem;align-items:center}.social-icons a{display:inline-flex;align-items:center;transition:transform var(--logo-transition-duration) ease}.social-icons a:hover{transform:translateY(-2px)}.social-icons svg,.social-icons iconify-icon{width:24px;height:24px;transition:all var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"],.navbar-nav .nav-link[href*="bsky.app"]{display:inline-flex;align-items:center}.navbar-nav .nav-link[href*="github.com"] iconify-icon,.navbar-nav .nav-link[href*="bsky.app"] iconify-icon{font-size:1.2rem;transition:color var(--logo-transition-duration) ease}.navbar-nav .nav-link[href*="github.com"]:hover iconify-icon,.navbar-nav .nav-link[href*="bsky.app"]:hover iconify-icon{color:var(--theme-text-hover)}@media(prefers-reduced-motion: no-preference){.svg-pulse{animation:svg-pulse 2s ease-in-out infinite}.svg-rotate{animation:svg-rotate 20s linear infinite}}@keyframes svg-pulse{0%,100%{opacity:1}50%{opacity:.7}}@keyframes svg-rotate{from{transform:rotate(0deg)}to{transform:rotate(360deg)}}.svg-scale-hover{transition:transform var(--logo-transition-duration) ease}.svg-scale-hover:hover{transform:scale(1.1)}.theme-svg path,.theme-svg circle,.theme-svg rect,.theme-svg polygon{fill:var(--logo-default-fill);transition:fill var(--logo-transition-duration) ease}.theme-svg.svg-hover path,.theme-svg.svg-hover circle,.theme-svg.svg-hover rect,.theme-svg.svg-hover polygon,.theme-svg:hover path,.theme-svg:hover circle,.theme-svg:hover rect,.theme-svg:hover polygon{fill:var(--logo-hover-fill);stroke:var(--logo-hover-stroke, transparent)}.theme-svg.logo-navbar path,.theme-svg.logo-navbar circle,.theme-svg.logo-navbar rect,.theme-svg.logo-navbar polygon{fill:var(--logo-default-fill)}.theme-svg.logo-hex path,.theme-svg.logo-hex circle,.theme-svg.logo-hex rect,.theme-svg.logo-hex polygon{fill:var(--logo-default-fill)}[data-bs-theme=light] .theme-adaptive-svg{filter:none}[data-bs-theme=dark] .theme-adaptive-svg{filter:invert(1) hue-rotate(180deg)}.svg-loading{position:relative}.svg-loading::after{content:"";position:absolute;top:50%;left:50%;width:20px;height:20px;margin:-10px 0 0 -10px;border:2px solid var(--theme-text-secondary);border-top-color:rgba(0,0,0,0);border-radius:50%}.svg-loading svg{opacity:.3}@media(prefers-reduced-motion: no-preference){.svg-loading::after{animation:svg-spinner .8s linear infinite}}@keyframes svg-spinner{to{transform:rotate(360deg)}}.svg-aspect-ratio{position:relative;width:100%}.svg-aspect-ratio::before{content:"";display:block;padding-bottom:100%}.svg-aspect-ratio svg{position:absolute;top:0;left:0;width:100%;height:100%}.svg-xs{max-width:16px}.svg-sm{max-width:24px}.svg-md{max-width:32px}.svg-lg{max-width:48px}.svg-xl{max-width:64px}.svg-decorative{aria-hidden:true}.svg-icon[role=img]{pointer-events:none}.svg-interactive{cursor:pointer;transition:all var(--logo-transition-duration) ease}.svg-interactive:focus{outline:2px solid var(--theme-focus-color);outline-offset:2px}.svg-interactive:focus:not(:focus-visible){outline:none}.svg-accelerated{transform:translateZ(0);backface-visibility:hidden;perspective:1000px}@media(prefers-reduced-motion: reduce){.svg-container,.navbar-logo,.landing-logo,.svg-pulse,.svg-rotate,.svg-scale-hover{animation:none !important;transition:none !important}}.di-callout,.proof,.theorem,.definition,.proposition{padding:var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-md, 1rem) var(--spacing-lg, 1.5rem);margin:var(--spacing-lg, 1.5rem) 0;border-radius:var(--radius-sm, 4px);background-color:var(--color-surface-sunken);border-left:4px solid var(--color-interactive-primary)}.di-callout .di-callout-title,.di-callout .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout .theorem-title,.proof .theorem-title,.di-callout .definition-title,.proof .definition-title,.di-callout .proposition-title,.proof .proposition-title,.theorem .di-callout-title,.theorem .proof-title,.theorem .theorem-title,.theorem .definition-title,.theorem .proposition-title,.definition .di-callout-title,.definition .proof-title,.definition .theorem-title,.definition .definition-title,.definition .proposition-title,.proposition .di-callout-title,.proposition .proof-title,.proposition .theorem-title,.proposition .definition-title,.proposition .proposition-title{font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);margin-bottom:.5rem;color:var(--color-content-primary)}.di-callout>:last-child,.proof>:last-child,.theorem>:last-child,.definition>:last-child,.proposition>:last-child{margin-bottom:0}.di-callout-insight{border-left-color:var(--color-interactive-accent)}.di-callout-insight .di-callout-title,.di-callout-insight .proof-title,.di-callout-insight .theorem-title,.di-callout-insight .definition-title,.di-callout-insight .proposition-title{color:var(--color-interactive-accent)}.di-callout-tip{border-left-color:var(--color-presentation-accent)}.di-callout-tip .di-callout-title,.di-callout-tip .proof-title,.di-callout-tip .theorem-title,.di-callout-tip .definition-title,.di-callout-tip .proposition-title{color:var(--color-presentation-accent)}.di-callout-proof,.proof{margin:var(--spacing-md, 1rem) 0}.di-callout-proof .di-callout-title,.di-callout-proof .proof-title,.proof .di-callout-title,.proof .proof-title,.di-callout-proof .theorem-title,.proof .theorem-title,.di-callout-proof .definition-title,.proof .definition-title,.di-callout-proof .proposition-title,.proof .proposition-title{font-style:italic;font-weight:var(--font-weight-medium);color:var(--color-content-primary)}.di-callout-proof::after,.proof::after{content:"□";float:right;color:var(--color-content-secondary)}.di-callout-rich{padding:0;margin:.6em 0 .8em 0;border-radius:6px;border-left-width:4px;border-style:solid;overflow:hidden}.di-callout-rich .di-callout-title,.di-callout-rich .proof-title,.di-callout-rich .theorem-title,.di-callout-rich .definition-title,.di-callout-rich .proposition-title{margin:0;padding:.35em .75em;font-family:var(--font-family-display);font-weight:var(--font-weight-semibold);border-bottom:1px solid currentColor}.di-callout-rich>:not(.di-callout-title):not(.proof-title):not(.theorem-title):not(.definition-title):not(.proposition-title){padding-left:.9em;padding-right:.9em}.di-callout-rich>:last-child{padding-bottom:.55em}.di-callout-rich.di-callout-theorem,.di-callout-rich.theorem,.di-callout-rich.definition,.di-callout-rich.proposition{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-primary) 10%, transparent), color-mix(in srgb, var(--color-interactive-primary) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-primary) 30%, transparent);border-left-color:var(--color-interactive-primary)}.di-callout-rich.di-callout-theorem .di-callout-title,.di-callout-rich.di-callout-theorem .proof-title,.di-callout-rich.di-callout-theorem .theorem-title,.di-callout-rich.di-callout-theorem .definition-title,.di-callout-rich.di-callout-theorem .proposition-title,.di-callout-rich.theorem .di-callout-title,.di-callout-rich.theorem .proof-title,.di-callout-rich.theorem .theorem-title,.di-callout-rich.theorem .definition-title,.di-callout-rich.theorem .proposition-title,.di-callout-rich.definition .di-callout-title,.di-callout-rich.definition .proof-title,.di-callout-rich.definition .theorem-title,.di-callout-rich.definition .definition-title,.di-callout-rich.definition .proposition-title,.di-callout-rich.proposition .di-callout-title,.di-callout-rich.proposition .proof-title,.di-callout-rich.proposition .theorem-title,.di-callout-rich.proposition .definition-title,.di-callout-rich.proposition .proposition-title{background:color-mix(in srgb, var(--color-interactive-primary) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-primary) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-primary) 28%, transparent)}.di-callout-rich.di-callout-insight{background:linear-gradient(135deg, color-mix(in srgb, var(--color-interactive-accent) 10%, transparent), color-mix(in srgb, var(--color-interactive-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-interactive-accent) 30%, transparent);border-left-color:var(--color-interactive-accent)}.di-callout-rich.di-callout-insight .di-callout-title,.di-callout-rich.di-callout-insight .proof-title,.di-callout-rich.di-callout-insight .theorem-title,.di-callout-rich.di-callout-insight .definition-title,.di-callout-rich.di-callout-insight .proposition-title{background:color-mix(in srgb, var(--color-interactive-accent) 18%, transparent);color:color-mix(in srgb, var(--color-interactive-accent) 80%, var(--color-content-primary));border-bottom-color:color-mix(in srgb, var(--color-interactive-accent) 28%, transparent)}.di-callout-rich.di-callout-tip{background:linear-gradient(135deg, color-mix(in srgb, var(--color-presentation-accent) 8%, transparent), color-mix(in srgb, var(--color-presentation-accent) 3%, transparent));border-color:color-mix(in srgb, var(--color-presentation-accent) 20%, transparent);border-left-color:var(--color-presentation-accent)}.di-callout-rich.di-callout-tip .di-callout-title,.di-callout-rich.di-callout-tip .proof-title,.di-callout-rich.di-callout-tip .theorem-title,.di-callout-rich.di-callout-tip .definition-title,.di-callout-rich.di-callout-tip .proposition-title{background:color-mix(in srgb, var(--color-presentation-accent) 15%, transparent);color:var(--color-presentation-accent-hover);border-bottom-color:color-mix(in srgb, var(--color-presentation-accent) 25%, transparent)}.di-figure-box{border:1px solid var(--color-border-moderate);padding:4px;background-color:var(--color-surface-sunken);display:inline-block;cursor:pointer;transition:transform .3s cubic-bezier(0.4, 0, 0.2, 1),box-shadow .3s cubic-bezier(0.4, 0, 0.2, 1),border-color .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-box:hover{transform:translateY(-2px);box-shadow:var(--shadow-prominent, 0 4px 12px rgba(0, 0, 0, 0.15));border-color:var(--color-interactive-primary)}.di-figure-box:active{transform:translateY(-1px);box-shadow:var(--shadow-moderate, 0 2px 8px rgba(0, 0, 0, 0.12))}.di-figure-box:focus-visible{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-figure-modal{display:none;position:fixed;inset:0;z-index:9999;background-color:color-mix(in srgb, var(--color-content-primary) 92%, transparent);backdrop-filter:blur(4px);-webkit-backdrop-filter:blur(4px)}.di-figure-modal.is-open{display:flex;align-items:center;justify-content:center;animation:di-figure-modal-fade-in .25s ease}.di-figure-modal .di-figure-modal-content{position:relative;max-width:95vw;max-height:95vh;animation:di-figure-modal-zoom-in .3s cubic-bezier(0.4, 0, 0.2, 1)}.di-figure-modal .di-figure-modal-content img{width:auto;height:auto;max-width:95vw;max-height:95vh;object-fit:contain;border:2px solid var(--color-interactive-primary);background-color:var(--color-surface-elevated);padding:8px;box-shadow:0 20px 60px color-mix(in srgb, var(--color-content-primary) 40%, transparent)}.di-figure-modal .di-figure-modal-close{position:absolute;top:-40px;right:0;font-size:2rem;color:var(--color-content-inverse);background:none;border:none;cursor:pointer;padding:.5rem;line-height:1;transition:transform .2s ease,color .2s ease;font-family:inherit}.di-figure-modal .di-figure-modal-close:hover{transform:scale(1.2);color:var(--color-interactive-primary)}.di-figure-modal .di-figure-modal-close:focus-visible{outline:2px solid var(--color-interactive-primary);outline-offset:4px;border-radius:var(--radius-sm, 0.25rem)}.di-figure-modal .di-figure-modal-caption{position:absolute;bottom:-60px;left:0;right:0;text-align:center;color:var(--color-content-inverse);font-size:var(--font-size-small, 0.9rem);font-style:italic;padding:0 2rem;line-height:var(--line-height-normal, 1.4)}@keyframes di-figure-modal-fade-in{from{opacity:0}to{opacity:1}}@keyframes di-figure-modal-zoom-in{from{opacity:0;transform:scale(0.9)}to{opacity:1;transform:scale(1)}}@media(prefers-reduced-motion: reduce){.di-figure-box{transition:none !important}.di-figure-box:hover,.di-figure-box:active{transform:none !important}.di-figure-modal,.di-figure-modal .di-figure-modal-content,.di-figure-modal .di-figure-modal-close{animation:none !important;transition:none !important}.di-figure-modal .di-figure-modal-close:hover{transform:none !important}}.di-card{background:var(--color-surface-elevated);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);padding:var(--spacing-component-padding);box-shadow:var(--shadow-moderate);transition:box-shadow .2s ease,transform .2s ease}.di-card:hover{box-shadow:var(--shadow-prominent);transform:translateY(-2px)}.di-card-title{margin:0;font-weight:var(--font-weight-semibold);font-size:var(--font-size-readable);color:var(--color-content-primary)}.di-button{display:inline-flex;align-items:center;justify-content:center;gap:var(--spacing-micro-tight);padding:var(--spacing-micro-normal) var(--spacing-component-padding);border:1px solid var(--color-border-subtle);border-radius:var(--radius-component);background:var(--color-surface-elevated);color:var(--color-content-primary);text-decoration:none;font-weight:var(--font-weight-medium);font-size:var(--font-size-base);cursor:pointer;transition:all var(--transition-standard);min-height:2.5rem;font-family:inherit}.di-button:hover{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary);transform:translateY(-1px);box-shadow:var(--shadow-prominent)}.di-button:focus{outline:2px solid var(--color-interactive-focus);outline-offset:2px}.di-button-primary{background:var(--color-interactive-primary);color:var(--color-content-inverse);border-color:var(--color-interactive-primary)}.di-button-primary:hover{background:var(--color-interactive-hover);border-color:var(--color-interactive-hover)}.di-button:hover{background:var(--color-brand-accent);color:var(--color-text-inverse);border-color:var(--color-brand-accent);transform:translateY(-1px);box-shadow:var(--shadow-md);text-decoration:none}.di-button:focus{outline:2px solid var(--color-border-focus);outline-offset:2px}.di-button-primary{background:var(--color-brand-primary);color:var(--color-text-inverse);border-color:var(--color-brand-primary)}.di-button-primary:hover{background:var(--color-brand-accent);border-color:var(--color-brand-accent)}.di-hex-logo{transition:max-height .25s ease-in-out,transform .25s ease-in-out;cursor:pointer;max-width:100%;height:auto}.di-hex-logo:hover{transform:scale(1.05)}@media(max-width: 768px){.di-hex-logo{width:150px}}@media(max-width: 480px){.di-hex-logo{width:120px}}.di-m-0{margin:0}.di-m-xs{margin:var(--spacing-xs)}.di-m-sm{margin:var(--spacing-sm)}.di-m-md{margin:var(--spacing-md)}.di-m-lg{margin:var(--spacing-lg)}.di-m-xl{margin:var(--spacing-xl)}.di-p-0{padding:0}.di-p-xs{padding:var(--spacing-xs)}.di-p-sm{padding:var(--spacing-sm)}.di-p-md{padding:var(--spacing-md)}.di-p-lg{padding:var(--spacing-lg)}.di-p-xl{padding:var(--spacing-xl)}.di-block{display:block}.di-inline{display:inline}.di-flex{display:flex}.di-hidden{display:none}.di-justify-center{justify-content:center}.di-items-center{align-items:center}.di-flex-col{flex-direction:column}.di-text-center{text-align:center}.di-text-left{text-align:left}.di-text-right{text-align:right}.di-text-primary{color:var(--color-text-primary)}.di-text-secondary{color:var(--color-text-secondary)}.di-text-muted{color:var(--color-text-muted)}.di-bg-page{background-color:var(--color-background-page)}.di-bg-surface{background-color:var(--color-background-surface)}.di-prose{--font-family-display: var(--font-family-display-documentation)}.di-prose h1,.di-prose h2,.di-prose h3,.di-prose h4,.di-prose h5,.di-prose h6{font-weight:var(--font-weight-semibold)}.di-numeric-display{font-family:var(--font-family-display-editorial);font-weight:var(--font-weight-light);font-feature-settings:"tnum","lnum"}.sr-only{position:absolute !important;width:1px !important;height:1px !important;padding:0 !important;margin:-1px !important;overflow:hidden !important;clip:rect(0, 0, 0, 0) !important;white-space:nowrap !important;border:0 !important}*:focus{outline:2px solid var(--color-border-focus) !important;outline-offset:2px !important;border-radius:var(--radius-sm) !important}.di-button,button,[role=button],a{min-height:44px;min-width:44px;display:inline-flex;align-items:center;justify-content:center}@media(prefers-reduced-motion: reduce){*,*::before,*::after{animation-duration:.01ms !important;animation-iteration-count:1 !important;transition-duration:.01ms !important;scroll-behavior:auto !important}.di-card:hover,.di-button:hover,.di-button:focus,a:hover,button:hover,[role=button]:hover{transform:none !important}[data-parallax],[data-scroll-effect]{transform:none !important}}@media(prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}@media(prefers-contrast: high){:root{--color-brand-primary: #000000;--color-brand-accent: #0000FF;--color-text-primary: #000000;--color-text-inverse: #FFFFFF;--color-background-page: #FFFFFF;--color-background-surface: #F0F0F0;--color-border-default: #000000;--color-border-focus: #FF0000}}

package/dist/dataviz/dataimago-dataviz.css

@@ -0,0 +1,42 @@
+/* @dataimago/css@0.1.0-alpha.18 dist/dataviz/dataimago-dataviz.css · sha256:4fb36e2401c1cd21f57d50c017ac080377c3943362a5b6c5ce2cd658080e4499 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.18 dataimago-sync */
+/* dataimago data-viz palette (Okabe-Ito). Categorical colour is never the only channel. */
+:root, [data-bs-theme="light"], body.quarto-light {
+  --color-dataviz-okabe-ito-orange: #E69F00;
+  --color-dataviz-okabe-ito-sky-blue: #56B4E9;
+  --color-dataviz-okabe-ito-bluish-green: #009E73;
+  --color-dataviz-okabe-ito-yellow: #F0E442;
+  --color-dataviz-okabe-ito-blue: #0072B2;
+  --color-dataviz-okabe-ito-vermillion: #D55E00;
+  --color-dataviz-okabe-ito-reddish-purple: #CC79A7;
+  --color-dataviz-okabe-ito-black: #000000;
+  --color-dataviz-categorical-1: #E69F00;
+  --color-dataviz-categorical-2: #56B4E9;
+  --color-dataviz-categorical-3: #009E73;
+  --color-dataviz-categorical-4: #F0E442;
+  --color-dataviz-categorical-5: #0072B2;
+  --color-dataviz-categorical-6: #D55E00;
+  --color-dataviz-categorical-7: #CC79A7;
+  --color-dataviz-categorical-8: #000000;
+  --color-dataviz-uncertainty-outer: #D6D6D6;
+  --color-dataviz-uncertainty-union: #9E9E9E;
+  --color-dataviz-uncertainty-inner: #333333;
+}
+
+[data-bs-theme="dark"],
+body.quarto-dark {
+  --color-dataviz-okabe-ito-black: #FDF9F2;
+  --color-dataviz-categorical-8: #FDF9F2;
+  --color-dataviz-uncertainty-outer: #333333;
+  --color-dataviz-uncertainty-union: #6B6B6B;
+  --color-dataviz-uncertainty-inner: #D6D6D6;
+}
+
+@media (prefers-color-scheme: dark) {
+  :root:where(:not([data-bs-theme="light"])) {
+    --color-dataviz-okabe-ito-black: #FDF9F2;
+    --color-dataviz-categorical-8: #FDF9F2;
+    --color-dataviz-uncertainty-outer: #333333;
+    --color-dataviz-uncertainty-union: #6B6B6B;
+    --color-dataviz-uncertainty-inner: #D6D6D6;
+  }
+}

package/dist/dataviz/dataimago-dataviz.json

@@ -0,0 +1,42 @@
+{
+  "_meta": {
+    "package": "@dataimago/css",
+    "version": "0.1.0-alpha.18",
+    "path": "dist/dataviz/dataimago-dataviz.json",
+    "sha256": "28160e151fca196be3e36790d6b67db232d8df060e8d9556b29dfee50f4b278b",
+    "note": "generated from tokens; do not edit",
+    "restore": "npx -p @dataimago/css@0.1.0-alpha.18 dataimago-sync"
+  },
+  "okabe-ito": {
+    "orange": "#E69F00",
+    "sky-blue": "#56B4E9",
+    "bluish-green": "#009E73",
+    "yellow": "#F0E442",
+    "blue": "#0072B2",
+    "vermillion": "#D55E00",
+    "reddish-purple": "#CC79A7",
+    "black": "#000000"
+  },
+  "categorical": [
+    "#E69F00",
+    "#56B4E9",
+    "#009E73",
+    "#F0E442",
+    "#0072B2",
+    "#D55E00",
+    "#CC79A7",
+    "#000000"
+  ],
+  "uncertainty": {
+    "outer": "#D6D6D6",
+    "union": "#9E9E9E",
+    "inner": "#333333"
+  },
+  "dark": {
+    "okabe-ito.black": "#FDF9F2",
+    "categorical.8": "#FDF9F2",
+    "uncertainty.outer": "#333333",
+    "uncertainty.union": "#6B6B6B",
+    "uncertainty.inner": "#D6D6D6"
+  }
+}