From 77f35c1b415b8b6cd6149dfcab1ef8f5c86774c0 Mon Sep 17 00:00:00 2001
From: axel <axel@liljencrantz.se>
Date: Wed, 10 May 2006 02:41:46 +1000
Subject: [PATCH] Add a little padding in the documentation stylesheet to make
 it easier to differ between different header levels

darcs-hash:20060509164146-ac50b-f165e89d3cf5d9a8db9826d804cd62b85bd6a3f7.gz
---
 user_doc.head.html | 13 +++++++++++++
 1 file changed, 13 insertions(+)
diff --git a/user_doc.head.html b/user_doc.head.html
index 129305ea0..5c91918b4 100644
--- a/user_doc.head.html
+++ b/user_doc.head.html
@@ -2,6 +2,19 @@
 <head>
 <title>fish user documentation</title>
 <link href="doxygen.css" rel="stylesheet" type="text/css">
+<!--
+Override the default doxygen stylesheet to make the difference between different header levels larger
+-->
+<style type='text/css'>
+H2 
+{
+}
+
+H3
+{
+	padding-left:2%;
+}
+</style>
 </head>
 <body>
 
