17,230
edits
No edit summary |
(woo it works!) |
||
Line 1: | Line 1: | ||
var uls = document.getElementById('toc').getElementsByTagName('ul')[0].getElementsByTagName('ul'); | 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 + "px"; } | ||
} |