diff options
author | Georg Brandl <georg@python.org> | 2013-10-13 07:56:20 (GMT) |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2013-10-13 07:56:20 (GMT) |
commit | 5d5b375c84cf873b8e86d47c1bbbf8b206a93498 (patch) | |
tree | ec51689dcb0c94101f652936e9f8af19fc375124 /Doc | |
parent | 1e320113069e40d00ef343e5f95d1d18806fb0ba (diff) | |
download | cpython-5d5b375c84cf873b8e86d47c1bbbf8b206a93498.zip cpython-5d5b375c84cf873b8e86d47c1bbbf8b206a93498.tar.gz cpython-5d5b375c84cf873b8e86d47c1bbbf8b206a93498.tar.bz2 |
Fix a small CSS glitch with deprecated blocks and Sphinx 1.2.
Diffstat (limited to 'Doc')
-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 d6856f2..b4721e8 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -337,7 +337,11 @@ dl.glossary dt { .deprecated, .deprecated-removed { background-color: #ffe4e4; border: 1px solid #f66; - padding: 7px + padding: 7px; +} + +div.deprecated p { + margin-bottom: 0; } .system-message { |