/* La page de l'atelier, autour du bloc. Polices servies d'ici : la politique
   de sécurité interdit toute ressource d'une autre origine, Google Fonts
   compris, et c'est voulu. */
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 400; font-display: swap; src: url('fonts/inter-latin-400-normal.woff2') format('woff2'); }
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 600; font-display: swap; src: url('fonts/inter-latin-600-normal.woff2') format('woff2'); }
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 700; font-display: swap; src: url('fonts/inter-latin-700-normal.woff2') format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url('fonts/jetbrains-mono-latin-400-normal.woff2') format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url('fonts/jetbrains-mono-latin-500-normal.woff2') format('woff2'); }

html, body { margin: 0; background: #FFFFFF; color: #14151A; font-family: 'Inter', system-ui, sans-serif; }
.top { display: flex; align-items: center; gap: 10px; height: 52px; padding: 0 16px; border-bottom: 1px solid #E2E4EA; font-size: 0.9rem; }
.top a { color: #2563EB; text-decoration: none; }
.top .brand { font-weight: 800; color: #0F3474; letter-spacing: -0.02em; }
.top .sep { color: #868C99; }
.top .here { font-weight: 600; }
.top .grow { flex: 1; }
.top .private { font-family: 'JetBrains Mono', monospace; font-size: 0.72rem; letter-spacing: 0.08em; text-transform: uppercase; color: #196C3C; }
.bottom { border-top: 1px solid #E2E4EA; padding: 10px 16px; font-size: 0.8rem; color: #565A66; }
.bottom p { margin: 0; max-width: 110ch; }
@media (max-width: 640px) { .top .private { display: none; } }