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