@dataimago/css 0.1.0-alpha.20 → 0.1.0-alpha.22

package/dist/bin/dataimago-sync.mjs

@@ -27,6 +27,10 @@ import path from 'node:path';
 import { fileURLToPath } from 'node:url';
 
 const LOCAL = 'local-unreleased';
+// Extensions whose files carry a stamp (mirrors kindOf in tools/formats/build-outputs.mjs; the
+// self-test pins the two together). Everything else is binary: copied byte for byte, never stamped.
+const TEXT_EXT = ['.scss', '.css', '.sty', '.tex', '.r', '.json', '.md', '.qmd', '.yml', '.js', '.lua', '.template'];
+const isText = (distPath) => TEXT_EXT.includes(path.extname(distPath.replace(/\.template$/, '')).toLowerCase());
 
 class ConfigError extends Error {}
 
@@ -46,6 +50,11 @@ const USAGE = `dataimago-sync — copy a pinned @dataimago release's design file
   dataimago-sync --config <file>     read design.json from <file>
   dataimago-sync --help              this text
 
+An outputs key ending in "/" copies every file the release lists under it into a destination
+that also ends in "/". That directory is owned by the output; files in it the release does not
+list are reported (--check fails on them) but never deleted. Binary files (fonts, licence text)
+are copied byte for byte and carry no stamp.
+
 Run it from the pinned release: npx -p @dataimago/css@<version> dataimago-sync`;
 
 const FLAGS = new Set(['--check', '--help', '--self-test']);
@@ -117,60 +126,158 @@ function plan(args) {
 
   const manifest = readJson(path.join(pkgRoot, 'dist', 'outputs.json'), 'outputs.json (is the package built?)');
   const available = Object.keys(manifest.files ?? {});
+  const dirKeys = [...new Set(available.flatMap((k) => k.split('/').slice(0, -1).map((_, i, parts) => parts.slice(0, i + 1).join('/') + '/')))].sort();
+  const realRoot = fs.realpathSync(consumerRoot);
   const steps = [];
+  const dirs = [];
   const problems = [];
+
+  /** Resolve a consumer-relative spec to an absolute path inside the root, or record why not. */
+  const inside = (key, destSpec, asDir) => {
+    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)}`);
+      return null;
+    }
+    const abs = path.resolve(consumerRoot, destSpec);
+    const rel = path.relative(consumerRoot, abs);
+    if (rel.startsWith('..') || path.isAbsolute(rel)) {
+      problems.push(`destination for "${key}" escapes the consumer root: ${destSpec}`);
+      return null;
+    }
+    if (rel === '' && asDir) {
+      problems.push(`destination for "${key}" is the consumer root; give a sub-directory`);
+      return null;
+    }
+    return { abs, rel };
+  };
+
   for (const [key, destSpec] of Object.entries(design.outputs)) {
+    if (key.endsWith('/')) {
+      const members = available.filter((k) => k.startsWith(key));
+      if (!members.length) {
+        problems.push(`${design.package} does not ship "${key}". Available outputs:\n    ${[...dirKeys, ...available].join('\n    ')}`);
+        continue;
+      }
+      if (typeof destSpec !== 'string' || !destSpec.endsWith('/')) {
+        problems.push(`destination for directory output "${key}" must end in "/", got ${JSON.stringify(destSpec)}`);
+        continue;
+      }
+      const d = inside(key, destSpec, true);
+      if (!d) continue;
+      dirs.push({ key, dest: d.abs, rel: d.rel });
+      for (const m of members) {
+        const dest = path.join(d.abs, m.slice(key.length));
+        steps.push({ key: m, src: path.join(pkgRoot, 'dist', m), dest, rel: path.relative(consumerRoot, dest), dirKey: key });
+      }
+      continue;
+    }
     if (!available.includes(key)) {
-      problems.push(`${design.package} does not ship "${key}". Available outputs:\n    ${available.join('\n    ')}`);
+      problems.push(`${design.package} does not ship "${key}". Available outputs:\n    ${[...dirKeys, ...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())) {
+    const d = inside(key, destSpec.endsWith('/') ? path.join(destSpec, path.basename(key)) : destSpec, false);
+    if (!d) continue;
+    if (d.rel === '' || (fs.existsSync(d.abs) && fs.statSync(d.abs).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: d.abs, rel: d.rel });
+  }
+
+  const exists = (p) => { try { fs.lstatSync(p); return true; } catch { return false; } };
+  // A directory output owns its destination.
+  const within = (child, parent) => child === parent || child.startsWith(parent + path.sep);
+  for (let i = 0; i < dirs.length; i++) {
+    for (let j = i + 1; j < dirs.length; j++) {
+      if (within(dirs[i].dest, dirs[j].dest) || within(dirs[j].dest, dirs[i].dest)) {
+        problems.push(`directory outputs "${dirs[i].key}" and "${dirs[j].key}" share or nest destinations (${dirs[i].rel}, ${dirs[j].rel}); a directory owns its destination`);
+      }
     }
-    steps.push({ key, src: path.join(pkgRoot, 'dist', key), dest, rel });
+  }
+  for (const s of steps) {
+    if (s.dirKey) continue;
+    const owner = dirs.find((d) => within(s.dest, d.dest));
+    if (owner) problems.push(`"${s.key}" is mapped into ${s.rel}, which directory output "${owner.key}" owns`);
+  }
+  for (const s of steps) {
+    if (s.dirKey && exists(s.dest) && fs.statSync(s.dest).isDirectory()) {
+      problems.push(`"${s.key}" would be written to ${s.rel}, which is an existing directory`);
+    }
+    const blocked = steps.find((o) => o !== s && within(o.dest, s.dest));
+    if (blocked) problems.push(`"${s.key}" is mapped to ${s.rel}, which is a parent directory of ${blocked.rel}`);
+  }
+  const seen = new Set();
+  for (const s of steps) {
+    if (seen.has(s.dest)) problems.push(`two outputs are mapped to the same destination: ${s.rel}`);
+    seen.add(s.dest);
+  }
+
+  // Resolve symlinks: the nearest existing ancestor of every destination must stay inside the root.
+  const escapes = (dest) => {
+    let at = dest;
+    while (!exists(at)) at = path.dirname(at);
+    let real;
+    try { real = fs.realpathSync(at); } catch { return true; }
+    return !within(real, realRoot);
+  };
+  for (const target of [...dirs.map((d) => ({ key: d.key, dest: d.dest })), ...steps]) {
+    if (escapes(target.dest)) problems.push(`destination for "${target.key}" resolves outside the consumer root through a symlink`);
   }
   if (problems.length) throw new ConfigError(problems.join('\n  '));
