frontend: issue #99: pages switching corrected; scrolling to correct location...

Closes #99 (closed).

It mostly works, although sometimes the beginng of the correct file is opened instead of the location of the given link - this is not a huge problem because clicking the TOC item for a second time then moves the view to the correct location.