On 4/26/20 3:21 PM, Jonathan S. Katz wrote: > On 4/26/20 1:40 PM, Tom Lane wrote: >> I wrote: >>> Alvaro Herrera <alvhe...@2ndquadrant.com> writes: > >> There is a small problem with getting this to work in the webstyle >> HTML: somebody decided it would be a great idea to have a global >> override on paragraph margin-bottom settings. For the purposes of >> this test I just deleted that from main.css, but I suppose we want >> some more-nuanced solution in reality. > > I have to see why that is. I traced it back to the original "bring doc > styles up to modern website" patch (66798351) and there is missing > context. Anyway, I'd like to test it before a wholesale removal (there > is often a strong correlation between "!important" and "hack", so I'll > want to further dive into it). > > I'll have some time to play around with the CSS tonight.
Can you try #docContent p { - margin-bottom: 1rem !important; + margin-bottom: 1rem; } and see how it looks? Jonathan
signature.asc
Description: OpenPGP digital signature