From f383971936d029e6f1307f4da15edac2d921640f Mon Sep 17 00:00:00 2001
From: Andrew McMillan <andrew@happy.mcmillan.net.nz>
Date: Mon, 16 Mar 2009 22:02:54 +1300
Subject: [PATCH] Font size tweaks.

---
 docs/website/style.css | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/docs/website/style.css b/docs/website/style.css
index eac72483..a089576b 100644
--- a/docs/website/style.css
+++ b/docs/website/style.css
@@ -84,19 +84,23 @@ hr {
 h1 {
   color: #600000;
   font-family: helvetica, arial, sans-serif;
-  font-size: 130%;
+  font-size: 135%;
   margin-top: 1em;
   margin-bottom: 0.3em;
   }
 
-h2 {
+h2, h3 {
   color: black;
   font-family: helvetica, arial, sans-serif;
-  font-size: 110%;
+  font-size: 115%;
   margin-top: 1em;
   margin-bottom: 0.3em;
   }
 
+h3 {
+  font-size: 100%;
+}
+
 .showcase {
   margin: 2px;
   padding: 2px;