diff options
author | axel <axel@liljencrantz.se> | 2006-05-10 02:41:46 +1000 |
---|---|---|
committer | axel <axel@liljencrantz.se> | 2006-05-10 02:41:46 +1000 |
commit | 77f35c1b415b8b6cd6149dfcab1ef8f5c86774c0 (patch) | |
tree | 776d4b6ec9094e77c5c91fef937925965a73dc0e /user_doc.head.html | |
parent | 06668bfacbc934598a1bc6ed25f6c1dcb5070064 (diff) |
Add a little padding in the documentation stylesheet to make it easier to differ between different header levels
darcs-hash:20060509164146-ac50b-f165e89d3cf5d9a8db9826d804cd62b85bd6a3f7.gz
Diffstat (limited to 'user_doc.head.html')
-rw-r--r-- | user_doc.head.html | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/user_doc.head.html b/user_doc.head.html index 129305ea..5c91918b 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> |