Update disqus id and add styles for bash highlighting