Change 12771
Improve the presentation of pre-formatted
text in admonitions for the HTML output:
- remove the negative left/right margins so
that the border around the text doesn't
run into the admonition border.
- if the pre-formatted text is the last element
in an admonition, remove its bottom margin.
- adjust the border and background color of
the pre-formatted text to better match the
color of the different types of admonitions.
text in admonitions for the HTML output:
- remove the negative left/right margins so
that the border around the text doesn't
run into the admonition border.
- if the pre-formatted text is the last element
in an admonition, remove its bottom margin.
- adjust the border and background color of
the pre-formatted text to better match the
color of the different types of admonitions.