diff options
-rw-r--r-- | doc/_static/demo.css | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/doc/_static/demo.css b/doc/_static/demo.css index ec4468b3..987f0f28 100644 --- a/doc/_static/demo.css +++ b/doc/_static/demo.css @@ -3,6 +3,7 @@ border-radius: 0; border: 1px solid #ccc; margin-top: 15px; + margin-bottom: 10px; padding: 10px 15px 5px 10px; position: relative; } @@ -19,12 +20,24 @@ } #hlcode { - padding: 10px 0; + margin: 10px 0; + max-height: 500px; + overflow: auto; + border: 1px solid #ccc; +} + +#hlcode:empty { + display: none; } #hlcode pre { background-color: transparent; - border-radius: 0; + border: 0; + margin: 0; +} +#hlcode table { + /* unset negative margin from pygments14.css */ + margin: unset; } #code-header:not([hidden]) { |