diff options
-rw-r--r-- | doc/_static/coverage.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/_static/coverage.css b/doc/_static/coverage.css index 7a67a007..9726bbf4 100644 --- a/doc/_static/coverage.css +++ b/doc/_static/coverage.css @@ -14,3 +14,16 @@ img.tideliftlogo { border: 1px solid #888; margin-top: .5em !important; } + +/* .. parsed-literal:: isn't styled like other <pre> blocks!? */ + +.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; +} |