merge with 3.3

This commit is contained in:
Georg Brandl 2013-10-13 09:32:00 +02:00
commit a7bb9b3a13
2 changed files with 2 additions and 2 deletions

View File

@ -122,7 +122,7 @@ div.body tt.xref, div.body a tt {
font-weight: normal;
}
p.deprecated {
.deprecated {
border-radius: 3px;
}

View File

@ -334,7 +334,7 @@ .versionmodified {
font-style: italic;
}
p.deprecated, p.deprecated-removed {
.deprecated, .deprecated-removed {
background-color: #ffe4e4;
border: 1px solid #f66;
padding: 7px