add_idx():  Don't add unnecessary markup around the little markers stuck in the
	index to cross-references; an image doesn't benefit by being bold!
1 file changed