tweak license line style

1 files changed, 2 insertions, 0 deletions

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 }