added markdown.extra.js from https://github.com/jmcmanus/pagedown-extra