Test new sidebar css

diff --git a/local.css b/local.css
index f7c3900636117bcaa966a0d6d7648eb9f245872f..05f508b9e0901b3571b544538ee11b02455cc14b 100644 (file)
--- a/local.css
+++ b/local.css
@@ -74,9 +74,10 @@ body {
 
 #content,#comments,#footer {
   margin-left: 20ex;
+  padding-left: 1em;
 }
 
-.pagefooter, .inlinefooter, .comment-header {
+#pageinfo, .inlinefooter, .comment-header {
   color: gray;
   font-size: 70%;
 }