From be26a3598e9b4d6ad43f0b8e804e2949cb2f7e23 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