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