Change pageinfo margin.

1 files changed, 1 insertions, 1 deletions

diff --git a/local.css b/local.css
index 64a0c5b7..c3053282 100644
--- a/local.css
+++ b/local.css
@@ -182,7 +182,7 @@ DIV#pageinfo {
 	width: 100%;
 	border-top: 0;
 	padding:1em 1em 1em 20px;
-	margin: 15 0 0;
+	margin: 15px 0 0 0;
 	background-color: LightBlue;
 }