[misc] use highlight.js for syntax highlighting in blog post#18480

JukkaL merged 1 commit intopython:masterpython/mypy:masterfrom

svalentin:blog-html-codesvalentin/mypy:blog-html-codeCopy head branch name to clipboard