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