-  return { steps, design, local };
+
+  // Files under a directory destination that the release does not list (symlinks are never followed).
+  const listed = new Set(steps.map((s) => s.dest));
+  const extras = [];
+  const walk = (dir) => {
+    let entries;
+    try { entries = fs.readdirSync(dir, { withFileTypes: true }); } catch { return; }
+    for (const e of entries) {
+      const p = path.join(dir, e.name);
+      if (e.isSymbolicLink()) extras.push(path.relative(consumerRoot, p));
+      else if (e.isDirectory()) walk(p);
+      else if (!listed.has(p)) extras.push(path.relative(consumerRoot, p));
+    }
+  };
+  for (const d of dirs) if (exists(d.dest)) walk(d.dest);
+  return { steps, design, local, extras };
 }
 
 function sync(args) {
-  const { steps, design, local } = plan(args);
+  const { steps, design, local, extras } = 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));
+    if (local && isText(key)) 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);
+    const tmp = `${dest}.dataimago-sync-tmp-${process.pid}`;
+    try {
+      fs.writeFileSync(tmp, bytes);
+      fs.renameSync(tmp, dest);
+    } catch (e) {
+      fs.rmSync(tmp, { force: true });
+      throw e;
+    }
     console.log(`  ✓ ${rel}  ← ${design.package}@${local ? `${LOCAL}(${local.sha})` : design.version} dist/${key}`);
   }
+  for (const rel of extras) console.warn(`  ! ${rel}: not in ${design.package}@${local ? `${LOCAL}(${local.sha})` : design.version}; sync never deletes, remove it`);
   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 { steps, design, extras } = plan(args.filter((a) => a !== '--check'));
   const failures = [];
