diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index d6856f28ce2d..b4721e805fd2 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -337,7 +337,11 @@ .versionmodified { .deprecated, .deprecated-removed { background-color: #ffe4e4; border: 1px solid #f66; - padding: 7px + padding: 7px; +} + +div.deprecated p { + margin-bottom: 0; } .system-message {