##// END OF EJS Templates
Merge pull request #7718 from jdfreder/widecontents...
Min RK -
r20930:4010cb7f merge
parent child Browse files
Show More
@@ -94,6 +94,8 b' div.output_area pre {'
94 /* This class is for the output subarea inside the output_area and after
94 /* This class is for the output subarea inside the output_area and after
95 the prompt div. */
95 the prompt div. */
96 div.output_subarea {
96 div.output_subarea {
97 // Don't let contents overflow page area.
98 overflow-x: auto;
97 padding: @code_padding;
99 padding: @code_padding;
98 .box-flex1();
100 .box-flex1();
99 }
101 }
@@ -873,6 +873,7 b' div.output_area pre {'
873 /* This class is for the output subarea inside the output_area and after
873 /* This class is for the output subarea inside the output_area and after
874 the prompt div. */
874 the prompt div. */
875 div.output_subarea {
875 div.output_subarea {
876 overflow-x: auto;
876 padding: 0.4em;
877 padding: 0.4em;
877 /* Old browsers */
878 /* Old browsers */
878 -webkit-box-flex: 1;
879 -webkit-box-flex: 1;
@@ -9665,6 +9665,7 b' div.output_area pre {'
9665 /* This class is for the output subarea inside the output_area and after
9665 /* This class is for the output subarea inside the output_area and after
9666 the prompt div. */
9666 the prompt div. */
9667 div.output_subarea {
9667 div.output_subarea {
9668 overflow-x: auto;
9668 padding: 0.4em;
9669 padding: 0.4em;
9669 /* Old browsers */
9670 /* Old browsers */
9670 -webkit-box-flex: 1;
9671 -webkit-box-flex: 1;
General Comments 0
You need to be logged in to leave comments. Login now