diff options
| -rw-r--r-- | Doc/tools/sphinxext/static/basic.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index f05e35a..89e4d77 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -337,7 +337,11 @@ dl.glossary dt { .deprecated { background-color: #ffe4e4; border: 1px solid #f66; - padding: 7px + padding: 7px; +} + +div.deprecated p { + margin-bottom: 0; } .system-message { |