> On 22 Mar 2024, at 00:33, Peter Eisentraut <peter@eisentraut.org> wrote:
>
> On 19.03.24 14:50, Tom Lane wrote:
>> Daniel Gustafsson <daniel@yesql.se> writes:
>>> It's actually not very odd, the reference section is using <reference> elements
>>> and we had missed the arabic numerals setting on those. The attached fixes
>>> that for me. That being said, we've had roman numerals for the reference
>>> section since forever (all the way down to the 7.2 docs online has it) so maybe
>>> it was intentional?
>> I'm quite sure it *was* intentional. Maybe it was a bad idea, but
>> it's not that way simply because nobody thought about it.
>
> Looks to me it was just that way because it's the default setting of the stylesheets.
That's quite possible. I don't have strong opinions on whether we should
change, or keep it the way it is.
--
Daniel Gustafsson