https://gnulinux.ro/blog-page-8589-tips-for-designing-web-pages/blog/cat/7/plugin/scrolltopcontrol/scrolltopcontrol.js