Webページのアンカーを一覧表示する

var menu=document.createElement('ul');
Array.forEach(document.anchors,
		function(anchor){
		var li=document.createElement('li');
		var a=document.createElement('a');
		a.href='#'+anchor.name;
		a.appendChild(document.createTextNode(anchor.name));
		li.appendChild(a);
		menu.appendChild(li);
		})
with(menu.style){
	position='fixed';
	top='0px';
	left='0px';
	backgroundColor='rgba(255,255,255,0.5)';
	MozBorderRadius='10px';
	border='2px solid gray';
}
menu.addEventListener('click',function(){this.parentNode.removeChild(this);},false)
document.body.appendChild(menu);

CSSからしてやる気のない感じ。