Closed davidben closed 1 year ago
Thanks for raising this. I don't know what the right indent is, but what was there was clearly bad.
Is this something the datatracker should adopt?
Oh, yeah. I should probably test that out as well. I'll flag you on the change @larseggert.
The
<ol>
tag in xml2rfc allows writing things like<ol type="(%c)">
. xml2rfc renders them as HTML<dl>
lists with tagolPercent
: https://github.com/ietf-tools/xml2rfc/blob/main/xml2rfc/writers/html.py#L1923This renders fine in xml2rfc's built-in style, but in the custom CSS style used by this repo,
dl > dt
gets amin-width
andmargin-right
that causes a large indent. https://github.com/martinthomson/i-d-template/blob/main/v3.css#L338-L342