diff options
author | Matthias Geier <Matthias.Geier@gmail.com> | 2020-05-12 16:56:39 +0300 |
---|---|---|
committer | Matthias Geier <Matthias.Geier@gmail.com> | 2020-05-12 16:56:39 +0300 |
commit | 0dc6e3ac458dd6c10ed2c7bd03ca95bd694d7ec6 (patch) | |
tree | 7ca43522017673f381c335618b177d36ccbd2a59 /sphinx/themes/basic/static/basic.css_t | |
parent | e0d884f39bd874d43eff377f048a81eb6dd76f2f (diff) |
basic CSS: move code block margin to outer <div>
Diffstat (limited to 'sphinx/themes/basic/static/basic.css_t')
-rw-r--r-- | sphinx/themes/basic/static/basic.css_t | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t index 67ab2a63e..55ee887f3 100644 --- a/sphinx/themes/basic/static/basic.css_t +++ b/sphinx/themes/basic/static/basic.css_t @@ -680,6 +680,10 @@ span.pre { hyphens: none; } +div[class^="highlight-"] { + margin: 1em 0; +} + td.linenos pre { border: 0; background-color: transparent; @@ -688,7 +692,6 @@ td.linenos pre { table.highlighttable { display: block; - margin: 1em 0; } table.highlighttable tbody { @@ -717,11 +720,12 @@ table.highlighttable td.code { display: block; } +div.highlight pre, table.highlighttable pre { margin: 0; } -div.code-block-caption + div > table.highlighttable { +div.code-block-caption + div { margin-top: 0; } @@ -735,10 +739,6 @@ div.code-block-caption code { background-color: transparent; } -div.code-block-caption + div > div.highlight > pre { - margin-top: 0; -} - table.highlighttable td.linenos, div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */ user-select: none; |