https://gnulinux.ro/blog-page-7139-puterea-terminalului-linux-ubuntu/plugin/scrolltopcontrol/plugin/scrolltopcontrol/scrolltopcontrol.js