diff options
Diffstat (limited to 'doc/_static/coverage.css')
| -rw-r--r-- | doc/_static/coverage.css | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/_static/coverage.css b/doc/_static/coverage.css index 15a55508..482936ab 100644 --- a/doc/_static/coverage.css +++ b/doc/_static/coverage.css @@ -15,10 +15,6 @@ img.tideliftlogo { margin-top: .5em !important; } -.rst-content div[class^="highlight"] { - margin-bottom: 12px; -} - .rst-content ol.arabic li { margin-bottom: 12px; } @@ -46,11 +42,11 @@ img.tideliftlogo { .rst-content pre.literal-block { white-space: pre; - margin: 0 !important; padding: 12px 12px !important; font-family: Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace; font-size: 12px; display: block; overflow: auto; color: #404040; + background: #efc; } |
