Auto-scroll in devel-docs table of content (thanks @harding)