##// 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 div.output_area pre {
94 94 /* This class is for the output subarea inside the output_area and after
95 95 the prompt div. */
96 96 div.output_subarea {
97 // Don't let contents overflow page area.
98 overflow-x: auto;
97 99 padding: @code_padding;
98 100 .box-flex1();
99 101 }
@@ -873,6 +873,7 div.output_area pre {
873 873 /* This class is for the output subarea inside the output_area and after
874 874 the prompt div. */
875 875 div.output_subarea {
876 overflow-x: auto;
876 877 padding: 0.4em;
877 878 /* Old browsers */
878 879 -webkit-box-flex: 1;
@@ -9665,6 +9665,7 div.output_area pre {
9665 9665 /* This class is for the output subarea inside the output_area and after
9666 9666 the prompt div. */
9667 9667 div.output_subarea {
9668 overflow-x: auto;
9668 9669 padding: 0.4em;
9669 9670 /* Old browsers */
9670 9671 -webkit-box-flex: 1;
General Comments 0
You need to be logged in to leave comments. Login now