On Fri, Mar 22, 2024 at 01:12:30AM +0100, Daniel Gustafsson wrote:
> > 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.
If we can't justify why it should be different, it should be like the
surrounding sections.
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.