Andreas Schwab [off-list ref] writes:
That's not what I see.
It could be version differences of AsciiDoc-to-xmlto toolchain. I think
I've listed the versions I use (and the ones currently used to format the
copies people get from k.org) elsewhere in this thread. If you are using
anything newer, perhaps we are seeing an issue waiting to materialize and
you are being a useful coalmine canary.
If the output you showed is the best we could achieve without using
constructs that break the versions that are older than what you used but
are still in use (e.g. "[horizontal]" and "three-colons"), I would say we
have to live with it. It might be suboptimal but it still is readable.
Of course if you can come up with a patch that formats better without
breaking older tools, that is an entirely different story. It would be
very much appreciated.