> On 4 Oct 2023, at 16:39, Tom Lane <[email protected]> wrote: > > Alvaro Herrera <[email protected]> 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
