Closed sobolevn closed 5 years ago
Hi @sobolevn , thanks for this. Unfortunately because we're rendering the documentation with mkdocs.py
which uses python-markdown
, we can't use the github-specific language coding. I've merged just the badge changes as b8538c65f4561d8030375467f1d1332026bdee76 instead.
I have also updated code highlighting.