update disqus setting
modify themes
add levenshteion.rst