From bf39c53ab9cc7dd46b72e2937967030c4572d8da Mon Sep 17 00:00:00 2001
From: Siri Reiter <siri@jones.dk>
Date: Wed, 22 Oct 2008 13:35:25 +0200
Subject: Topbar textsize changed (experimentally).

---
 local.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/local.css b/local.css
index 7db5e98..d0809bb 100644
--- a/local.css
+++ b/local.css
@@ -2,6 +2,14 @@
 
 /* Add local styling here, instead of modifying style.css. */
 
+div#topbar li,
+div#topbar ul,
+div#topbar ul li,
+div#topbar ol,
+div#topbar ol li {
+	font-size: 1.1em;
+	line-height: 2em;
+
 div#pageinfo {
 	margin: 15em 1em 1em;
 	padding: 1em 0 0;
-- 
cgit v1.2.3