From fc790d6ed62a9d57a07b4d2450d1c6ebaafb1f5b Mon Sep 17 00:00:00 2001
From: Bart Van Der Meerssche <bart.vandermeerssche@flukso.net>
Date: Fri, 13 Nov 2009 15:19:17 +0000
Subject: [PATCH] web: increase font size of coding tips

---
 web/drupal/themes/flukso/style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/drupal/themes/flukso/style.css b/web/drupal/themes/flukso/style.css
index 6b1fed3..a1651aa 100644
--- a/web/drupal/themes/flukso/style.css
+++ b/web/drupal/themes/flukso/style.css
@@ -641,6 +641,10 @@ div.geshifilter {
 	margin: 0.5em 2.6em;
 }
 
+.tips code{
+	font-size: 1.4em;
+}
+
 /* ------------------------------------------------------------------------
  * Installation page
  * --------------------------------------------------------------------- */