-  for (const { src, dest, rel } of steps) {
+  for (const { key, 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 (isText(key) && 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 rel of extras) failures.push(`${rel}: not in ${design.package}@${design.version}; sync never deletes, remove it`);
   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`);
@@ -211,6 +318,7 @@ async function selfTest() {
   }
   const { stamp, stampJson } = await import(stampUrl);
   const assert = (await import('node:assert/strict')).default;
+  const { randomBytes } = await import('node:crypto');
   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/}.
@@ -218,6 +326,9 @@ async function selfTest() {
     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' } }),
+      'fonts/latin/fonts.css': stamp({ kind: 'css', pkg: name, version, distPath: 'fonts/latin/fonts.css', body: '@font-face { font-family: "Noto Sans"; src: url(x.woff2) format("woff2"); }\n' }),
+      'fonts/latin/x.woff2': Buffer.concat([Buffer.from([0xff, 0x00, 0xfe, 0x80]), randomBytes(28)]),
+      'fonts/latin/OFL.txt': 'SIL Open Font License 1.1\n',
     };
     fs.mkdirSync(path.join(root, 'dist', 'bin'), { recursive: true });
     fs.writeFileSync(path.join(root, 'package.json'), JSON.stringify({ name, version }));
@@ -334,6 +445,157 @@ async function selfTest() {
   assert.equal(r.status, 2);
   assert.ok(!exists('same.txt'));
 
+  // TEXT_EXT must stay inside what build-outputs' kindOf stamps, and binaries must stay outside it.
+  const { kindOf } = await import(new URL('./build-outputs.mjs', import.meta.url));
+  // True iff: an extension is in TEXT_EXT exactly when kindOf stamps it (non-binary).
+  const { KIND_BY_EXT, BINARY_EXT } = await import(new URL('./build-outputs.mjs', import.meta.url));
+  const kindFor = (ext) => kindOf(ext === '.template' ? 'x.md.template' : `x${ext}`);
+  for (const ext of TEXT_EXT) {
+    if (ext === '.template') continue; // an alias for the inner extension, not a kind of its own
+    assert.ok(ext in KIND_BY_EXT, `TEXT_EXT ${ext} maps to a stamp kind`);
+    assert.notEqual(kindFor(ext), 'binary', `kindOf stamps ${ext}`);
+  }
+  assert.ok(TEXT_EXT.includes('.template'), '.template is a text extension');
+  for (const ext of Object.keys(KIND_BY_EXT)) assert.ok(TEXT_EXT.includes(ext), `${ext} is stamped by kindOf, so TEXT_EXT must list it`);
+  for (const ext of BINARY_EXT) {
+    assert.ok(!TEXT_EXT.includes(ext), `${ext} is binary for sync`);
+    assert.equal(kindFor(ext), 'binary', `kindOf calls ${ext} binary`);
+  }
+
+  // Directory-output helpers: a clean consumer with the given outputs.
+  const fontsOut = { 'fonts/latin/': 'assets/fonts/latin/' };
+  const fresh = (outputs) => {
+    fs.rmSync(consumer, { recursive: true, force: true });
+    fs.mkdirSync(consumer, { recursive: true });
+    writeDesign({ ...base, outputs });
+  };
+  const bytes = (rel) => fs.readFileSync(path.join(consumer, rel));
+  const distBytes = (root, key) => fs.readFileSync(path.join(root, 'dist', key));
+
+  // (l) a directory output copies every listed file, byte-identical.
+  fresh(fontsOut);
+  r = run();
+  assert.equal(r.status, 0, r.stderr);
+  for (const f of ['fonts.css', 'x.woff2', 'OFL.txt']) {
+    assert.deepEqual(bytes(`assets/fonts/latin/${f}`), distBytes(path.join(tmp, 'pkg'), `fonts/latin/${f}`), f);
+  }
+  assert.equal(run('--check').status, 0);
+  // A directory key nothing lives under is "not shipped" and lists directory keys too.
+  fresh({ 'fonts/greek/': 'assets/fonts/greek/' });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.match(r.stderr, /fonts\/greek\//);
+  assert.match(r.stderr, /fonts\/latin\//);
+
+  // (m) a directory output's destination must end in /.
+  fresh({ 'fonts/latin/': 'assets/fonts' });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.ok(!exists('assets'), 'nothing written');
+
+  // (n) a directory owns its destination.
+  fresh({ 'fonts/latin/': 'assets/fonts/latin/', 'dataviz/p.json': 'assets/fonts/latin/p.json' });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.ok(!exists('assets'), 'nothing written when a file lands in a directory output');
+  fresh({ 'quarto/': 'assets/fonts/latin/', 'fonts/latin/': 'assets/fonts/' });
+  r = run();
+  assert.equal(r.status, 2);
+  assert.ok(!exists('assets'), 'nothing written when directory outputs nest');
+
+  // (n2) a file output at a directory destination's ancestor, and a member landing on a directory.
+  fresh({ 'fonts/latin/x.woff2': 'assets/f', 'fonts/latin/': 'assets/f/latin/' });
+  r = run();
+  assert.equal(r.status, 2, r.stderr);
+  assert.ok(!exists('assets'), 'nothing written when a file is an ancestor of a directory destination');
+  fresh(fontsOut);
+  fs.mkdirSync(path.join(consumer, 'assets/fonts/latin/x.woff2'), { recursive: true });
+  r = run();
+  assert.equal(r.status, 2, r.stderr);
+  assert.ok(!exists('assets/fonts/latin/fonts.css'), 'nothing written when a member lands on a directory');
+
+  // (o) a stale file is named and kept: sync warns, --check fails.
+  fresh(fontsOut);
+  assert.equal(run().status, 0);
+  fs.writeFileSync(path.join(consumer, 'assets/fonts/latin/old.woff2'), 'stale');
+  r = run();
+  assert.equal(r.status, 0, r.stderr);
+  assert.match(r.stdout + r.stderr, /old\.woff2/);
+  assert.ok(exists('assets/fonts/latin/old.woff2'), 'sync never deletes');
+  r = run('--check');
+  assert.equal(r.status, 1);
+  assert.match(r.stderr, /old\.woff2/);
+  assert.match(r.stderr, /sync never deletes/);
+  // A symlink inside the destination is an extra too, and is left alone.
+  fs.rmSync(path.join(consumer, 'assets/fonts/latin/old.woff2'));
+  fs.symlinkSync(tmp, path.join(consumer, 'assets/fonts/latin/link'));
+  r = run('--check');
+  assert.equal(r.status, 1);
+  assert.match(r.stderr, /link/);
+  assert.equal(run().status, 0);
+  assert.ok(fs.lstatSync(path.join(consumer, 'assets/fonts/latin/link')).isSymbolicLink());
+
+  // (p) a byte edit and a deletion both fail --check.
+  fresh(fontsOut);
+  assert.equal(run().status, 0);
+  const woff = path.join(consumer, 'assets/fonts/latin/x.woff2');
+  const edited = fs.readFileSync(woff);
+  edited[5] ^= 0x01;
+  fs.writeFileSync(woff, edited);
+  r = run('--check');
+  assert.equal(r.status, 1);
+  assert.match(r.stderr, /x\.woff2/);
+  assert.equal(run().status, 0);
+  fs.rmSync(woff);
+  r = run('--check');
+  assert.equal(r.status, 1);
+  assert.match(r.stderr, /x\.woff2/);
+
+  // (q) --from leaves binaries byte-identical and localizes only stamped text.
+  fresh(fontsOut);
+  r = run('--from', path.join(tmp, 'checkout'));
+  assert.equal(r.status, 0, r.stderr);
+  const co = path.join(tmp, 'checkout', 'packages', 'css');
+  assert.deepEqual(bytes('assets/fonts/latin/x.woff2'), distBytes(co, 'fonts/latin/x.woff2'));
+  assert.deepEqual(bytes('assets/fonts/latin/OFL.txt'), distBytes(co, 'fonts/latin/OFL.txt'));
+  assert.match(bytes('assets/fonts/latin/fonts.css').toString('utf8').split('\n')[0], new RegExp(LOCAL));
+  assert.equal(run('--check').status, 1);
+
+  // (r) a symlink that resolves outside the consumer root is refused, for directory and file outputs.
+  const outside = path.join(tmp, 'outside');
+  fs.mkdirSync(outside, { recursive: true });
+  fresh(fontsOut);
+  fs.symlinkSync(outside, path.join(consumer, 'assets'));
+  r = run();
+  assert.equal(r.status, 2);
+  assert.deepEqual(fs.readdirSync(outside), [], 'nothing written outside the root');
+  fresh({ 'dataviz/p.json': 'assets/p.json' });
+  fs.symlinkSync(outside, path.join(consumer, 'assets'));
+  r = run();
+  assert.equal(r.status, 2);
+  assert.deepEqual(fs.readdirSync(outside), [], 'nothing written outside the root via a file output');
+
+  // (r2) a symlink under a directory output's destination that leaves the root is refused, writing nothing.
+  fresh({ 'fonts/': 'assets/fonts/' });
+  fs.mkdirSync(path.join(consumer, 'assets/fonts'), { recursive: true });
+  fs.symlinkSync(outside, path.join(consumer, 'assets/fonts/latin'));
+  r = run();
+  assert.equal(r.status, 2, r.stderr);
+  assert.deepEqual(fs.readdirSync(outside), [], 'nothing written outside the root via a member');
+  assert.ok(!exists('assets/fonts/dataviz'), 'nothing written at all');
+
+  // (s) writes are atomic per file: no temp file survives a sync.
+  fresh(fontsOut);
+  assert.equal(run().status, 0);
+  const leftovers = [];
+  (function walk(d) {
+    for (const e of fs.readdirSync(d, { withFileTypes: true })) {
+      if (e.isDirectory()) walk(path.join(d, e.name));
+      else if (e.name.includes('.dataimago-sync-tmp')) leftovers.push(e.name);
+    }
+  })(consumer);
+  assert.deepEqual(leftovers, []);
+
   fs.rmSync(tmp, { recursive: true, force: true });
   console.log('dataimago-sync self-test: all checks passed');
 }

package/dist/dataimago.css

@@ -65,12 +65,12 @@
   --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-mono: Noto Sans 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-editorial: Josefin Sans, Noto 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-family-math: Noto Sans Math, math;
   --font-size-micro: 0.75rem;
   --font-size-small: 0.875rem;
   --font-size-base: 1rem;
@@ -1174,6 +1174,12 @@ svg {
 .di-numeric-display {
   font-family: var(--font-family-display-editorial);
   font-weight: var(--font-weight-light);
+  font-feature-settings: "lnum";
+}
+
+.di-numeric-tabular {
+  font-family: var(--font-family-sans);
+  font-variant-numeric: tabular-nums lining-nums;
   font-feature-settings: "tnum", "lnum";
 }
 

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: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}}
+: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: Noto Sans Mono, SF Mono, Monaco, Inconsolata, monospace;--font-family-display: var(--font-family-display-editorial);--font-family-display-editorial: Josefin Sans, Noto 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, math;--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:"lnum"}.di-numeric-tabular{font-family:var(--font-family-sans);font-variant-numeric:tabular-nums lining-nums;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

@@ -1,4 +1,4 @@
-/* @dataimago/css@0.1.0-alpha.20 dist/dataviz/dataimago-dataviz.css · sha256:4fb36e2401c1cd21f57d50c017ac080377c3943362a5b6c5ce2cd658080e4499 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.20 dataimago-sync */
+/* @dataimago/css@0.1.0-alpha.22 dist/dataviz/dataimago-dataviz.css · sha256:4fb36e2401c1cd21f57d50c017ac080377c3943362a5b6c5ce2cd658080e4499 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.22 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;

package/dist/dataviz/dataimago-dataviz.json

@@ -1,11 +1,11 @@
 {
   "_meta": {
     "package": "@dataimago/css",
-    "version": "0.1.0-alpha.20",
+    "version": "0.1.0-alpha.22",
     "path": "dist/dataviz/dataimago-dataviz.json",
     "sha256": "28160e151fca196be3e36790d6b67db232d8df060e8d9556b29dfee50f4b278b",
     "note": "generated from tokens; do not edit",
-    "restore": "npx -p @dataimago/css@0.1.0-alpha.20 dataimago-sync"
+    "restore": "npx -p @dataimago/css@0.1.0-alpha.22 dataimago-sync"
   },
   "okabe-ito": {
     "orange": "#E69F00",

package/dist/dataviz/dataimago-dataviz.tex

@@ -1,4 +1,4 @@
-% @dataimago/css@0.1.0-alpha.20 dist/dataviz/dataimago-dataviz.tex · sha256:d7be36cb429ce8a1f19c95a7da8f57a7fcfda85fd2b0113e086913d37e9fa645 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.20 dataimago-sync
+% @dataimago/css@0.1.0-alpha.22 dist/dataviz/dataimago-dataviz.tex · sha256:d7be36cb429ce8a1f19c95a7da8f57a7fcfda85fd2b0113e086913d37e9fa645 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.22 dataimago-sync
 % dataimago data-viz palette (Okabe-Ito), light mode, for PSTricks and TikZ. Requires xcolor.
 \definecolor{di-dataviz-okabe-ito-orange}{HTML}{E69F00}
 \definecolor{di-dataviz-okabe-ito-sky-blue}{HTML}{56B4E9}

package/dist/dataviz/dataimago_dataviz.R

@@ -1,4 +1,4 @@
-# @dataimago/css@0.1.0-alpha.20 dist/dataviz/dataimago_dataviz.R · sha256:6443982f105b0f5e4a9d90ac2d1f6ce9fce2db4e8e8148b47f71bfc438940055 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.20 dataimago-sync
+# @dataimago/css@0.1.0-alpha.22 dist/dataviz/dataimago_dataviz.R · sha256:6443982f105b0f5e4a9d90ac2d1f6ce9fce2db4e8e8148b47f71bfc438940055 · generated from tokens; do not edit · restore: npx -p @dataimago/css@0.1.0-alpha.22 dataimago-sync
 # dataimago data-viz palette (Okabe-Ito). Categorical colour is never the only channel:
 # pair it with marker shape, line type or a label.