On 3/9/23 1:36 PM, Alvaro Herrera wrote:
> On 2023-Mar-09, Jonathan S. Katz wrote:
>
>> I'm OK with the change, I'm not OK with the comment around it because
>> "Simplelist" doesn't really give meaning to it AFAICT. Maybe:
>>
>> /** Additional formatting for "simplelist" structures */
>> #docContent table.simplelist td {
>> padding-left: 2em;
>> padding-right: 2em;
>> }
>
> Uh, absolutely. Here's a complete patch (in case you wanted that),
> thanks.
LGTM -- pushed. If it's not reflected within a few hours please let me
know and I'll force clear the caches.
Thanks,
Jonathan