// Highlight selected comments

function highlightSelectedComment() {
	if ( ! document.getElementById || ! String.replace || ! String.substr || ! window.location )
		return true;
	s = String( window.location ).replace( /.*#/, '' );
	if ( s.substr( 0, 11 ) != 'comment_id_' )
		return true;
	e = document.getElementById( s );
	if ( ! e )
		return true;
	e.style.background = "#eef";
	e.style.padding = "0.5em";
}

window.onload = highlightSelectedComment;