Add anchors to headings

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Add Disqus support

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Use animation