From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Monjalon Subject: Re: [PATCH] doc: improve HTML spacing in release notes Date: Wed, 14 Feb 2018 00:21:53 +0100 Message-ID: <1694840.uIuQsu0qGh@xps> References: <20180212174448.32125-1-thomas@monjalon.net> <1982251.NPzZtB8Js7@xps> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7Bit Cc: dev@dpdk.org To: "Mcnamara, John" Return-path: Received: from out5-smtp.messagingengine.com (out5-smtp.messagingengine.com [66.111.4.29]) by dpdk.org (Postfix) with ESMTP id 6BC5E1B1B0 for ; Wed, 14 Feb 2018 00:22:04 +0100 (CET) In-Reply-To: <1982251.NPzZtB8Js7@xps> List-Id: DPDK patches and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: dev-bounces@dpdk.org Sender: "dev" 13/02/2018 10:33, Thomas Monjalon: > 13/02/2018 10:09, Mcnamara, John: > > From: Thomas Monjalon [mailto:thomas@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