doc: prevent overflowing <code> tag in rendered HTML