From 319a8ce90cbe863a0706390d8e2d9a003faa7917 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Thu, 10 Jun 2010 09:40:11 +0200
Subject: [PATCH] only pagedate be the smallest

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 local.css | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/local.css b/local.css
index 81ca221b..46219549 100644
--- a/local.css
+++ b/local.css
@@ -108,11 +108,13 @@ pre {
    color: yellow;
 }
 
+/* pagedate is even less interesting, make it even smaller */
 .pagedate {
    background: #474747;
    border: none;
    padding: 4px;
    color: #efefef;
+   font-size: 80%;
 }
 
 .selflink { background: yellow; color: black }
@@ -120,8 +122,8 @@ pre {
 .actions a  { margin-right: 1ex; color: #dfdfdf; font-family: sans-serif;}
 #footer { border: none; font-family: sans-serif;}
 
-/* elements at the bottom should be a bit smaller */
+/* elements at the bottom should be a bit smaller in general */
 .pagefooter {
    font-family: sans-serif;
-   font-size: 60%;
+   font-size: 80%;
 }