https://gnulinux.ro/blog-page-6496-pixel-wheels-0110/blog/cat/18/plugin/scrolltopcontrol/scrolltopcontrol.js