[dpdk-dev] [PATCH] doc: improve HTML spacing in release notes

Thomas Monjalon thomas at monjalon.net
Tue Feb 13 10:33:38 CET 2018


13/02/2018 10:09, Mcnamara, John:
> From: Thomas Monjalon [mailto:thomas at monjalon.net]
> > Vertical spacing is lower before an item title than after.
> > So the items with paragraphs are not well separated.
> > 
> > A custom CSS is added to override the rtd theme.
> 
> That's great. It fixes a long standing irritation with the formatting
> of the release notes, and other lists.

Me too, I was irritated about this formatting :)
But I never tried to fix it until you talked about it with me.
Conclusion: we must communicate about our frustrations ;)

> Also, it gives us the opportunity to improve the CSS in other ways.

Yes, this custom CSS can be extended.



More information about the dev mailing list