All browsers lack a margin when code block ends a section:
Compare with margin at the end of section which ends with \<p> block:
All browsers set margin-top and margin-bottom on p to 1em. So the fix is setting margin-top and margin-bottom on div.highlight analogously to 1em. But I am not sure if it is to be fixed in this or in parent theme (Sphinx's classic).
All browsers lack a margin when code block ends a section:
Compare with margin at the end of section which ends with \<p> block:
All browsers set margin-top and margin-bottom on p to 1em. So the fix is setting margin-top and margin-bottom on div.highlight analogously to 1em. But I am not sure if it is to be fixed in this or in parent theme (Sphinx's classic).
Does someone know where to fix it?