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