##// END OF EJS Templates
Merge pull request #7683 from minrk/fill-height...
Jonathan Frederic -
r20341:c4718984 merge
parent child Browse files
Show More
@@ -8,12 +8,14 b''
8
8
9 #ipython-main-app {
9 #ipython-main-app {
10 .border-box-sizing();
10 .border-box-sizing();
11 height: 100%;
11 }
12 }
12
13
13 div#notebook_panel {
14 div#notebook_panel {
14 margin: 0px;
15 margin: 0px;
15 padding: 0px;
16 padding: 0px;
16 .border-box-sizing();
17 .border-box-sizing();
18 height: 100%;
17 }
19 }
18
20
19 #notebook {
21 #notebook {
@@ -27,6 +29,7 b' div#notebook_panel {'
27 margin: 0px;
29 margin: 0px;
28 outline: none;
30 outline: none;
29 .border-box-sizing();
31 .border-box-sizing();
32 min-height: 100%;
30 }
33 }
31
34
32 #notebook-container{
35 #notebook-container{
@@ -10358,6 +10358,7 b' h6:hover .anchor-link {'
10358 box-sizing: border-box;
10358 box-sizing: border-box;
10359 -moz-box-sizing: border-box;
10359 -moz-box-sizing: border-box;
10360 -webkit-box-sizing: border-box;
10360 -webkit-box-sizing: border-box;
10361 height: 100%;
10361 }
10362 }
10362 div#notebook_panel {
10363 div#notebook_panel {
10363 margin: 0px;
10364 margin: 0px;
@@ -10365,6 +10366,7 b' div#notebook_panel {'
10365 box-sizing: border-box;
10366 box-sizing: border-box;
10366 -moz-box-sizing: border-box;
10367 -moz-box-sizing: border-box;
10367 -webkit-box-sizing: border-box;
10368 -webkit-box-sizing: border-box;
10369 height: 100%;
10368 }
10370 }
10369 #notebook {
10371 #notebook {
10370 font-size: 14px;
10372 font-size: 14px;
@@ -10379,6 +10381,7 b' div#notebook_panel {'
10379 box-sizing: border-box;
10381 box-sizing: border-box;
10380 -moz-box-sizing: border-box;
10382 -moz-box-sizing: border-box;
10381 -webkit-box-sizing: border-box;
10383 -webkit-box-sizing: border-box;
10384 min-height: 100%;
10382 }
10385 }
10383 @media not print {
10386 @media not print {
10384 #notebook-container {
10387 #notebook-container {
General Comments 0
You need to be logged in to leave comments. Login now