User:Locke/common.js

Want an adless experience? Log in or Create an account.

Note: After saving, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: hold Shift while clicking Reload, or press either Ctrl+F5 or Ctrl+R (Command+R on a Mac)
• Google Chrome: press Ctrl+Shift+R (Command+Shift+R on a Mac)
• Internet Explorer: hold Ctrl while clicking Refresh, or press Ctrl+F5
• Konqueror: click Reload or press F5
• Opera: clear the cache in Tools → Preferences

var uls = document.getElementById('toc').getElementsByTagName('ul')[0].getElementsByTagName('ul');
for(var i=0; i<uls.length; ++i) {
	var wdth = uls[i].clientWidth + 1;
	alert(wdth);
	uls[i].style.width = uls[i].clientWidth + 1 + "px";
}