aboutsummaryrefslogtreecommitdiffhomepage
path: root/user_doc.head.html
diff options
context:
space:
mode:
authorGravatar axel <axel@liljencrantz.se>2006-11-11 20:52:08 +1000
committerGravatar axel <axel@liljencrantz.se>2006-11-11 20:52:08 +1000
commit04b7da336d9a2da17628da19e7f879304f8d25ad (patch)
tree3a34ad684b10b3cef1cd42713b433a179bc7414f /user_doc.head.html
parent5f69f2bb0cc593e158541a5951fcd8277428bd99 (diff)
Documentation updates
darcs-hash:20061111105208-ac50b-27e335ba701b021d3119206e91d68c8504d45c2b.gz
Diffstat (limited to 'user_doc.head.html')
-rw-r--r--user_doc.head.html18
1 files changed, 15 insertions, 3 deletions
diff --git a/user_doc.head.html b/user_doc.head.html
index f5ee9ab1..342bf99b 100644
--- a/user_doc.head.html
+++ b/user_doc.head.html
@@ -6,13 +6,25 @@
Override the default doxygen stylesheet to make the difference between different header levels larger
-->
<style type='text/css'>
-H2
+H1
{
+ font-size: 180%;
+}
+H2
+{
+ font-size: 150%;
}
-
H3
{
- padding-left:2%;
+ padding-left:10%;
+ font-size: 120%;
+}
+H4
+{
+ padding-left:10%;
+ font-style: italic;
+ font-weight: normal;
+ font-size: 90%;
}
</style>
</head>