User:Quaynt/modern.js

function Scroll { var tgt = document.getElementById('toc') var ul = tgt.getElementsByTagName('ul'); ul[0].scrollTop = 0; }

var tgt = document.getElementById('toc') tgt.addEventListener("mouseenter", Scroll);