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

2018-02-13 Thread Thomas Monjalon 
13/02/2018 10:33, Thomas Monjalon:
> 13/02/2018 10:09, Mcnamara, John:
> > From: Thomas Monjalon [mailto:tho...@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.

Applied

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

2018-02-13 Thread Thomas Monjalon 
13/02/2018 10:09, Mcnamara, John:
> From: Thomas Monjalon [mailto:tho...@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.

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

2018-02-13 Thread Mcnamara, John 


> -Original Message-
> From: Thomas Monjalon [mailto:tho...@monjalon.net]
> Sent: Monday, February 12, 2018 5:45 PM
> To: Mcnamara, John 
> Cc: dev@dpdk.org
> Subject: [PATCH] doc: improve HTML spacing in release notes
> 
> 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.

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


Acked-by: John McNamara