commit 5d5b375c84cf873b8e86d47c1bbbf8b206a93498
author Georg Brandl <georg@python.org> Sun Oct 13 09:56:20 2013 +0200
committer Georg Brandl <georg@python.org> Sun Oct 13 09:56:20 2013 +0200
tree ec51689dcb0c94101f652936e9f8af19fc375124
parent 1e320113069e40d00ef343e5f95d1d18806fb0ba

Fix a small CSS glitch with deprecated blocks and Sphinx 1.2.

Doc/tools/sphinxext/static/basic.css

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 @@
 .deprecated, .deprecated-removed {
     background-color: #ffe4e4;
     border: 1px solid #f66;
-    padding: 7px
+    padding: 7px;
+}
+
+div.deprecated p {
+    margin-bottom: 0;
 }
 
 .system-message {