From cd08fb3fdeaeb80f8d980f7ef2ace93cf5194c0e Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 24 Oct 2007 13:54:06 +0000
Subject: [PATCH]

---
 doc/manual/style.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/manual/style.css b/doc/manual/style.css
index e992a9a85..57d95c755 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -46,6 +46,11 @@ h3 /* subsections */
     font-size: 125%;
 }
 
+div.simplesect h2
+{
+    font-size: 110%;
+}
+
 div.appendix h3
 {
     font-size: 150%;