Decorate branding tagline.

1 files changed, 8 insertions, 0 deletions

diff --git a/local.css b/local.css
index 48f84cbc..a51953d4 100644
--- a/local.css
+++ b/local.css
@@ -69,6 +69,14 @@ DIV#branding-logo {
 	right: 3%;
 }
 
+DIV#branding-tagline,
+DIV#branding-tagline A {
+	font: Verdana, Helvetica, Sans Serif;
+	font-weight: bold;
+	fint-size: 100%;
+	margin: 1 1 0 1em;
+}
+
 DIV.topbar {
 	float: right;
 	background-color: #9cf;