##// END OF EJS Templates
calc max-width for Firefox...
Min RK -
Show More
@@ -107,7 +107,7 b' div.output_subarea {'
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:
109 // appears to be needed for max-width in children to mean anything on Firefox:
110 max-width: 100%;
110 max-width: calc(~"100% - 14ex");
111 }
111 }
112
112
113 /* 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,7 +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 max-width: calc(100% - 14ex);
894 }
894 }
895 /* 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
896 output types */
896 output types */
@@ -9682,7 +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 max-width: calc(100% - 14ex);
9686 }
9686 }
9687 /* 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
9688 output types */
9688 output types */
General Comments 0
You need to be logged in to leave comments. Login now