From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Monjalon Subject: Re: [PATCH] doc: improve HTML spacing in release notes Date: Tue, 13 Feb 2018 10:33:38 +0100 Message-ID: <1982251.NPzZtB8Js7@xps> References: <20180212174448.32125-1-thomas@monjalon.net> 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 out4-smtp.messagingengine.com (out4-smtp.messagingengine.com [66.111.4.28]) by dpdk.org (Postfix) with ESMTP id 65B441B2A6 for ; Tue, 13 Feb 2018 10:33:49 +0100 (CET) In-Reply-To: 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: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.