diff options
Diffstat (limited to 'Doc/tools/sphinxext/static/basic.css')
| -rw-r--r-- | Doc/tools/sphinxext/static/basic.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index 2058b05f94..3242a81345 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -342,7 +342,7 @@ dl.glossary dt { padding: 7px; } -div.deprecated p { +div.deprecated p, div.deprecated-removed p { margin-bottom: 0; } |