nasmdoc.css: format link better for our needs