> On 4 Oct 2023, at 16:39, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Alvaro Herrera <alvhe...@alvh.no-ip.org> writes: >> So I'm not sure that specifying the class="parameter" bit does anything in >> reality, or that changing lines to add or remove it will have any effect. > > I concluded a long time ago that it does nothing.
It does nothing in our current doc rendering, but if someone would like to render docs with another style where it does make a difference it seems unhelpful to not be consistent. -- Daniel Gustafsson
