##// END OF EJS Templates
Merge pull request #8082 from minrk/output-z-index...
Matthias Bussonnier -
r20739:b484c72e merge
parent child Browse files
Show More
@@ -1,7 +1,9 b''
1 div.output_wrapper {
1 div.output_wrapper {
2 /* this position must be relative to enable descendents to be absolute within it */
2 /* this position must be relative to enable descendents to be absolute within it */
3 position: relative;
3 position: relative;
4 .vbox()
4 .vbox();
5 // avoid scrolled output overlaying input in some strange circumstances
6 z-index: 1;
5 }
7 }
6
8
7 /* class for the output area when it should be height-limited */
9 /* class for the output area when it should be height-limited */
@@ -747,6 +747,7 b' div.output_wrapper {'
747 display: flex;
747 display: flex;
748 flex-direction: column;
748 flex-direction: column;
749 align-items: stretch;
749 align-items: stretch;
750 z-index: 1;
750 }
751 }
751 /* class for the output area when it should be height-limited */
752 /* class for the output area when it should be height-limited */
752 div.output_scroll {
753 div.output_scroll {
@@ -9536,6 +9536,7 b' div.output_wrapper {'
9536 display: flex;
9536 display: flex;
9537 flex-direction: column;
9537 flex-direction: column;
9538 align-items: stretch;
9538 align-items: stretch;
9539 z-index: 1;
9539 }
9540 }
9540 /* class for the output area when it should be height-limited */
9541 /* class for the output area when it should be height-limited */
9541 div.output_scroll {
9542 div.output_scroll {
General Comments 0
You need to be logged in to leave comments. Login now