Line 20: | Line 20: | ||
ul.addEventListener('mouseover', over); | ul.addEventListener('mouseover', over); | ||
ul.addEventListener('mouseout', out); | ul.addEventListener('mouseout', out); | ||
− | |||
− | |||
− | |||
var as = document.getElementById('toc').getElementsByTagName('a'); | var as = document.getElementById('toc').getElementsByTagName('a'); |
Revision as of 15:56, 15 October 2018