for Firefox
@ -106,6 +106,8 @@ div.output_subarea {
overflow-x: auto;
padding: @code_padding;
.box-flex1();
// appears to be needed for max-width in children to mean anything on Firefox:
max-width: 100%;
}
/* The rest of the output_* classes are for special styling of the different
@ -890,6 +890,7 @@ div.output_subarea {
box-flex: 1;
/* Modern browsers */
flex: 1;
output types */
@ -9682,6 +9682,7 @@ div.output_subarea {