Adding xrefgen to htmlbook stylesheet.