Avant : les badges de codes de filtre étaient gris clair et utilisaient toujours la police monospace système, même quand une autre police de logs était choisie : ils ne ressemblaient pas aux badges de sévérité.
Après : les badges sont plus foncés (gris #858c97, texte presque noir) et prennent la police des logs, comme les badges de sévérité, avec le même coin arrondi et le même espacement des lettres.
Comment : web/style.css uniquement, avec une variable --code-bg pour la couleur. La colonne garde la place pour 3 codes (vérifié dans le navigateur).
<!-- ccr-projects-attribution: {"github_login":"vblogio"} -->
_Requested by **Cédric**_
Avant : les badges de codes de filtre étaient gris clair et utilisaient toujours la police monospace système, même quand une autre police de logs était choisie : ils ne ressemblaient pas aux badges de sévérité.
Après : les badges sont plus foncés (gris #858c97, texte presque noir) et prennent la police des logs, comme les badges de sévérité, avec le même coin arrondi et le même espacement des lettres.
Comment : `web/style.css` uniquement, avec une variable `--code-bg` pour la couleur. La colonne garde la place pour 3 codes (vérifié dans le navigateur).
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Requested by Cédric
Avant : les badges de codes de filtre étaient gris clair et utilisaient toujours la police monospace système, même quand une autre police de logs était choisie : ils ne ressemblaient pas aux badges de sévérité.
Après : les badges sont plus foncés (gris #858c97, texte presque noir) et prennent la police des logs, comme les badges de sévérité, avec le même coin arrondi et le même espacement des lettres.
Comment :
web/style.cssuniquement, avec une variable--code-bgpour la couleur. La colonne garde la place pour 3 codes (vérifié dans le navigateur).🤖 Generated with Claude Code