Merge pull request #77 from leoetlino/docs-indent-items

docs: Indent header items
This commit is contained in:
Léo Lam 2022-01-26 10:16:52 +01:00 committed by GitHub
commit 62c0441d4c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions

View File

@ -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>
"""