diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-12 15:33:25 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-12 15:33:25 +0100 |
commit | ab0e7756c5f9e2e9a96d6ccc858d0f72453a462d (patch) | |
tree | a028bfefe7bd45ef6003578a49c69ab3eb730d74 | |
parent | ec96d2a0ae93010b0fcdae2bdfb40390ca952529 (diff) |
Amend previous CSS commit: pagedate can also be at the end.
-rw-r--r-- | local.css | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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; } |