Fix references to archive files.
Adjust highlighting of table of contents.
Add scroll highlighting.