##// END OF EJS Templates
set max-width on output_subarea...
Min RK -
Show More
@@ -106,6 +106,8 b' div.output_subarea {'
106 overflow-x: auto;
106 overflow-x: auto;
107 padding: @code_padding;
107 padding: @code_padding;
108 .box-flex1();
108 .box-flex1();
109 // appears to be needed for max-width in children to mean anything on Firefox:
110 max-width: 100%;
109 }
111 }
110
112
111 /* The rest of the output_* classes are for special styling of the different
113 /* The rest of the output_* classes are for special styling of the different
@@ -890,6 +890,7 b' div.output_subarea {'
890 box-flex: 1;
890 box-flex: 1;
891 /* Modern browsers */
891 /* Modern browsers */
892 flex: 1;
892 flex: 1;
893 max-width: 100%;
893 }
894 }
894 /* The rest of the output_* classes are for special styling of the different
895 /* The rest of the output_* classes are for special styling of the different
895 output types */
896 output types */
@@ -9682,6 +9682,7 b' div.output_subarea {'
9682 box-flex: 1;
9682 box-flex: 1;
9683 /* Modern browsers */
9683 /* Modern browsers */
9684 flex: 1;
9684 flex: 1;
9685 max-width: 100%;
9685 }
9686 }
9686 /* The rest of the output_* classes are for special styling of the different
9687 /* The rest of the output_* classes are for special styling of the different
9687 output types */
9688 output types */
General Comments 0
You need to be logged in to leave comments. Login now