Pygments does this easily, depending on the source for generating HTML pages. It has been available for a long time. For more than a decade. Some blog generator

Pygments does this easily, depending on the source for generating HTML pages. It has been available for a long time. For more than a decade. Some blog generators use it, not only Python blog generators.