/* Jipuri shared semantic tokens — additive; legacy aliases remain intact. */
:root {
  --jp-color-ink: #0f172a;
  --jp-color-body: #334155;
  --jp-color-muted: #64748b;
  --jp-color-indigo: #4f46e5;
  --jp-color-emerald: #059669;
  --jp-color-background: #f8fafc;
  --jp-color-surface: #ffffff;
  --jp-color-border: #e2e8f0;
  --jp-font-heading: 'Plus Jakarta Sans', system-ui, -apple-system, sans-serif;
  --jp-font-body: 'Inter', system-ui, -apple-system, sans-serif;
  --jp-font-code: 'JetBrains Mono', monospace;
}