diff options
author | Luca Boccassi <luca.boccassi@gmail.com> | 2017-11-08 14:15:11 +0000 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-11-08 14:45:54 +0000 |
commit | 055c52583a2794da8ba1e85a48cce3832372b12f (patch) | |
tree | 8ceb1cb78fbb46a0f341f8ee24feb3c6b5540013 /doc/guides/conf.py | |
parent | f239aed5e674965691846e8ce3f187dd47523689 (diff) |
New upstream version 17.11-rc3
Change-Id: I6a5baa40612fe0c20f30b5fa773a6cbbac63a685
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'doc/guides/conf.py')
-rw-r--r-- | doc/guides/conf.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/guides/conf.py b/doc/guides/conf.py index 39880752..31f914a8 100644 --- a/doc/guides/conf.py +++ b/doc/guides/conf.py @@ -340,7 +340,12 @@ def print_table_css(outfile, table_id): font-size: 80%; white-space: pre-wrap; vertical-align: top; - padding: 2px; + padding: 0.5em 0; + min-width: 0.9em; + width: 2em; + } + table#idx col:first-child { + width: 0; } table#idx th:first-child { vertical-align: bottom; |