Extra space in "identifiers" block HTML

[martinthomson]

Describe the issue

The HTML rendering of the identifiers block (<dl class="identifiers">) includes a number of plain textual items, plus a few items that use nested elements. Some of the generated <dd> elements include additional whitespace before an initial, inline child element, which is hard (or maybe impossible) to remove with styling. This leads to misalignment in rendering.

Items that include this extra whitespace are:

• <dd class="published">, which includes a <time> element as a child. (Though not <dd class="expires"> for some reason.)
• <dd class="obsoletes"> and <dd class="updates">, which include <a> elements and text content.

Can this extra space be removed?

Code of Conduct

• [X] I agree to follow the IETF's Code of Conduct