1 files changed, 11 insertions, 0 deletions
diff --git a/local.css b/local.css
index 65fd5e05..827fca7a 100644
--- a/local.css
+++ b/local.css
@@ -4,6 +4,17 @@ BODY {
 	font-family: sans-serif;
 }
 
+DIV.header {
+	margin: 1em 1em 0;
+}
+DIV.header,
+SPAN.author,
+DIV.recentchanges,
+SPAN.committype,
+DIV#footer {
+	font-size: 80%;
+}
+
 DIV#topbar {
 	width: 98%;
 	margin: 0;