##// END OF EJS Templates
Merge pull request #7721 from jdfreder/widecontents2...
Jonathan Frederic -
r20410:0fc9bb0c merge
parent child Browse files
Show More
@@ -131,6 +131,13 b' div.output_png {'
131 131 div.output_jpeg {
132 132 }
133 133
134 // Prevent the image outputs from being wider than the page.
135 div.output_png div.ui-wrapper,
136 div.output_svg div.ui-wrapper,
137 div.output_jpeg div.ui-wrapper {
138 max-width: 100%
139 }
140
134 141 /* Empty output_javascript divs should have no height */
135 142 div.output_javascript:empty {
136 143 padding: 0;
@@ -897,6 +897,11 b' div.output_stderr {'
897 897 div.output_latex {
898 898 text-align: left;
899 899 }
900 div.output_png div.ui-wrapper,
901 div.output_svg div.ui-wrapper,
902 div.output_jpeg div.ui-wrapper {
903 max-width: 100%;
904 }
900 905 /* Empty output_javascript divs should have no height */
901 906 div.output_javascript:empty {
902 907 padding: 0;
@@ -9673,6 +9673,11 b' div.output_stderr {'
9673 9673 div.output_latex {
9674 9674 text-align: left;
9675 9675 }
9676 div.output_png div.ui-wrapper,
9677 div.output_svg div.ui-wrapper,
9678 div.output_jpeg div.ui-wrapper {
9679 max-width: 100%;
9680 }
9676 9681 /* Empty output_javascript divs should have no height */
9677 9682 div.output_javascript:empty {
9678 9683 padding: 0;
General Comments 0
You need to be logged in to leave comments. Login now