Use python-markdown extensions to support syntax highlighting
change toc marker to $