From ab0e7756c5f9e2e9a96d6ccc858d0f72453a462d Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 12 Nov 2008 15:33:25 +0100
Subject: Amend previous CSS commit: pagedate can also be at the end.

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

(limited to 'local.css')

diff --git a/local.css b/local.css
index 435c278a..f47922b7 100644
--- a/local.css
+++ b/local.css
@@ -78,7 +78,9 @@ pre
 /* But add some spacing between them.  */
 .pagedate + .pagecopyright,
 .pagedate + .pagelicense,
-.pagecopyright + .pagelicense
+.pagecopyright + .pagelicense,
+.pagecopyright + .pagedate,
+.pagelicense + .pagedate
 {
   padding-left: 1em;
 }
-- 
cgit v1.2.3