/* Google Fonts substitutes — IBM Plex Sans (UI) + JetBrains Mono (données techniques). Replace with self-hosted files when available. */
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Sans:ital,wght@0,400;0,500;0,600;1,400&family=JetBrains+Mono:wght@400;500;600&display=swap');