Auto-scroll in devel-docs table of content