Table of contents scroll timeout not long enough

The table of contents added in JDK-8320458 implements a scroll-following by highlighting the currently viewed page section in the TOC. When clicking on an item in the TOC we use smooth scrolling to navigate to the target anchor. For this case we temporarily disable the scroll-following as it would cause the TOC selection to flicker by selecting in-between items. This is done using a JavaScript timeout that renews itself until the scroll destination is reached.

The timeout value used is currently 50 milliseconds which worked well on all browsers I tested it on. However, when using the feature under load (for example when running a build or test in the background) I sometimes experience stuttering or flickering when clicking on a TOC link, and it seems likely that this could also happen on older/slower computers. It turns out that increasing the timeout value to something like 100 milliseconds fixes the problem without any negative consequences.