diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/doxygen_config.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/doxygen_config.py b/docs/doxygen_config.py index 0c6faaaf..466ba00d 100644 --- a/docs/doxygen_config.py +++ b/docs/doxygen_config.py @@ -6,3 +6,10 @@ SEARCH_RESULT_ID_BYTES = 4 SEARCH_FILE_OFFSET_BYTES = 4 SEARCH_NAME_SIZE_BYTES = 2 SEARCH_DOWNLOAD_BINARY = True +HTML_HEADER = """ +<style> +dl { + padding-left: 1em; +} +</style> +""" |