/* AIM CODEX · la hoja de estilos común (plan maestro, tarea 1.3).
   Los tokens de color, tipografía, radios y espaciado de TODA la web, en un solo sitio. El 22 de
   septiembre de 2026 las 27 páginas públicas usaban 74 colores distintos —seis grises «apagados»
   casi iguales— y cada componente escribía los suyos. La cabecera y el pie comunes ya solo usan
   estos tokens; el resto de páginas migra poco a poco, y un test impide que la paleta crezca. */
:root{
  --aim-bg:#0b0f15; --aim-bg-2:#0d1219; --aim-surface:#0f141d; --aim-surface-2:#11161e;
  --aim-line:#1f2733; --aim-line-2:#2a3543;
  --aim-ink:#eef3f9; --aim-ink-2:#c9d3df; --aim-soft:#aeb9c6; --aim-muted:#9aa6b5; --aim-muted-2:#7d8897;
  --aim-accent:#3ad29a; --aim-accent-ink:#06120d; --aim-accent-2:#15a978; --aim-accent-3:#0d7c58;
  --aim-bad:#f87171; --aim-warn:#f5b454;
  --aim-display:'Fraunces',Georgia,'Times New Roman',serif;
  --aim-text:'Hanken Grotesk',system-ui,-apple-system,'Segoe UI',sans-serif;
  --aim-mono:'JetBrains Mono',ui-monospace,SFMono-Regular,Menlo,monospace;
  --aim-radius:10px; --aim-radius-lg:14px;
  --aim-space-1:4px; --aim-space-2:8px; --aim-space-3:12px; --aim-space-4:16px;
  --aim-space-5:24px; --aim-space-6:32px; --aim-space-7:48px;
}