From 52cfb1005c67671433c37420d43d05472f790d82 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sat, 18 Jul 2020 19:56:19 -0400
Subject: tweak license line style

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

(limited to 'local.css')

diff --git a/local.css b/local.css
index 32277514..c33c12b5 100644
--- a/local.css
+++ b/local.css
@@ -5,3 +5,5 @@
 #content { line-height: 1.5 }
 
 .pagecopyright, .pagelicense { font-style: normal }
+.pagelicense { margin-top: 0.5em }
+.pagelicense p { margin-top: 0 }
-- 
cgit v1.2.3