##// END OF EJS Templates
Merge pull request #7473 from Carreau/no-pager-jump...
Min RK -
r20127:f4b3fefe merge
parent child Browse files
Show More
@@ -70,6 +70,7 b' p {'
70
70
71 .end_space {
71 .end_space {
72 min-height: 100px;
72 min-height: 100px;
73 transition: height .2s ease;
73 }
74 }
74
75
75 .notebook_app #header {
76 .notebook_app #header {
@@ -10162,6 +10162,7 b' p {'
10162 }
10162 }
10163 .end_space {
10163 .end_space {
10164 min-height: 100px;
10164 min-height: 100px;
10165 transition: height .2s ease;
10165 }
10166 }
10166 .notebook_app #header {
10167 .notebook_app #header {
10167 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10168 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
General Comments 0
You need to be logged in to leave comments. Login now