1 files changed, 11 insertions, 0 deletions
diff --git a/local.css b/local.css
index 3e707ce..02b058a 100644
--- a/local.css
+++ b/local.css
@@ -2,6 +2,17 @@
 
 /* Add local styling here, instead of modifying style.css. */
 
+div.header {
+	margin: 1em 1em 0;
+}
+div.header,
+span.author,
+div.recentchanges,
+span.committype,
+div#footer {
+	font-size: 80%;
+}
+
 DIV#wrapper {
 	float: right;
 	width: 80%;