##// END OF EJS Templates
Merge pull request #7489 from parente/scroll-overflow-5967...
Min RK -
r20172:882075e7 merge
parent child Browse files
Show More
@@ -92,7 +92,7 b' div.output_area pre {'
92 92 /* This class is for the output subarea inside the output_area and after
93 93 the prompt div. */
94 94 div.output_subarea {
95 padding: @code_padding @code_padding 0.0em @code_padding;
95 padding: @code_padding;
96 96 .box-flex1();
97 97 }
98 98
@@ -867,7 +867,7 b' div.output_area pre {'
867 867 /* This class is for the output subarea inside the output_area and after
868 868 the prompt div. */
869 869 div.output_subarea {
870 padding: 0.4em 0.4em 0em 0.4em;
870 padding: 0.4em;
871 871 /* Old browsers */
872 872 -webkit-box-flex: 1;
873 873 -moz-box-flex: 1;
@@ -9491,7 +9491,7 b' div.output_area pre {'
9491 9491 /* This class is for the output subarea inside the output_area and after
9492 9492 the prompt div. */
9493 9493 div.output_subarea {
9494 padding: 0.4em 0.4em 0em 0.4em;
9494 padding: 0.4em;
9495 9495 /* Old browsers */
9496 9496 -webkit-box-flex: 1;
9497 9497 -moz-box-flex: 1;
General Comments 0
You need to be logged in to leave comments. Login now