Simplified index.html using onhashchange event.
Now the notation links are simply hash tags.