Fix display of deprecated blocks with Sphinx 1.2.

diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css
index 96f8ba364ecf637af16c087d1c19a7afca2d6809..f05e35a314ddb3cf85418670efc89eb67cc621fe 100644 (file)
--- a/Doc/tools/sphinxext/static/basic.css
+++ b/Doc/tools/sphinxext/static/basic.css
@@ -334,7 +334,7 @@ dl.glossary dt {
     font-style: italic;
 }
 
-p.deprecated {
+.deprecated {
     background-color: #ffe4e4;
     border: 1px solid #f66;
     padding: 7px