summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--local.css11
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;