mirror of
https://github.com/mkdocs/mkdocs.git
synced 2026-03-27 09:58:31 +07:00
Rather than including this is the JS form the upstream theme, the JS has been included in a separate file `theme_extra.js` so that is is not lost in a future update copied form upstream. Fixes #2028.