17,230
edits
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
var | var uls = document.getElementById('toc').getElementsByTagName('ul')[0].getElementsByTagName('ul'); | ||
for(var i=0; i<uls.length; ++i) { | for(var i=0; i<uls.length; ++i) { | ||
uls[i].style.width = uls[i].clientWidth + 1; | |||
} | } | ||