Topbar textsize changed (experimentally).

1 files changed, 8 insertions, 0 deletions

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;