Since the changes to search in f940e7d0b611d0fd6482522b7ffcb5188b6768f9 and to the navigation tree in d0e2ead20f0ca159503b2871667452abcedd4c2e, jQuery is only used by the back-to-top button. This commit rewrites that code to use vanilla DOM methods, and removes the jQuery dependency.
Since the changes to search in f940e7d0b611d0fd6482522b7ffcb5188b6768f9 and to the navigation tree in d0e2ead20f0ca159503b2871667452abcedd4c2e, jQuery is only used by the back-to-top button. This commit rewrites that code to use vanilla DOM methods, and removes the jQuery dependency.