From cfe35ca0e04fe486394d8505646cf7dff5d627be Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 2 Oct 2006 20:28:52 +0000
Subject: * Manual.

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

(limited to 'doc/manual/style.css')

diff --git a/doc/manual/style.css b/doc/manual/style.css
index f2c0bfa041a1..103086de1f36 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -57,6 +57,12 @@ h3 /* subsections */
     font-size: 125%;
 }
 
+div.appendix h3
+{
+    font-size: 150%;
+    margin-top: 1.5em;
+}
+
 
 
 /***************************************************************************
-- 
cgit 1.4.1