diff options
Diffstat (limited to 'doc/build/static/docs.css')
| -rw-r--r-- | doc/build/static/docs.css | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css index 62e102c50..acde3683d 100644 --- a/doc/build/static/docs.css +++ b/doc/build/static/docs.css @@ -151,7 +151,6 @@ a.headerlink:hover { #docs-body-container { background-color:#EFEFEF; border: solid 1px #CCC; - } #docs-body, @@ -166,6 +165,10 @@ a.headerlink:hover { } +#docs-body { + min-height: 400px; +} + #docs-sidebar > ul { font-size:.85em; } @@ -339,7 +342,7 @@ div.admonition, div.topic, .deprecated, .versionadded, .versionchanged { .deprecated .versionmodified, .versionadded > p:first-child > span:first-child, .versionchanged > p:first-child > span:first-child, -.deprecated > p:first-child > span:first-child +.deprecated > p:first-child > span:first-child { background-color: #ECF0F3; color: #990000; |
