about summary refs log tree commit diff
path: root/doc/manual/style.css
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-02T20·28+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-02T20·28+0000
commitcfe35ca0e04fe486394d8505646cf7dff5d627be (patch)
treef9634259720c28ead0c3506cafb82f518f23cc9f /doc/manual/style.css
parent853252ac6699ec339f0692c913361b0df417ded6 (diff)
* Manual.
Diffstat (limited to 'doc/manual/style.css')
-rw-r--r--doc/manual/style.css6
1 files changed, 6 insertions, 0 deletions
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;
+}
+
 
 
 /***************************************************************************