From 2d597c8f4b0b2f50a6895424e2d19ccb7dff3bc7 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Mon, 27 Jul 2020 01:46:51 -0400
Subject: tweak spacing of sidebar paragraphs

---
 local.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/local.css b/local.css
index 9581c352..38488073 100644
--- a/local.css
+++ b/local.css
@@ -26,4 +26,8 @@ pre, code {
 code { padding: .2em .3em }
 pre > code { border: none; padding: 0 }
 
+.sidebar { padding: 0 1em }
 .sidebar ul, .sidebar ol { padding-left: 1em }
+.sidebar > p:nth-child(1) { margin-bottom: 0.1em }
+.sidebar > p:nth-child(2) { margin-top: 0; margin-bottom: 0 }
+.sidebar > p:nth-child(3) { margin-top: 0 }
-- 
cgit v1.2.3