doc, html: compressed space in link bar