> -----Original Message----- > From: Thomas Monjalon [mailto:[email protected]] > Sent: Monday, February 12, 2018 5:45 PM > To: Mcnamara, John <[email protected]> > Cc: [email protected] > 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 <[email protected]>
