/* Pour forcer la police dans la coloration syntaxique */
        .hljs { font-family: monospace; }
        span[class^='hljs'], span[class*=' hljs'] { font-family: monospace; }