##// END OF EJS Templates
Merge pull request #7242 from jdfreder/terminal-fixes...
Brian E. Granger -
r19701:10bcecd7 merge
parent child Browse files
Show More
@@ -0,0 +1,7
1 /*This file contains any manual css for this page that needs to override the global styles.
2 This is only required when different pages style the same element differently. This is just
3 a hack to deal with our current css styles and no new styling should be added in this file.*/
4
5 body {
6 overflow: hidden;
7 }
@@ -10,7 +10,10 define([
10 10
11 11 var Page = function () {
12 12 this.bind_events();
13 this._resize_header();
13
14 // When the page is ready, resize the header.
15 var that = this;
16 $(function() { that._resize_header(); });
14 17 };
15 18
16 19 Page.prototype.bind_events = function () {
@@ -6,7 +6,7
6 6
7 7
8 8 body {
9 background-color: white;
9 background-color: @body-bg;
10 10 /* This makes sure that the body covers the entire window and needs to
11 11 be in a different element than the display: box in wrapper below */
12 12 position: absolute;
@@ -26,7 +26,6 div#header {
26 26 z-index: 100;
27 27
28 28 #header-container {
29 padding-left: 30px;
30 29 padding-bottom: 5px;
31 30 padding-top: 5px;
32 31 .border-box-sizing();
@@ -10,6 +10,9
10 10 @modal-inner-padding: 15px;
11 11 @grid-float-breakpoint: 540px;
12 12 @logo_height: 28px;
13 @border-radius-base: 2px;
14 @border-radius-small: 2px;
15 @grid-gutter-width: 0px;
13 16
14 17 // Disable modal slide-in from top animation.
15 18 .modal {
@@ -37,4 +40,13 label {
37 40 }
38 41
39 42 // Our own global variables for all pages go here
40
43 @global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
44 @global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
45 @page-header-padding: 20px;
46 /* Make the page background atleast 100% the height of the view port */
47 @page-backdrop-height: 100vh;
48 /* Make the page itself atleast 70% the height of the view port */
49 @page-min-height: 70vh;
50 @page-backdrop-color: #EEE;
51 @page-color: @body-bg;
52 @page-padding: 15px; No newline at end of file
@@ -1,9 +1,34
1 #texteditor-container {
2 border-bottom: 1px solid #ccc;
3 }
4 1
5 2 #filename {
6 3 font-size: 16pt;
7 4 display: table;
8 5 padding: 0px 5px;
9 6 }
7
8 #texteditor-backdrop {
9 padding-top: @page-header-padding;
10 padding-bottom: @page-header-padding;
11
12 @media not print{
13 min-height: @page-backdrop-height;
14 background-color: @page-backdrop-color;
15 }
16
17 #texteditor-container {
18 .CodeMirror-gutter, .CodeMirror-gutters {
19 @media print {
20 background-color: @body-bg;
21 }
22 @media not print {
23 background-color: @page-color;
24 }
25 }
26
27 @media not print{
28 padding: 0px;
29 background-color : @page-color;
30 min-height: @page-min-height;
31 .box-shadow(@global-shadow);
32 }
33 }
34 }
@@ -12,3 +12,19
12 12 overflow: auto;
13 13 max-height: 20em;
14 14 }
15
16 #current-mode {
17 margin-right: @padding-large-horizontal;
18 }
19
20 .edit_app {
21 #header {
22 .box-shadow(@global-shadow);
23 }
24
25 #menubar .navbar {
26 /* Use a negative 1 bottom margin, so the border overlaps the border of the
27 header */
28 margin-bottom: -1px;
29 }
30 }
1 NO CONTENT: modified file
@@ -12,8 +12,12
12 12 padding-right: 4px;
13 13 .hbox();
14 14 .end();
15 @media print{
16 display: none;
17 }
15 18 }
16 19
20
17 21 .ctb_hideshow {
18 22 display:none;
19 23 vertical-align:bottom;
@@ -11,6 +11,7
11 11
12 12 .CodeMirror {
13 13 line-height: @code_line_height; /* Changed from 1em to our global default */
14 font-size: @notebook_font_size;
14 15 height: auto; /* Changed to auto to autogrow */
15 16 background: none; /* Changed from white to allow our bg to show through */
16 17 }
@@ -1,5 +1,4
1 1 #kernel_logo_widget {
2 margin-right: 1em;
3 2 .pull-right();
4 3
5 4 .current_kernel_logo {
@@ -1,8 +1,3
1
2 body {
3 background-color: @body-bg;
4 }
5
6 1 @media (max-width: 767px) {
7 2 // remove bootstrap-responsive's body padding on small screens
8 3 body.notebook_app {
@@ -16,9 +11,13 body {
16 11 }
17 12
18 13 div#notebook_panel {
19 margin: 0px 0px 0px 0px;
14 margin: 0px;
20 15 padding: 0px;
21 16 .border-box-sizing();
17 @media not print {
18 background-color: @page-backdrop-color;
19 min-height: @page-backdrop-height;
20 }
22 21 }
23 22 div#notebook {
24 23 font-size: @notebook_font_size;
@@ -26,13 +25,23 div#notebook {
26 25 overflow-y: hidden;
27 26 overflow-x: auto;
28 27 width: 100%;
29 /* This spaces the cell away from the edge of the notebook area */
30 padding: 2em 0 2em 0;
28 /* This spaces the page away from the edge of the notebook area */
29 padding-top: @page-header-padding;
30 padding-bottom: @page-header-padding;
31 31 margin: 0px;
32 32 outline: none;
33 33 .border-box-sizing();
34 34 }
35 35
36 #notebook-container{
37 @media not print{
38 padding: @page-padding;
39 background-color : @page-color;
40 min-height: @page-min-height;
41 .box-shadow(@global-shadow);
42 }
43 }
44
36 45 div.ui-widget-content {
37 46 border: 1px solid @border_color;
38 47 outline: none;
@@ -75,5 +84,5 p {
75 84 }
76 85
77 86 .notebook_app #header {
78 .box-shadow(@notebook-shadow);
87 .box-shadow(@global-shadow);
79 88 }
@@ -10,6 +10,8 div#pager {
10 10 max-height: 50%;
11 11 padding-top: 8px;
12 12
13 .box-shadow(@global-shadow);
14
13 15 /* Display over codemirror */
14 16 z-index: 100;
15 17
@@ -49,11 +51,6 div#pager {
49 51 border-top: 1px solid @light_border_color;
50 52 border-bottom: 1px solid @light_border_color;
51 53
52 /* Similar to the notebook header's shadow, but not
53 exactly the same. The settings had to be adjusted
54 to get the shadow to show. */
55 .box-shadow(1px 4px 9px -3px rgba(0, 0, 0, 0.15));
56
57 54 /* This injects handle bars (a short, wide = symbol) for
58 55 the resize handle. */
59 56 &::after {
@@ -5,6 +5,7 span.save_widget {
5 5 height: 1em;
6 6 line-height: 1em;
7 7 padding: 3px;
8 margin-left: @padding-large-horizontal;
8 9 border: none;
9 10 font-size: 146.5%;
10 11 &:hover{
@@ -33,7 +33,7
33 33 margin-top: -8px;
34 34 border: 0px;
35 35 min-height: 27px;
36 margin-left: 32px;
36 margin-left: 0px;
37 37 padding-top: 11px;
38 38 padding-bottom: 3px;
39 39
@@ -10,7 +10,6
10 10 @notebook_line_height: 20px;
11 11 @code_line_height: 1.21429em; // changed from 1.231 to get 17px even
12 12 @code_padding: 0.4em; // 5.6 px
13 @notebook-shadow: 1px 4px 9px -6px rgba(0,0,0,.25);
14 13 @rendered_html_border_color: black;
15 14 @input_prompt_color: navy;
16 15 @output_prompt_color: darkred;
@@ -18,13 +18,15 pre {
18 18 label {
19 19 font-weight: normal;
20 20 }
21 /* Make the page background atleast 100% the height of the view port */
22 /* Make the page itself atleast 70% the height of the view port */
21 23 .border-box-sizing {
22 24 box-sizing: border-box;
23 25 -moz-box-sizing: border-box;
24 26 -webkit-box-sizing: border-box;
25 27 }
26 28 .corner-all {
27 border-radius: 4px;
29 border-radius: 2px;
28 30 }
29 31 .no-padding {
30 32 padding: 0px;
@@ -349,7 +351,7 div.cell {
349 351 display: flex;
350 352 flex-direction: column;
351 353 align-items: stretch;
352 border-radius: 4px;
354 border-radius: 2px;
353 355 box-sizing: border-box;
354 356 -moz-box-sizing: border-box;
355 357 -webkit-box-sizing: border-box;
@@ -420,7 +422,7 div.inner_cell {
420 422 /* input_area and input_prompt must match in top border and margin for alignment */
421 423 div.input_area {
422 424 border: 1px solid #cfcfcf;
423 border-radius: 4px;
425 border-radius: 2px;
424 426 background: #f7f7f7;
425 427 line-height: 1.21429em;
426 428 }
@@ -449,7 +451,7 div.unrecognized_cell {
449 451 align-items: stretch;
450 452 }
451 453 div.unrecognized_cell .inner_cell {
452 border-radius: 4px;
454 border-radius: 2px;
453 455 padding: 5px;
454 456 font-weight: bold;
455 457 color: red;
@@ -543,6 +545,7 div.input_area > div.highlight > pre {
543 545 .CodeMirror {
544 546 line-height: 1.21429em;
545 547 /* Changed from 1em to our global default */
548 font-size: 14px;
546 549 height: auto;
547 550 /* Changed to auto to autogrow */
548 551 background: none;
@@ -563,8 +566,8 div.input_area > div.highlight > pre {
563 566 padding: 0 8px 0 4px;
564 567 }
565 568 .CodeMirror-gutters {
566 border-bottom-left-radius: 4px;
567 border-top-left-radius: 4px;
569 border-bottom-left-radius: 2px;
570 border-top-left-radius: 2px;
568 571 }
569 572 .CodeMirror pre {
570 573 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
@@ -750,7 +753,7 div.output_scroll {
750 753 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
751 754 width: 100%;
752 755 overflow: auto;
753 border-radius: 4px;
756 border-radius: 2px;
754 757 -webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
755 758 box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
756 759 display: block;
@@ -778,7 +781,7 div.out_prompt_overlay {
778 781 height: 100%;
779 782 padding: 0px 0.4em;
780 783 position: absolute;
781 border-radius: 4px;
784 border-radius: 2px;
782 785 }
783 786 div.out_prompt_overlay:hover {
784 787 /* use inner shadow to get border that is computed the same on WebKit/FF */
@@ -1269,7 +1272,7 h6:hover .anchor-link {
1269 1272 /* Slider Track */
1270 1273 border: 1px solid #CCCCCC;
1271 1274 background: #FFFFFF;
1272 border-radius: 4px;
1275 border-radius: 2px;
1273 1276 /* Round the corners of the slide track */
1274 1277 }
1275 1278 .widget-hslider {
@@ -1307,7 +1310,7 h6:hover .anchor-link {
1307 1310 /* Slider Track */
1308 1311 border: 1px solid #CCCCCC;
1309 1312 background: #FFFFFF;
1310 border-radius: 4px;
1313 border-radius: 2px;
1311 1314 /* Round the corners of the slide track */
1312 1315 /* Make the div a flex box (makes FF behave correctly). */
1313 1316 /* Old browsers */
@@ -1374,7 +1377,7 h6:hover .anchor-link {
1374 1377 /* Slider Track */
1375 1378 border: 1px solid #CCCCCC;
1376 1379 background: #FFFFFF;
1377 border-radius: 4px;
1380 border-radius: 2px;
1378 1381 /* Round the corners of the slide track */
1379 1382 /* Make the div a flex box (makes FF behave correctly). */
1380 1383 /* Old browsers */
@@ -29,4 +29,5
29 29 // notebook
30 30 @import "../notebook/less/style.less";
31 31
32 @import "../notebook/less/terminal.less";
32 // terminal
33 @import "../terminal/less/terminal.less";
@@ -321,7 +321,7 img {
321 321 line-height: 1.42857143;
322 322 background-color: #ffffff;
323 323 border: 1px solid #dddddd;
324 border-radius: 4px;
324 border-radius: 2px;
325 325 -webkit-transition: all 0.2s ease-in-out;
326 326 transition: all 0.2s ease-in-out;
327 327 display: inline-block;
@@ -695,14 +695,14 code {
695 695 color: #c7254e;
696 696 background-color: #f9f2f4;
697 697 white-space: nowrap;
698 border-radius: 4px;
698 border-radius: 2px;
699 699 }
700 700 kbd {
701 701 padding: 2px 4px;
702 702 font-size: 90%;
703 703 color: #ffffff;
704 704 background-color: #333333;
705 border-radius: 3px;
705 border-radius: 2px;
706 706 box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.25);
707 707 }
708 708 pre {
@@ -716,7 +716,7 pre {
716 716 color: #333333;
717 717 background-color: #f5f5f5;
718 718 border: 1px solid #cccccc;
719 border-radius: 4px;
719 border-radius: 2px;
720 720 }
721 721 pre code {
722 722 padding: 0;
@@ -733,39 +733,39 pre code {
733 733 .container {
734 734 margin-right: auto;
735 735 margin-left: auto;
736 padding-left: 15px;
737 padding-right: 15px;
736 padding-left: 0px;
737 padding-right: 0px;
738 738 }
739 739 @media (min-width: 768px) {
740 740 .container {
741 width: 750px;
741 width: 720px;
742 742 }
743 743 }
744 744 @media (min-width: 992px) {
745 745 .container {
746 width: 970px;
746 width: 940px;
747 747 }
748 748 }
749 749 @media (min-width: 1200px) {
750 750 .container {
751 width: 1170px;
751 width: 1140px;
752 752 }
753 753 }
754 754 .container-fluid {
755 755 margin-right: auto;
756 756 margin-left: auto;
757 padding-left: 15px;
758 padding-right: 15px;
757 padding-left: 0px;
758 padding-right: 0px;
759 759 }
760 760 .row {
761 margin-left: -15px;
762 margin-right: -15px;
761 margin-left: 0px;
762 margin-right: 0px;
763 763 }
764 764 .col-xs-1, .col-sm-1, .col-md-1, .col-lg-1, .col-xs-2, .col-sm-2, .col-md-2, .col-lg-2, .col-xs-3, .col-sm-3, .col-md-3, .col-lg-3, .col-xs-4, .col-sm-4, .col-md-4, .col-lg-4, .col-xs-5, .col-sm-5, .col-md-5, .col-lg-5, .col-xs-6, .col-sm-6, .col-md-6, .col-lg-6, .col-xs-7, .col-sm-7, .col-md-7, .col-lg-7, .col-xs-8, .col-sm-8, .col-md-8, .col-lg-8, .col-xs-9, .col-sm-9, .col-md-9, .col-lg-9, .col-xs-10, .col-sm-10, .col-md-10, .col-lg-10, .col-xs-11, .col-sm-11, .col-md-11, .col-lg-11, .col-xs-12, .col-sm-12, .col-md-12, .col-lg-12 {
765 765 position: relative;
766 766 min-height: 1px;
767 padding-left: 15px;
768 padding-right: 15px;
767 padding-left: 0px;
768 padding-right: 0px;
769 769 }
770 770 .col-xs-1, .col-xs-2, .col-xs-3, .col-xs-4, .col-xs-5, .col-xs-6, .col-xs-7, .col-xs-8, .col-xs-9, .col-xs-10, .col-xs-11, .col-xs-12 {
771 771 float: left;
@@ -1696,7 +1696,7 output {
1696 1696 background-color: #ffffff;
1697 1697 background-image: none;
1698 1698 border: 1px solid #cccccc;
1699 border-radius: 4px;
1699 border-radius: 2px;
1700 1700 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
1701 1701 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
1702 1702 -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
@@ -1795,7 +1795,7 fieldset[disabled] .checkbox-inline {
1795 1795 padding: 5px 10px;
1796 1796 font-size: 12px;
1797 1797 line-height: 1.5;
1798 border-radius: 3px;
1798 border-radius: 2px;
1799 1799 }
1800 1800 select.input-sm {
1801 1801 height: 30px;
@@ -1972,8 +1972,8 select[multiple].input-lg {
1972 1972 min-height: 25px;
1973 1973 }
1974 1974 .form-horizontal .form-group {
1975 margin-left: -15px;
1976 margin-right: -15px;
1975 margin-left: 0px;
1976 margin-right: 0px;
1977 1977 }
1978 1978 .form-horizontal .form-control-static {
1979 1979 padding-top: 7px;
@@ -1985,7 +1985,7 select[multiple].input-lg {
1985 1985 }
1986 1986 .form-horizontal .has-feedback .form-control-feedback {
1987 1987 top: 0;
1988 right: 15px;
1988 right: 0px;
1989 1989 }
1990 1990 .btn {
1991 1991 display: inline-block;
@@ -2000,7 +2000,7 select[multiple].input-lg {
2000 2000 padding: 6px 12px;
2001 2001 font-size: 13px;
2002 2002 line-height: 1.42857143;
2003 border-radius: 4px;
2003 border-radius: 2px;
2004 2004 -webkit-user-select: none;
2005 2005 -moz-user-select: none;
2006 2006 -ms-user-select: none;
@@ -2326,14 +2326,14 fieldset[disabled] .btn-link:focus {
2326 2326 padding: 5px 10px;
2327 2327 font-size: 12px;
2328 2328 line-height: 1.5;
2329 border-radius: 3px;
2329 border-radius: 2px;
2330 2330 }
2331 2331 .btn-xs,
2332 2332 .btn-group-xs > .btn {
2333 2333 padding: 1px 5px;
2334 2334 font-size: 12px;
2335 2335 line-height: 1.5;
2336 border-radius: 3px;
2336 border-radius: 2px;
2337 2337 }
2338 2338 .btn-block {
2339 2339 display: block;
@@ -3017,7 +3017,7 input[type="button"].btn-block {
3017 3017 background-color: #ffffff;
3018 3018 border: 1px solid #cccccc;
3019 3019 border: 1px solid rgba(0, 0, 0, 0.15);
3020 border-radius: 4px;
3020 border-radius: 2px;
3021 3021 -webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
3022 3022 box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
3023 3023 background-clip: padding-box;
@@ -3248,12 +3248,12 input[type="button"].btn-block {
3248 3248 border-radius: 0;
3249 3249 }
3250 3250 .btn-group-vertical > .btn:first-child:not(:last-child) {
3251 border-top-right-radius: 4px;
3251 border-top-right-radius: 2px;
3252 3252 border-bottom-right-radius: 0;
3253 3253 border-bottom-left-radius: 0;
3254 3254 }
3255 3255 .btn-group-vertical > .btn:last-child:not(:first-child) {
3256 border-bottom-left-radius: 4px;
3256 border-bottom-left-radius: 2px;
3257 3257 border-top-right-radius: 0;
3258 3258 border-top-left-radius: 0;
3259 3259 }
@@ -3335,7 +3335,7 select[multiple].input-group-lg > .input-group-btn > .btn {
3335 3335 padding: 5px 10px;
3336 3336 font-size: 12px;
3337 3337 line-height: 1.5;
3338 border-radius: 3px;
3338 border-radius: 2px;
3339 3339 }
3340 3340 select.input-group-sm > .form-control,
3341 3341 select.input-group-sm > .input-group-addon,
@@ -3376,12 +3376,12 select[multiple].input-group-sm > .input-group-btn > .btn {
3376 3376 text-align: center;
3377 3377 background-color: #eeeeee;
3378 3378 border: 1px solid #cccccc;
3379 border-radius: 4px;
3379 border-radius: 2px;
3380 3380 }
3381 3381 .input-group-addon.input-sm {
3382 3382 padding: 5px 10px;
3383 3383 font-size: 12px;
3384 border-radius: 3px;
3384 border-radius: 2px;
3385 3385 }
3386 3386 .input-group-addon.input-lg {
3387 3387 padding: 10px 16px;
@@ -3497,7 +3497,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3497 3497 margin-right: 2px;
3498 3498 line-height: 1.42857143;
3499 3499 border: 1px solid transparent;
3500 border-radius: 4px 4px 0 0;
3500 border-radius: 2px 2px 0 0;
3501 3501 }
3502 3502 .nav-tabs > li > a:hover {
3503 3503 border-color: #eeeeee #eeeeee #dddddd;
@@ -3537,7 +3537,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3537 3537 }
3538 3538 .nav-tabs.nav-justified > li > a {
3539 3539 margin-right: 0;
3540 border-radius: 4px;
3540 border-radius: 2px;
3541 3541 }
3542 3542 .nav-tabs.nav-justified > .active > a,
3543 3543 .nav-tabs.nav-justified > .active > a:hover,
@@ -3547,7 +3547,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3547 3547 @media (min-width: 768px) {
3548 3548 .nav-tabs.nav-justified > li > a {
3549 3549 border-bottom: 1px solid #dddddd;
3550 border-radius: 4px 4px 0 0;
3550 border-radius: 2px 2px 0 0;
3551 3551 }
3552 3552 .nav-tabs.nav-justified > .active > a,
3553 3553 .nav-tabs.nav-justified > .active > a:hover,
@@ -3559,7 +3559,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3559 3559 float: left;
3560 3560 }
3561 3561 .nav-pills > li > a {
3562 border-radius: 4px;
3562 border-radius: 2px;
3563 3563 }
3564 3564 .nav-pills > li + li {
3565 3565 margin-left: 2px;
@@ -3605,7 +3605,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3605 3605 }
3606 3606 .nav-tabs-justified > li > a {
3607 3607 margin-right: 0;
3608 border-radius: 4px;
3608 border-radius: 2px;
3609 3609 }
3610 3610 .nav-tabs-justified > .active > a,
3611 3611 .nav-tabs-justified > .active > a:hover,
@@ -3615,7 +3615,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3615 3615 @media (min-width: 768px) {
3616 3616 .nav-tabs-justified > li > a {
3617 3617 border-bottom: 1px solid #dddddd;
3618 border-radius: 4px 4px 0 0;
3618 border-radius: 2px 2px 0 0;
3619 3619 }
3620 3620 .nav-tabs-justified > .active > a,
3621 3621 .nav-tabs-justified > .active > a:hover,
@@ -3642,7 +3642,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3642 3642 }
3643 3643 @media (min-width: 540px) {
3644 3644 .navbar {
3645 border-radius: 4px;
3645 border-radius: 2px;
3646 3646 }
3647 3647 }
3648 3648 @media (min-width: 540px) {
@@ -3653,8 +3653,8 select[multiple].input-group-sm > .input-group-btn > .btn {
3653 3653 .navbar-collapse {
3654 3654 max-height: 340px;
3655 3655 overflow-x: visible;
3656 padding-right: 15px;
3657 padding-left: 15px;
3656 padding-right: 0px;
3657 padding-left: 0px;
3658 3658 border-top: 1px solid transparent;
3659 3659 box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1);
3660 3660 -webkit-overflow-scrolling: touch;
@@ -3688,8 +3688,8 select[multiple].input-group-sm > .input-group-btn > .btn {
3688 3688 .container-fluid > .navbar-header,
3689 3689 .container > .navbar-collapse,
3690 3690 .container-fluid > .navbar-collapse {
3691 margin-right: -15px;
3692 margin-left: -15px;
3691 margin-right: 0px;
3692 margin-left: 0px;
3693 3693 }
3694 3694 @media (min-width: 540px) {
3695 3695 .container > .navbar-header,
@@ -3733,7 +3733,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3733 3733 }
3734 3734 .navbar-brand {
3735 3735 float: left;
3736 padding: 6px 15px;
3736 padding: 6px 0px;
3737 3737 font-size: 17px;
3738 3738 line-height: 18px;
3739 3739 height: 30px;
@@ -3745,20 +3745,20 select[multiple].input-group-sm > .input-group-btn > .btn {
3745 3745 @media (min-width: 540px) {
3746 3746 .navbar > .container .navbar-brand,
3747 3747 .navbar > .container-fluid .navbar-brand {
3748 margin-left: -15px;
3748 margin-left: 0px;
3749 3749 }
3750 3750 }
3751 3751 .navbar-toggle {
3752 3752 position: relative;
3753 3753 float: right;
3754 margin-right: 15px;
3754 margin-right: 0px;
3755 3755 padding: 9px 10px;
3756 3756 margin-top: -2px;
3757 3757 margin-bottom: -2px;
3758 3758 background-color: transparent;
3759 3759 background-image: none;
3760 3760 border: 1px solid transparent;
3761 border-radius: 4px;
3761 border-radius: 2px;
3762 3762 }
3763 3763 .navbar-toggle:focus {
3764 3764 outline: none;
@@ -3778,7 +3778,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3778 3778 }
3779 3779 }
3780 3780 .navbar-nav {
3781 margin: 3px -15px;
3781 margin: 3px 0px;
3782 3782 }
3783 3783 .navbar-nav > li > a {
3784 3784 padding-top: 10px;
@@ -3820,7 +3820,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3820 3820 padding-bottom: 6px;
3821 3821 }
3822 3822 .navbar-nav.navbar-right:last-child {
3823 margin-right: -15px;
3823 margin-right: 0px;
3824 3824 }
3825 3825 }
3826 3826 @media (min-width: 540px) {
@@ -3834,9 +3834,9 select[multiple].input-group-sm > .input-group-btn > .btn {
3834 3834 }
3835 3835 }
3836 3836 .navbar-form {
3837 margin-left: -15px;
3838 margin-right: -15px;
3839 padding: 10px 15px;
3837 margin-left: 0px;
3838 margin-right: 0px;
3839 padding: 10px 0px;
3840 3840 border-top: 1px solid transparent;
3841 3841 border-bottom: 1px solid transparent;
3842 3842 -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.1);
@@ -3896,7 +3896,7 select[multiple].input-group-sm > .input-group-btn > .btn {
3896 3896 box-shadow: none;
3897 3897 }
3898 3898 .navbar-form.navbar-right:last-child {
3899 margin-right: -15px;
3899 margin-right: 0px;
3900 3900 }
3901 3901 }
3902 3902 .navbar-nav > li > .dropdown-menu {
@@ -3927,8 +3927,8 select[multiple].input-group-sm > .input-group-btn > .btn {
3927 3927 @media (min-width: 540px) {
3928 3928 .navbar-text {
3929 3929 float: left;
3930 margin-left: 15px;
3931 margin-right: 15px;
3930 margin-left: 0px;
3931 margin-right: 0px;
3932 3932 }
3933 3933 .navbar-text.navbar-right:last-child {
3934 3934 margin-right: 0;
@@ -4111,7 +4111,7 select[multiple].input-group-sm > .input-group-btn > .btn {
4111 4111 margin-bottom: 18px;
4112 4112 list-style: none;
4113 4113 background-color: #f5f5f5;
4114 border-radius: 4px;
4114 border-radius: 2px;
4115 4115 }
4116 4116 .breadcrumb > li {
4117 4117 display: inline-block;
@@ -4128,7 +4128,7 select[multiple].input-group-sm > .input-group-btn > .btn {
4128 4128 display: inline-block;
4129 4129 padding-left: 0;
4130 4130 margin: 18px 0;
4131 border-radius: 4px;
4131 border-radius: 2px;
4132 4132 }
4133 4133 .pagination > li {
4134 4134 display: inline;
@@ -4148,13 +4148,13 select[multiple].input-group-sm > .input-group-btn > .btn {
4148 4148 .pagination > li:first-child > a,
4149 4149 .pagination > li:first-child > span {
4150 4150 margin-left: 0;
4151 border-bottom-left-radius: 4px;
4152 border-top-left-radius: 4px;
4151 border-bottom-left-radius: 2px;
4152 border-top-left-radius: 2px;
4153 4153 }
4154 4154 .pagination > li:last-child > a,
4155 4155 .pagination > li:last-child > span {
4156 border-bottom-right-radius: 4px;
4157 border-top-right-radius: 4px;
4156 border-bottom-right-radius: 2px;
4157 border-top-right-radius: 2px;
4158 4158 }
4159 4159 .pagination > li > a:hover,
4160 4160 .pagination > li > span:hover,
@@ -4209,13 +4209,13 select[multiple].input-group-sm > .input-group-btn > .btn {
4209 4209 }
4210 4210 .pagination-sm > li:first-child > a,
4211 4211 .pagination-sm > li:first-child > span {
4212 border-bottom-left-radius: 3px;
4213 border-top-left-radius: 3px;
4212 border-bottom-left-radius: 2px;
4213 border-top-left-radius: 2px;
4214 4214 }
4215 4215 .pagination-sm > li:last-child > a,
4216 4216 .pagination-sm > li:last-child > span {
4217 border-bottom-right-radius: 3px;
4218 border-top-right-radius: 3px;
4217 border-bottom-right-radius: 2px;
4218 border-top-right-radius: 2px;
4219 4219 }
4220 4220 .pager {
4221 4221 padding-left: 0;
@@ -4403,7 +4403,7 a.list-group-item.active > .badge,
4403 4403 line-height: 1.42857143;
4404 4404 background-color: #ffffff;
4405 4405 border: 1px solid #dddddd;
4406 border-radius: 4px;
4406 border-radius: 2px;
4407 4407 -webkit-transition: all 0.2s ease-in-out;
4408 4408 transition: all 0.2s ease-in-out;
4409 4409 }
@@ -4425,7 +4425,7 a.thumbnail.active {
4425 4425 padding: 15px;
4426 4426 margin-bottom: 18px;
4427 4427 border: 1px solid transparent;
4428 border-radius: 4px;
4428 border-radius: 2px;
4429 4429 }
4430 4430 .alert h4 {
4431 4431 margin-top: 0;
@@ -4515,7 +4515,7 a.thumbnail.active {
4515 4515 height: 18px;
4516 4516 margin-bottom: 18px;
4517 4517 background-color: #f5f5f5;
4518 border-radius: 4px;
4518 border-radius: 2px;
4519 4519 -webkit-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
4520 4520 box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
4521 4521 }
@@ -4611,13 +4611,13 a.thumbnail.active {
4611 4611 border: 1px solid #dddddd;
4612 4612 }
4613 4613 .list-group-item:first-child {
4614 border-top-right-radius: 4px;
4615 border-top-left-radius: 4px;
4614 border-top-right-radius: 2px;
4615 border-top-left-radius: 2px;
4616 4616 }
4617 4617 .list-group-item:last-child {
4618 4618 margin-bottom: 0;
4619 border-bottom-right-radius: 4px;
4620 border-bottom-left-radius: 4px;
4619 border-bottom-right-radius: 2px;
4620 border-bottom-left-radius: 2px;
4621 4621 }
4622 4622 .list-group-item > .badge {
4623 4623 float: right;
@@ -4754,7 +4754,7 a.list-group-item-danger.active:focus {
4754 4754 margin-bottom: 18px;
4755 4755 background-color: #ffffff;
4756 4756 border: 1px solid transparent;
4757 border-radius: 4px;
4757 border-radius: 2px;
4758 4758 -webkit-box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
4759 4759 box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
4760 4760 }
@@ -4764,8 +4764,8 a.list-group-item-danger.active:focus {
4764 4764 .panel-heading {
4765 4765 padding: 10px 15px;
4766 4766 border-bottom: 1px solid transparent;
4767 border-top-right-radius: 3px;
4768 border-top-left-radius: 3px;
4767 border-top-right-radius: 1px;
4768 border-top-left-radius: 1px;
4769 4769 }
4770 4770 .panel-heading > .dropdown .dropdown-toggle {
4771 4771 color: inherit;
@@ -4783,8 +4783,8 a.list-group-item-danger.active:focus {
4783 4783 padding: 10px 15px;
4784 4784 background-color: #f5f5f5;
4785 4785 border-top: 1px solid #dddddd;
4786 border-bottom-right-radius: 3px;
4787 border-bottom-left-radius: 3px;
4786 border-bottom-right-radius: 1px;
4787 border-bottom-left-radius: 1px;
4788 4788 }
4789 4789 .panel > .list-group {
4790 4790 margin-bottom: 0;
@@ -4795,13 +4795,13 a.list-group-item-danger.active:focus {
4795 4795 }
4796 4796 .panel > .list-group:first-child .list-group-item:first-child {
4797 4797 border-top: 0;
4798 border-top-right-radius: 3px;
4799 border-top-left-radius: 3px;
4798 border-top-right-radius: 1px;
4799 border-top-left-radius: 1px;
4800 4800 }
4801 4801 .panel > .list-group:last-child .list-group-item:last-child {
4802 4802 border-bottom: 0;
4803 border-bottom-right-radius: 3px;
4804 border-bottom-left-radius: 3px;
4803 border-bottom-right-radius: 1px;
4804 border-bottom-left-radius: 1px;
4805 4805 }
4806 4806 .panel-heading + .list-group .list-group-item:first-child {
4807 4807 border-top-width: 0;
@@ -4812,8 +4812,8 a.list-group-item-danger.active:focus {
4812 4812 }
4813 4813 .panel > .table:first-child,
4814 4814 .panel > .table-responsive:first-child > .table:first-child {
4815 border-top-right-radius: 3px;
4816 border-top-left-radius: 3px;
4815 border-top-right-radius: 1px;
4816 border-top-left-radius: 1px;
4817 4817 }
4818 4818 .panel > .table:first-child > thead:first-child > tr:first-child td:first-child,
4819 4819 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:first-child,
@@ -4823,7 +4823,7 a.list-group-item-danger.active:focus {
4823 4823 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:first-child,
4824 4824 .panel > .table:first-child > tbody:first-child > tr:first-child th:first-child,
4825 4825 .panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:first-child {
4826 border-top-left-radius: 3px;
4826 border-top-left-radius: 1px;
4827 4827 }
4828 4828 .panel > .table:first-child > thead:first-child > tr:first-child td:last-child,
4829 4829 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:last-child,
@@ -4833,12 +4833,12 a.list-group-item-danger.active:focus {
4833 4833 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:last-child,
4834 4834 .panel > .table:first-child > tbody:first-child > tr:first-child th:last-child,
4835 4835 .panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:last-child {
4836 border-top-right-radius: 3px;
4836 border-top-right-radius: 1px;
4837 4837 }
4838 4838 .panel > .table:last-child,
4839 4839 .panel > .table-responsive:last-child > .table:last-child {
4840 border-bottom-right-radius: 3px;
4841 border-bottom-left-radius: 3px;
4840 border-bottom-right-radius: 1px;
4841 border-bottom-left-radius: 1px;
4842 4842 }
4843 4843 .panel > .table:last-child > tbody:last-child > tr:last-child td:first-child,
4844 4844 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:first-child,
@@ -4848,7 +4848,7 a.list-group-item-danger.active:focus {
4848 4848 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:first-child,
4849 4849 .panel > .table:last-child > tfoot:last-child > tr:last-child th:first-child,
4850 4850 .panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:first-child {
4851 border-bottom-left-radius: 3px;
4851 border-bottom-left-radius: 1px;
4852 4852 }
4853 4853 .panel > .table:last-child > tbody:last-child > tr:last-child td:last-child,
4854 4854 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:last-child,
@@ -4858,7 +4858,7 a.list-group-item-danger.active:focus {
4858 4858 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:last-child,
4859 4859 .panel > .table:last-child > tfoot:last-child > tr:last-child th:last-child,
4860 4860 .panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:last-child {
4861 border-bottom-right-radius: 3px;
4861 border-bottom-right-radius: 1px;
4862 4862 }
4863 4863 .panel > .panel-body + .table,
4864 4864 .panel > .panel-body + .table-responsive {
@@ -4929,7 +4929,7 a.list-group-item-danger.active:focus {
4929 4929 }
4930 4930 .panel-group .panel {
4931 4931 margin-bottom: 0;
4932 border-radius: 4px;
4932 border-radius: 2px;
4933 4933 overflow: hidden;
4934 4934 }
4935 4935 .panel-group .panel + .panel {
@@ -5037,7 +5037,7 a.list-group-item-danger.active:focus {
5037 5037 margin-bottom: 20px;
5038 5038 background-color: #f5f5f5;
5039 5039 border: 1px solid #e3e3e3;
5040 border-radius: 4px;
5040 border-radius: 2px;
5041 5041 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
5042 5042 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
5043 5043 }
@@ -5051,7 +5051,7 a.list-group-item-danger.active:focus {
5051 5051 }
5052 5052 .well-sm {
5053 5053 padding: 9px;
5054 border-radius: 3px;
5054 border-radius: 2px;
5055 5055 }
5056 5056 .close {
5057 5057 float: right;
@@ -5228,7 +5228,7 button.close {
5228 5228 text-align: center;
5229 5229 text-decoration: none;
5230 5230 background-color: #000000;
5231 border-radius: 4px;
5231 border-radius: 2px;
5232 5232 }
5233 5233 .tooltip-arrow {
5234 5234 position: absolute;
@@ -7479,13 +7479,15 pre {
7479 7479 label {
7480 7480 font-weight: normal;
7481 7481 }
7482 /* Make the page background atleast 100% the height of the view port */
7483 /* Make the page itself atleast 70% the height of the view port */
7482 7484 .border-box-sizing {
7483 7485 box-sizing: border-box;
7484 7486 -moz-box-sizing: border-box;
7485 7487 -webkit-box-sizing: border-box;
7486 7488 }
7487 7489 .corner-all {
7488 border-radius: 4px;
7490 border-radius: 2px;
7489 7491 }
7490 7492 .no-padding {
7491 7493 padding: 0px;
@@ -7741,7 +7743,7 div.traceback-wrapper {
7741 7743 * Author: IPython Development Team
7742 7744 */
7743 7745 body {
7744 background-color: white;
7746 background-color: #ffffff;
7745 7747 /* This makes sure that the body covers the entire window and needs to
7746 7748 be in a different element than the display: box in wrapper below */
7747 7749 position: absolute;
@@ -7759,7 +7761,6 div#header {
7759 7761 z-index: 100;
7760 7762 }
7761 7763 div#header #header-container {
7762 padding-left: 30px;
7763 7764 padding-bottom: 5px;
7764 7765 padding-top: 5px;
7765 7766 box-sizing: border-box;
@@ -7993,7 +7994,7 ul.breadcrumb span {
7993 7994 margin-top: 4px;
7994 7995 margin-bottom: 20px;
7995 7996 border: 1px solid #ababab;
7996 border-radius: 4px;
7997 border-radius: 2px;
7997 7998 }
7998 7999 .list_container > div {
7999 8000 border-bottom: 1px solid #ababab;
@@ -8134,6 +8135,9 ul#new-menu {
8134 8135 .kernel-menu-icon-current:before {
8135 8136 content: "\f00c";
8136 8137 }
8138 #tab_content {
8139 padding-top: 20px;
8140 }
8137 8141 /*!
8138 8142 *
8139 8143 * IPython text editor webapp
@@ -8149,14 +8153,54 ul#new-menu {
8149 8153 overflow: auto;
8150 8154 max-height: 20em;
8151 8155 }
8152 #texteditor-container {
8153 border-bottom: 1px solid #ccc;
8156 #current-mode {
8157 margin-right: 16px;
8158 }
8159 .edit_app #header {
8160 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8161 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8162 }
8163 .edit_app #menubar .navbar {
8164 /* Use a negative 1 bottom margin, so the border overlaps the border of the
8165 header */
8166 margin-bottom: -1px;
8154 8167 }
8155 8168 #filename {
8156 8169 font-size: 16pt;
8157 8170 display: table;
8158 8171 padding: 0px 5px;
8159 8172 }
8173 #texteditor-backdrop {
8174 padding-top: 20px;
8175 padding-bottom: 20px;
8176 }
8177 @media not print {
8178 #texteditor-backdrop {
8179 min-height: 100vh;
8180 background-color: #eeeeee;
8181 }
8182 }
8183 @media print {
8184 #texteditor-backdrop #texteditor-container .CodeMirror-gutter,
8185 #texteditor-backdrop #texteditor-container .CodeMirror-gutters {
8186 background-color: #ffffff;
8187 }
8188 }
8189 @media not print {
8190 #texteditor-backdrop #texteditor-container .CodeMirror-gutter,
8191 #texteditor-backdrop #texteditor-container .CodeMirror-gutters {
8192 background-color: #ffffff;
8193 }
8194 }
8195 @media not print {
8196 #texteditor-backdrop #texteditor-container {
8197 padding: 0px;
8198 background-color: #ffffff;
8199 min-height: 70vh;
8200 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8201 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8202 }
8203 }
8160 8204 /*!
8161 8205 *
8162 8206 * IPython notebook
@@ -8232,7 +8276,7 div.cell {
8232 8276 display: flex;
8233 8277 flex-direction: column;
8234 8278 align-items: stretch;
8235 border-radius: 4px;
8279 border-radius: 2px;
8236 8280 box-sizing: border-box;
8237 8281 -moz-box-sizing: border-box;
8238 8282 -webkit-box-sizing: border-box;
@@ -8303,7 +8347,7 div.inner_cell {
8303 8347 /* input_area and input_prompt must match in top border and margin for alignment */
8304 8348 div.input_area {
8305 8349 border: 1px solid #cfcfcf;
8306 border-radius: 4px;
8350 border-radius: 2px;
8307 8351 background: #f7f7f7;
8308 8352 line-height: 1.21429em;
8309 8353 }
@@ -8332,7 +8376,7 div.unrecognized_cell {
8332 8376 align-items: stretch;
8333 8377 }
8334 8378 div.unrecognized_cell .inner_cell {
8335 border-radius: 4px;
8379 border-radius: 2px;
8336 8380 padding: 5px;
8337 8381 font-weight: bold;
8338 8382 color: red;
@@ -8426,6 +8470,7 div.input_area > div.highlight > pre {
8426 8470 .CodeMirror {
8427 8471 line-height: 1.21429em;
8428 8472 /* Changed from 1em to our global default */
8473 font-size: 14px;
8429 8474 height: auto;
8430 8475 /* Changed to auto to autogrow */
8431 8476 background: none;
@@ -8446,8 +8491,8 div.input_area > div.highlight > pre {
8446 8491 padding: 0 8px 0 4px;
8447 8492 }
8448 8493 .CodeMirror-gutters {
8449 border-bottom-left-radius: 4px;
8450 border-top-left-radius: 4px;
8494 border-bottom-left-radius: 2px;
8495 border-top-left-radius: 2px;
8451 8496 }
8452 8497 .CodeMirror pre {
8453 8498 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
@@ -8633,7 +8678,7 div.output_scroll {
8633 8678 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
8634 8679 width: 100%;
8635 8680 overflow: auto;
8636 border-radius: 4px;
8681 border-radius: 2px;
8637 8682 -webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
8638 8683 box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
8639 8684 display: block;
@@ -8661,7 +8706,7 div.out_prompt_overlay {
8661 8706 height: 100%;
8662 8707 padding: 0px 0.4em;
8663 8708 position: absolute;
8664 border-radius: 4px;
8709 border-radius: 2px;
8665 8710 }
8666 8711 div.out_prompt_overlay:hover {
8667 8712 /* use inner shadow to get border that is computed the same on WebKit/FF */
@@ -9152,7 +9197,7 h6:hover .anchor-link {
9152 9197 /* Slider Track */
9153 9198 border: 1px solid #CCCCCC;
9154 9199 background: #FFFFFF;
9155 border-radius: 4px;
9200 border-radius: 2px;
9156 9201 /* Round the corners of the slide track */
9157 9202 }
9158 9203 .widget-hslider {
@@ -9190,7 +9235,7 h6:hover .anchor-link {
9190 9235 /* Slider Track */
9191 9236 border: 1px solid #CCCCCC;
9192 9237 background: #FFFFFF;
9193 border-radius: 4px;
9238 border-radius: 2px;
9194 9239 /* Round the corners of the slide track */
9195 9240 /* Make the div a flex box (makes FF behave correctly). */
9196 9241 /* Old browsers */
@@ -9257,7 +9302,7 h6:hover .anchor-link {
9257 9302 /* Slider Track */
9258 9303 border: 1px solid #CCCCCC;
9259 9304 background: #FFFFFF;
9260 border-radius: 4px;
9305 border-radius: 2px;
9261 9306 /* Round the corners of the slide track */
9262 9307 /* Make the div a flex box (makes FF behave correctly). */
9263 9308 /* Old browsers */
@@ -9471,9 +9516,6 h6:hover .anchor-link {
9471 9516 * IPython notebook webapp
9472 9517 *
9473 9518 */
9474 body {
9475 background-color: #ffffff;
9476 }
9477 9519 @media (max-width: 767px) {
9478 9520 body.notebook_app {
9479 9521 padding-left: 0px;
@@ -9486,26 +9528,42 body {
9486 9528 -webkit-box-sizing: border-box;
9487 9529 }
9488 9530 div#notebook_panel {
9489 margin: 0px 0px 0px 0px;
9531 margin: 0px;
9490 9532 padding: 0px;
9491 9533 box-sizing: border-box;
9492 9534 -moz-box-sizing: border-box;
9493 9535 -webkit-box-sizing: border-box;
9494 9536 }
9537 @media not print {
9538 div#notebook_panel {
9539 background-color: #eeeeee;
9540 min-height: 100vh;
9541 }
9542 }
9495 9543 div#notebook {
9496 9544 font-size: 14px;
9497 9545 line-height: 20px;
9498 9546 overflow-y: hidden;
9499 9547 overflow-x: auto;
9500 9548 width: 100%;
9501 /* This spaces the cell away from the edge of the notebook area */
9502 padding: 2em 0 2em 0;
9549 /* This spaces the page away from the edge of the notebook area */
9550 padding-top: 20px;
9551 padding-bottom: 20px;
9503 9552 margin: 0px;
9504 9553 outline: none;
9505 9554 box-sizing: border-box;
9506 9555 -moz-box-sizing: border-box;
9507 9556 -webkit-box-sizing: border-box;
9508 9557 }
9558 @media not print {
9559 #notebook-container {
9560 padding: 15px;
9561 background-color: #ffffff;
9562 min-height: 70vh;
9563 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9564 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9565 }
9566 }
9509 9567 div.ui-widget-content {
9510 9568 border: 1px solid #ababab;
9511 9569 outline: none;
@@ -9513,7 +9571,7 div.ui-widget-content {
9513 9571 pre.dialog {
9514 9572 background-color: #f7f7f7;
9515 9573 border: 1px solid #ddd;
9516 border-radius: 4px;
9574 border-radius: 2px;
9517 9575 padding: 0.4em;
9518 9576 padding-left: 2em;
9519 9577 }
@@ -9545,15 +9603,15 p {
9545 9603 margin-bottom: -1px;
9546 9604 }
9547 9605 .notebook_app #header {
9548 -webkit-box-shadow: 1px 4px 9px -6px rgba(0, 0, 0, 0.25);
9549 box-shadow: 1px 4px 9px -6px rgba(0, 0, 0, 0.25);
9606 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9607 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9550 9608 }
9551 9609 /* CSS for the cell toolbar */
9552 9610 .celltoolbar {
9553 9611 border: thin solid #CFCFCF;
9554 9612 border-bottom: none;
9555 9613 background: #EEE;
9556 border-radius: 4px 4px 0px 0px;
9614 border-radius: 2px 2px 0px 0px;
9557 9615 width: 100%;
9558 9616 height: 29px;
9559 9617 padding-right: 4px;
@@ -9578,6 +9636,11 p {
9578 9636 /* Modern browsers */
9579 9637 justify-content: flex-end;
9580 9638 }
9639 @media print {
9640 .celltoolbar {
9641 display: none;
9642 }
9643 }
9581 9644 .ctb_hideshow {
9582 9645 display: none;
9583 9646 vertical-align: bottom;
@@ -9608,7 +9671,6 p {
9608 9671 background-color: #ffffff;
9609 9672 background-image: none;
9610 9673 border: 1px solid #cccccc;
9611 border-radius: 4px;
9612 9674 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
9613 9675 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
9614 9676 -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
@@ -9617,7 +9679,7 p {
9617 9679 padding: 5px 10px;
9618 9680 font-size: 12px;
9619 9681 line-height: 1.5;
9620 border-radius: 3px;
9682 border-radius: 2px;
9621 9683 width: inherit;
9622 9684 font-size: 87%;
9623 9685 height: 22px;
@@ -9666,7 +9728,7 select[multiple].celltoolbar select {
9666 9728 z-index: 10;
9667 9729 overflow: hidden;
9668 9730 border: 1px solid #ababab;
9669 border-radius: 4px;
9731 border-radius: 2px;
9670 9732 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
9671 9733 box-shadow: 0px 6px 10px -1px #adadad;
9672 9734 }
@@ -9686,7 +9748,6 select[multiple].celltoolbar select {
9686 9748 color: #3071a9;
9687 9749 }
9688 9750 #kernel_logo_widget {
9689 margin-right: 1em;
9690 9751 float: right !important;
9691 9752 float: right;
9692 9753 }
@@ -9704,7 +9765,7 select[multiple].celltoolbar select {
9704 9765 }
9705 9766 #menubar .navbar {
9706 9767 border-top: 1px;
9707 border-radius: 0px 0px 4px 4px;
9768 border-radius: 0px 0px 2px 2px;
9708 9769 margin-bottom: 6px;
9709 9770 }
9710 9771 #menubar .navbar-toggle {
@@ -10115,6 +10176,8 div#pager {
10115 10176 width: 100%;
10116 10177 max-height: 50%;
10117 10178 padding-top: 8px;
10179 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10180 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10118 10181 /* Display over codemirror */
10119 10182 z-index: 100;
10120 10183 /* Hack which prevents jquery ui resizable from changing top. */
@@ -10150,11 +10213,6 div#pager .ui-resizable-handle {
10150 10213 background: #f7f7f7;
10151 10214 border-top: 1px solid #cfcfcf;
10152 10215 border-bottom: 1px solid #cfcfcf;
10153 /* Similar to the notebook header's shadow, but not
10154 exactly the same. The settings had to be adjusted
10155 to get the shadow to show. */
10156 -webkit-box-shadow: 1px 4px 9px -3px rgba(0, 0, 0, 0.15);
10157 box-shadow: 1px 4px 9px -3px rgba(0, 0, 0, 0.15);
10158 10216 /* This injects handle bars (a short, wide = symbol) for
10159 10217 the resize handle. */
10160 10218 }
@@ -10206,9 +10264,10 span.save_widget span.filename {
10206 10264 height: 1em;
10207 10265 line-height: 1em;
10208 10266 padding: 3px;
10267 margin-left: 16px;
10209 10268 border: none;
10210 10269 font-size: 146.5%;
10211 border-radius: 4px;
10270 border-radius: 2px;
10212 10271 }
10213 10272 span.save_widget span.filename:hover {
10214 10273 background-color: #e6e6e6;
@@ -10268,7 +10327,7 span.autosave_status {
10268 10327 margin-top: -8px;
10269 10328 border: 0px;
10270 10329 min-height: 27px;
10271 margin-left: 32px;
10330 margin-left: 0px;
10272 10331 padding-top: 11px;
10273 10332 padding-bottom: 3px;
10274 10333 }
@@ -10384,7 +10443,7 span.autosave_status {
10384 10443 -moz-box-shadow: 0px 6px 10px -1px #adadad;
10385 10444 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
10386 10445 box-shadow: 0px 6px 10px -1px #adadad;
10387 border-radius: 4px;
10446 border-radius: 2px;
10388 10447 position: absolute;
10389 10448 z-index: 1000;
10390 10449 }
@@ -10423,17 +10482,24 span.autosave_status {
10423 10482 }
10424 10483 .terminal {
10425 10484 float: left;
10426 border: black solid 5px;
10427 font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
10428 font-size: 11px;
10485 font-family: monospace;
10429 10486 color: white;
10430 10487 background: black;
10488 padding: 0.4em;
10489 border-radius: 2px;
10490 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
10491 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
10492 }
10493 .terminal,
10494 .terminal dummy-screen {
10495 line-height: 1em;
10496 font-size: 14px;
10431 10497 }
10432 10498 .terminal-cursor {
10433 10499 color: black;
10434 10500 background: white;
10435 10501 }
10436 10502 #terminado-container {
10437 margin: 8px;
10503 margin-top: 20px;
10438 10504 }
10439 10505 /*# sourceMappingURL=style.min.css.map */ No newline at end of file
@@ -29,7 +29,7 require([
29 29 var header = $("#header")[0]
30 30 function calculate_size() {
31 31 height = window.innerHeight - header.offsetHeight;
32 width = window.innerWidth;
32 width = $('#terminado-container').width();
33 33 var rows = Math.min(1000, Math.max(20, Math.floor(height/termRowHeight())-1));
34 34 var cols = Math.min(1000, Math.max(40, Math.floor(width/termColWidth())-1));
35 35 console.log("resize to :", rows , 'rows by ', cols, 'columns');
@@ -1,10 +1,16
1 1 .terminal {
2 2 float: left;
3 border: black solid 5px;
4 font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
5 font-size: 11px;
3 font-family: monospace;
6 4 color: white;
7 5 background: black;
6 padding: @code_padding;
7 border-radius: @border-radius-base;
8 .box-shadow(@global-shadow-dark);
9
10 &, dummy-screen {
11 line-height: 1em;
12 font-size: @notebook_font_size;
13 }
8 14 }
9 15
10 16 .terminal-cursor {
@@ -13,5 +19,5
13 19 }
14 20
15 21 #terminado-container {
16 margin: 8px;
22 margin-top: @page-header-padding;
17 23 }
@@ -1,7 +1,3
1 1 /*This file contains any manual css for this page that needs to override the global styles.
2 2 This is only required when different pages style the same element differently. This is just
3 3 a hack to deal with our current css styles and no new styling should be added in this file.*/
4
5 #ipython-main-app {
6 margin: 28px auto 0px auto;
7 }
@@ -57,7 +57,7 ul.breadcrumb {
57 57 margin-top: @dashboard_tb_pad;
58 58 margin-bottom: 5*@dashboard_tb_pad;
59 59 border: 1px solid @border_color;
60 border-radius: 4px;
60 border-radius: @border-radius-base;
61 61 }
62 62
63 63 .list_container > div {
@@ -175,3 +175,7 ul#new-menu {
175 175 .kernel-menu-icon-current:before {
176 176 content: @fa-var-check;
177 177 }
178
179 #tab_content {
180 padding-top: @page-header-padding;
181 }
@@ -10,6 +10,7
10 10
11 11 {% block params %}
12 12
13 class="edit_app"
13 14 data-base-url="{{base_url}}"
14 15 data-file-path="{{file_path}}"
15 16
@@ -75,12 +76,15 data-file-path="{{file_path}}"
75 76 </div>
76 77 </div>
77 78
79 <div class="lower-header-bar"></div>
80
78 81 {% endblock %}
79 82
80 83 {% block site %}
81 84
82
85 <div id="texteditor-backdrop">
83 86 <div id="texteditor-container" class="container"></div>
87 </div>
84 88
85 89 {% endblock %}
86 90
@@ -105,6 +105,7
105 105 {% block header %}
106 106 {% endblock %}
107 107 </div>
108
108 109 <div id="header-spacer"></div>
109 110
110 111 <div id="site">
@@ -9,10 +9,15 data-ws-path="{{ws_path}}"
9 9
10 10 {% endblock %}
11 11
12 {% block stylesheet %}
13 {{super()}}
14
15 <link rel="stylesheet" href="{{ static_url("terminal/css/override.css") }}" type="text/css" />
16 {% endblock %}
12 17
13 18 {% block site %}
14 19
15 <div id="terminado-container"></div>
20 <div id="terminado-container" class="container"></div>
16 21
17 22 {% endblock %}
18 23
General Comments 0
You need to be logged in to leave comments. Login now