Redo to use leanpub's index.html