##// END OF EJS Templates
remove some custom css...
Min RK -
Show More
@@ -33,7 +33,10 b' define(['
33 * @method style
33 * @method style
34 */
34 */
35 NotificationWidget.prototype.style = function () {
35 NotificationWidget.prototype.style = function () {
36 this.element.addClass('notification_widget');
36 // use explicit bootstrap classes here,
37 // because multiple inheritance in LESS doesn't work
38 // for this particular combination
39 this.element.addClass('notification_widget btn btn-xs navbar-btn');
37 };
40 };
38
41
39 /**
42 /**
@@ -20,20 +20,15 b' body {'
20 div#header {
20 div#header {
21 /* Initially hidden to prevent FLOUC */
21 /* Initially hidden to prevent FLOUC */
22 display: none;
22 display: none;
23 margin-bottom: -6px;
24 position: fixed;
25 top: 0;
26 width: 100%;
27 background-color: @body-bg;
23 background-color: @body-bg;
28 min-height: 31px;
29
24
30 /* Display over codemirror */
25 /* Display over codemirror */
31 z-index: 100;
26 z-index: 100;
32
27
33 #header-container {
28 #header-container {
34 margin-bottom: 0px;
35 padding-left: 30px;
29 padding-left: 30px;
36 padding-bottom: 5px;
30 padding-bottom: 5px;
31 padding-top: 5px;
37 .border-box-sizing();
32 .border-box-sizing();
38 }
33 }
39
34
@@ -51,6 +46,8 b' div#header {'
51
46
52 #ipython_notebook {
47 #ipython_notebook {
53 padding-left: 0px;
48 padding-left: 0px;
49 padding-top: (@navbar-height - @logo_height) / 2;
50 padding-bottom: (@navbar-height - @logo_height) / 2;
54 }
51 }
55
52
56 #noscript {
53 #noscript {
@@ -65,8 +62,8 b' div#header {'
65
62
66 #ipython_notebook img {
63 #ipython_notebook img {
67 font-family: Verdana, "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
64 font-family: Verdana, "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
68 height: 24px;
65 height: @logo_height;
69 text-decoration:none;
66 text-decoration: none;
70 color: black;
67 color: black;
71 }
68 }
72
69
@@ -85,9 +82,6 b' div#header {'
85 input.ui-button {
82 input.ui-button {
86 padding: 0.3em 0.9em;
83 padding: 0.3em 0.9em;
87 }
84 }
88 .navbar span {
89 margin-top: 3px;
90 }
91
85
92 span#login_widget {
86 span#login_widget {
93 float: right;
87 float: right;
@@ -96,9 +90,7 b' span#login_widget {'
96 span#login_widget > .button,
90 span#login_widget > .button,
97 #logout
91 #logout
98 {
92 {
99 .btn();
100 .btn-default();
93 .btn-default();
101 .btn-sm();
102 }
94 }
103
95
104 .nav-header {
96 .nav-header {
@@ -4,11 +4,12 b''
4 @text-color: @black;
4 @text-color: @black;
5 @font-size-base: 13px;
5 @font-size-base: 13px;
6 @font-family-monospace: monospace; // to allow user to customize their fonts
6 @font-family-monospace: monospace; // to allow user to customize their fonts
7 @navbar-height: 36px;
7 @navbar-height: 30px;
8 @breadcrumb-color: darken(@border_color, 30%);
8 @breadcrumb-color: darken(@border_color, 30%);
9 @blockquote-font-size: inherit;
9 @blockquote-font-size: inherit;
10 @modal-inner-padding: 15px;
10 @modal-inner-padding: 15px;
11 @grid-float-breakpoint: 540px;
11 @grid-float-breakpoint: 540px;
12 @logo_height: 24px;
12
13
13 // Disable modal slide-in from top animation.
14 // Disable modal slide-in from top animation.
14 .modal {
15 .modal {
@@ -1,11 +1,9 b''
1 #kernel_selector_widget {
1 #kernel_selector_widget {
2 margin-right: 1em;
2 margin-right: 1em;
3 float:right;
3 float: right;
4
4
5 & > button {
5 & > button {
6 .btn();
7 .btn-default();
6 .btn-default();
8 .btn-sm();
9
7
10 & > span.caret {
8 & > span.caret {
11 margin-top:0px;
9 margin-top:0px;
@@ -1,13 +1,10 b''
1 #menubar {
1 #menubar {
2 margin-top: 0px;
3 margin-bottom: -24px;
4 position: relative;
5 .border-box-sizing();
2 .border-box-sizing();
6
3
7 .navbar {
4 .navbar {
8 border-top: 1px;
5 border-top: 1px;
9 border-radius: 0px 0px @border-radius-base @border-radius-base;
6 border-radius: 0px 0px @border-radius-base @border-radius-base;
10 margin-bottom: 23px;
7 margin-bottom: 6px;
11 }
8 }
12
9
13 .navbar-toggle {
10 .navbar-toggle {
@@ -17,19 +14,6 b''
17 clear: left;
14 clear: left;
18 }
15 }
19
16
20 li.dropdown {
21 line-height: 12px;
22
23 a {
24 padding-top: 6px;
25 padding-bottom: 5px;
26 }
27 }
28
29 ul.navbar-right {
30 padding-top: 2px;
31 margin-bottom: 0px;
32 }
33 }
17 }
34
18
35 .nav-wrapper {
19 .nav-wrapper {
@@ -49,10 +33,6 b' ul#help_menu li a{'
49 }
33 }
50 }
34 }
51
35
52 #menus {
53 min-height: 30px;
54 }
55
56 // Make sub menus work in BS3.
36 // Make sub menus work in BS3.
57 // Credit: http://www.bootply.com/86684
37 // Credit: http://www.bootply.com/86684
58 .dropdown-submenu{position:relative;}
38 .dropdown-submenu{position:relative;}
@@ -1,13 +1,12 b''
1 #notification_area {
1 #notification_area {
2 .pull-right();
2 .pull-right();
3
4 z-index: 10;
3 z-index: 10;
5 }
4 }
6
5
7 .indicator_area {
6 .indicator_area {
8 color: @navbar-default-link-color;
7 color: @navbar-default-link-color;
9 padding: 4px 3px;
8 margin-left: 5px;
10 margin: 0px;
9 margin-right: 5px;
11 width: 11px;
10 width: 11px;
12 z-index: 10;
11 z-index: 10;
13 text-align: center;
12 text-align: center;
@@ -16,15 +15,11 b''
16 #kernel_indicator {
15 #kernel_indicator {
17 .pull-right();
16 .pull-right();
18 .indicator_area();
17 .indicator_area();
19
20 margin-right: 12px;
21 }
18 }
22
19
23 #modal_indicator {
20 #modal_indicator {
24 .pull-right();
21 .pull-right();
25 .indicator_area();
22 .indicator_area();
26
27 margin-right: 5px;
28 }
23 }
29
24
30 .edit_mode_icon:before {
25 .edit_mode_icon:before {
@@ -1,19 +1,8 b''
1 .notification_widget {
1 .notification_widget {
2 color: @navbar-default-link-color;
2 color: @navbar-default-link-color;
3 padding: 1px 12px;
4 margin: 2px 4px;
5 z-index: 10;
3 z-index: 10;
6 border-radius: @border-radius-base;
7 background: @notification_widget_bg;
4 background: @notification_widget_bg;
8 .pull-right();
9 .border-box-sizing();
10 .btn();
11 .btn-default();
5 .btn-default();
12 .btn-xs();
13
14 &.span {
15 padding-right:2px;
16 }
17 }
6 }
18
7
19 .notification_widget.warning {
8 .notification_widget.warning {
@@ -1,6 +1,5 b''
1 span#save_widget {
1 span#save_widget {
2 padding: 0px 5px;
2 margin-top: 6px;
3 margin-top: 12px;
4 }
3 }
5
4
6 span#checkpoint_status, span#autosave_status {
5 span#checkpoint_status, span#autosave_status {
@@ -495,7 +495,7 b' div.input {'
495 }
495 }
496 /* input_area and input_prompt must match in top border and margin for alignment */
496 /* input_area and input_prompt must match in top border and margin for alignment */
497 div.input_prompt {
497 div.input_prompt {
498 color: #000080;
498 color: navy;
499 border-top: 1px solid transparent;
499 border-top: 1px solid transparent;
500 }
500 }
501 div.input_area > div.highlight {
501 div.input_area > div.highlight {
@@ -767,7 +767,7 b' div.out_prompt_overlay:hover {'
767 background: rgba(240, 240, 240, 0.5);
767 background: rgba(240, 240, 240, 0.5);
768 }
768 }
769 div.output_prompt {
769 div.output_prompt {
770 color: #8b0000;
770 color: darkred;
771 }
771 }
772 /* This class is the outer container of all output sections. */
772 /* This class is the outer container of all output sections. */
773 div.output_area {
773 div.output_area {
@@ -840,7 +840,7 b' div.output_area pre {'
840 padding: 0;
840 padding: 0;
841 border: 0;
841 border: 0;
842 vertical-align: baseline;
842 vertical-align: baseline;
843 color: #000000;
843 color: black;
844 background-color: transparent;
844 background-color: transparent;
845 border-radius: 0;
845 border-radius: 0;
846 }
846 }
@@ -1033,8 +1033,8 b' div.output_unrecognized a:hover {'
1033 margin-top: 1em;
1033 margin-top: 1em;
1034 }
1034 }
1035 .rendered_html hr {
1035 .rendered_html hr {
1036 color: #000000;
1036 color: black;
1037 background-color: #000000;
1037 background-color: black;
1038 }
1038 }
1039 .rendered_html pre {
1039 .rendered_html pre {
1040 margin: 1em 2em;
1040 margin: 1em 2em;
@@ -1053,13 +1053,13 b' div.output_unrecognized a:hover {'
1053 .rendered_html table {
1053 .rendered_html table {
1054 margin-left: auto;
1054 margin-left: auto;
1055 margin-right: auto;
1055 margin-right: auto;
1056 border: 1px solid #000000;
1056 border: 1px solid black;
1057 border-collapse: collapse;
1057 border-collapse: collapse;
1058 }
1058 }
1059 .rendered_html tr,
1059 .rendered_html tr,
1060 .rendered_html th,
1060 .rendered_html th,
1061 .rendered_html td {
1061 .rendered_html td {
1062 border: 1px solid #000000;
1062 border: 1px solid black;
1063 border-collapse: collapse;
1063 border-collapse: collapse;
1064 margin: 1em 2em;
1064 margin: 1em 2em;
1065 }
1065 }
@@ -1559,4 +1559,4 b' h6:hover .anchor-link {'
1559 left: 0px !important;
1559 left: 0px !important;
1560 margin-left: 0px !important;
1560 margin-left: 0px !important;
1561 }
1561 }
1562 /*# sourceMappingURL=../style/ipython.min.css.map */ No newline at end of file
1562 /*# sourceMappingURL=ipython.min.css.map */ No newline at end of file
@@ -3636,7 +3636,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3636 }
3636 }
3637 .navbar {
3637 .navbar {
3638 position: relative;
3638 position: relative;
3639 min-height: 36px;
3639 min-height: 30px;
3640 margin-bottom: 18px;
3640 margin-bottom: 18px;
3641 border: 1px solid transparent;
3641 border: 1px solid transparent;
3642 }
3642 }
@@ -3733,10 +3733,10 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: 9px 15px;
3736 padding: 6px 15px;
3737 font-size: 17px;
3737 font-size: 17px;
3738 line-height: 18px;
3738 line-height: 18px;
3739 height: 36px;
3739 height: 30px;
3740 }
3740 }
3741 .navbar-brand:hover,
3741 .navbar-brand:hover,
3742 .navbar-brand:focus {
3742 .navbar-brand:focus {
@@ -3753,8 +3753,8 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3753 float: right;
3753 float: right;
3754 margin-right: 15px;
3754 margin-right: 15px;
3755 padding: 9px 10px;
3755 padding: 9px 10px;
3756 margin-top: 1px;
3756 margin-top: -2px;
3757 margin-bottom: 1px;
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;
@@ -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: 4.5px -15px;
3781 margin: 3px -15px;
3782 }
3782 }
3783 .navbar-nav > li > a {
3783 .navbar-nav > li > a {
3784 padding-top: 10px;
3784 padding-top: 10px;
@@ -3816,8 +3816,8 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3816 float: left;
3816 float: left;
3817 }
3817 }
3818 .navbar-nav > li > a {
3818 .navbar-nav > li > a {
3819 padding-top: 9px;
3819 padding-top: 6px;
3820 padding-bottom: 9px;
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: -15px;
@@ -3841,8 +3841,8 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
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);
3843 box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.1);
3843 box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.1);
3844 margin-top: 2px;
3844 margin-top: -1px;
3845 margin-bottom: 2px;
3845 margin-bottom: -1px;
3846 }
3846 }
3847 @media (min-width: 768px) {
3847 @media (min-width: 768px) {
3848 .navbar-form .form-group {
3848 .navbar-form .form-group {
@@ -3909,20 +3909,20 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3909 border-bottom-left-radius: 0;
3909 border-bottom-left-radius: 0;
3910 }
3910 }
3911 .navbar-btn {
3911 .navbar-btn {
3912 margin-top: 2px;
3912 margin-top: -1px;
3913 margin-bottom: 2px;
3913 margin-bottom: -1px;
3914 }
3914 }
3915 .navbar-btn.btn-sm {
3915 .navbar-btn.btn-sm {
3916 margin-top: 3px;
3916 margin-top: 0px;
3917 margin-bottom: 3px;
3917 margin-bottom: 0px;
3918 }
3918 }
3919 .navbar-btn.btn-xs {
3919 .navbar-btn.btn-xs {
3920 margin-top: 7px;
3920 margin-top: 4px;
3921 margin-bottom: 7px;
3921 margin-bottom: 4px;
3922 }
3922 }
3923 .navbar-text {
3923 .navbar-text {
3924 margin-top: 9px;
3924 margin-top: 6px;
3925 margin-bottom: 9px;
3925 margin-bottom: 6px;
3926 }
3926 }
3927 @media (min-width: 540px) {
3927 @media (min-width: 540px) {
3928 .navbar-text {
3928 .navbar-text {
@@ -7751,19 +7751,17 b' body {'
7751 div#header {
7751 div#header {
7752 /* Initially hidden to prevent FLOUC */
7752 /* Initially hidden to prevent FLOUC */
7753 display: none;
7753 display: none;
7754 margin-bottom: -6px;
7755 position: fixed;
7756 top: 0;
7757 width: 100%;
7758 background-color: #ffffff;
7754 background-color: #ffffff;
7759 min-height: 31px;
7755 box-sizing: border-box;
7756 -moz-box-sizing: border-box;
7757 -webkit-box-sizing: border-box;
7760 /* Display over codemirror */
7758 /* Display over codemirror */
7761 z-index: 100;
7759 z-index: 100;
7762 }
7760 }
7763 div#header #header-container {
7761 div#header #header-container {
7764 margin-bottom: 0px;
7765 padding-left: 30px;
7762 padding-left: 30px;
7766 padding-bottom: 5px;
7763 padding-bottom: 5px;
7764 padding-top: 5px;
7767 box-sizing: border-box;
7765 box-sizing: border-box;
7768 -moz-box-sizing: border-box;
7766 -moz-box-sizing: border-box;
7769 -webkit-box-sizing: border-box;
7767 -webkit-box-sizing: border-box;
@@ -7779,6 +7777,8 b' div#header .header-bar {'
7779 }
7777 }
7780 #ipython_notebook {
7778 #ipython_notebook {
7781 padding-left: 0px;
7779 padding-left: 0px;
7780 padding-top: 3px;
7781 padding-bottom: 3px;
7782 }
7782 }
7783 #noscript {
7783 #noscript {
7784 width: auto;
7784 width: auto;
@@ -7810,77 +7810,14 b' div#header .header-bar {'
7810 input.ui-button {
7810 input.ui-button {
7811 padding: 0.3em 0.9em;
7811 padding: 0.3em 0.9em;
7812 }
7812 }
7813 .navbar span {
7814 margin-top: 3px;
7815 }
7816 span#login_widget {
7813 span#login_widget {
7817 float: right;
7814 float: right;
7818 }
7815 }
7819 span#login_widget > .button,
7816 span#login_widget > .button,
7820 #logout {
7817 #logout {
7821 display: inline-block;
7822 margin-bottom: 0;
7823 font-weight: normal;
7824 text-align: center;
7825 vertical-align: middle;
7826 cursor: pointer;
7827 background-image: none;
7828 border: 1px solid transparent;
7829 white-space: nowrap;
7830 padding: 6px 12px;
7831 font-size: 13px;
7832 line-height: 1.42857143;
7833 border-radius: 4px;
7834 -webkit-user-select: none;
7835 -moz-user-select: none;
7836 -ms-user-select: none;
7837 user-select: none;
7838 color: #333333;
7818 color: #333333;
7839 background-color: #ffffff;
7819 background-color: #ffffff;
7840 border-color: #cccccc;
7820 border-color: #cccccc;
7841 padding: 5px 10px;
7842 font-size: 12px;
7843 line-height: 1.5;
7844 border-radius: 3px;
7845 }
7846 span#login_widget > .button:focus,
7847 #logout:focus,
7848 span#login_widget > .button:active:focus,
7849 #logout:active:focus,
7850 span#login_widget > .button.active:focus,
7851 #logout.active:focus {
7852 outline: thin dotted;
7853 outline: 5px auto -webkit-focus-ring-color;
7854 outline-offset: -2px;
7855 }
7856 span#login_widget > .button:hover,
7857 #logout:hover,
7858 span#login_widget > .button:focus,
7859 #logout:focus {
7860 color: #333333;
7861 text-decoration: none;
7862 }
7863 span#login_widget > .button:active,
7864 #logout:active,
7865 span#login_widget > .button.active,
7866 #logout.active {
7867 outline: 0;
7868 background-image: none;
7869 -webkit-box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
7870 box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
7871 }
7872 span#login_widget > .button.disabled,
7873 #logout.disabled,
7874 span#login_widget > .button[disabled],
7875 #logout[disabled],
7876 fieldset[disabled] span#login_widget > .button,
7877 fieldset[disabled] #logout {
7878 cursor: not-allowed;
7879 pointer-events: none;
7880 opacity: 0.65;
7881 filter: alpha(opacity=65);
7882 -webkit-box-shadow: none;
7883 box-shadow: none;
7884 }
7821 }
7885 span#login_widget > .button:hover,
7822 span#login_widget > .button:hover,
7886 #logout:hover,
7823 #logout:hover,
@@ -8401,7 +8338,7 b' div.input {'
8401 }
8338 }
8402 /* input_area and input_prompt must match in top border and margin for alignment */
8339 /* input_area and input_prompt must match in top border and margin for alignment */
8403 div.input_prompt {
8340 div.input_prompt {
8404 color: #000080;
8341 color: navy;
8405 border-top: 1px solid transparent;
8342 border-top: 1px solid transparent;
8406 }
8343 }
8407 div.input_area > div.highlight {
8344 div.input_area > div.highlight {
@@ -8673,7 +8610,7 b' div.out_prompt_overlay:hover {'
8673 background: rgba(240, 240, 240, 0.5);
8610 background: rgba(240, 240, 240, 0.5);
8674 }
8611 }
8675 div.output_prompt {
8612 div.output_prompt {
8676 color: #8b0000;
8613 color: darkred;
8677 }
8614 }
8678 /* This class is the outer container of all output sections. */
8615 /* This class is the outer container of all output sections. */
8679 div.output_area {
8616 div.output_area {
@@ -8746,7 +8683,7 b' div.output_area pre {'
8746 padding: 0;
8683 padding: 0;
8747 border: 0;
8684 border: 0;
8748 vertical-align: baseline;
8685 vertical-align: baseline;
8749 color: #000000;
8686 color: black;
8750 background-color: transparent;
8687 background-color: transparent;
8751 border-radius: 0;
8688 border-radius: 0;
8752 }
8689 }
@@ -8939,8 +8876,8 b' div.output_unrecognized a:hover {'
8939 margin-top: 1em;
8876 margin-top: 1em;
8940 }
8877 }
8941 .rendered_html hr {
8878 .rendered_html hr {
8942 color: #000000;
8879 color: black;
8943 background-color: #000000;
8880 background-color: black;
8944 }
8881 }
8945 .rendered_html pre {
8882 .rendered_html pre {
8946 margin: 1em 2em;
8883 margin: 1em 2em;
@@ -8959,13 +8896,13 b' div.output_unrecognized a:hover {'
8959 .rendered_html table {
8896 .rendered_html table {
8960 margin-left: auto;
8897 margin-left: auto;
8961 margin-right: auto;
8898 margin-right: auto;
8962 border: 1px solid #000000;
8899 border: 1px solid black;
8963 border-collapse: collapse;
8900 border-collapse: collapse;
8964 }
8901 }
8965 .rendered_html tr,
8902 .rendered_html tr,
8966 .rendered_html th,
8903 .rendered_html th,
8967 .rendered_html td {
8904 .rendered_html td {
8968 border: 1px solid #000000;
8905 border: 1px solid black;
8969 border-collapse: collapse;
8906 border-collapse: collapse;
8970 margin: 1em 2em;
8907 margin: 1em 2em;
8971 }
8908 }
@@ -9700,59 +9637,9 b' select[multiple].celltoolbar select {'
9700 float: right;
9637 float: right;
9701 }
9638 }
9702 #kernel_selector_widget > button {
9639 #kernel_selector_widget > button {
9703 display: inline-block;
9704 margin-bottom: 0;
9705 font-weight: normal;
9706 text-align: center;
9707 vertical-align: middle;
9708 cursor: pointer;
9709 background-image: none;
9710 border: 1px solid transparent;
9711 white-space: nowrap;
9712 padding: 6px 12px;
9713 font-size: 13px;
9714 line-height: 1.42857143;
9715 border-radius: 4px;
9716 -webkit-user-select: none;
9717 -moz-user-select: none;
9718 -ms-user-select: none;
9719 user-select: none;
9720 color: #333333;
9640 color: #333333;
9721 background-color: #ffffff;
9641 background-color: #ffffff;
9722 border-color: #cccccc;
9642 border-color: #cccccc;
9723 padding: 5px 10px;
9724 font-size: 12px;
9725 line-height: 1.5;
9726 border-radius: 3px;
9727 }
9728 #kernel_selector_widget > button:focus,
9729 #kernel_selector_widget > button:active:focus,
9730 #kernel_selector_widget > button.active:focus {
9731 outline: thin dotted;
9732 outline: 5px auto -webkit-focus-ring-color;
9733 outline-offset: -2px;
9734 }
9735 #kernel_selector_widget > button:hover,
9736 #kernel_selector_widget > button:focus {
9737 color: #333333;
9738 text-decoration: none;
9739 }
9740 #kernel_selector_widget > button:active,
9741 #kernel_selector_widget > button.active {
9742 outline: 0;
9743 background-image: none;
9744 -webkit-box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
9745 box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
9746 }
9747 #kernel_selector_widget > button.disabled,
9748 #kernel_selector_widget > button[disabled],
9749 fieldset[disabled] #kernel_selector_widget > button {
9750 cursor: not-allowed;
9751 pointer-events: none;
9752 opacity: 0.65;
9753 filter: alpha(opacity=65);
9754 -webkit-box-shadow: none;
9755 box-shadow: none;
9756 }
9643 }
9757 #kernel_selector_widget > button:hover,
9644 #kernel_selector_widget > button:hover,
9758 #kernel_selector_widget > button:focus,
9645 #kernel_selector_widget > button:focus,
@@ -9795,8 +9682,6 b' fieldset[disabled] #kernel_selector_widget > button.active {'
9795 }
9682 }
9796 #menubar {
9683 #menubar {
9797 margin-top: 0px;
9684 margin-top: 0px;
9798 margin-bottom: -24px;
9799 position: relative;
9800 box-sizing: border-box;
9685 box-sizing: border-box;
9801 -moz-box-sizing: border-box;
9686 -moz-box-sizing: border-box;
9802 -webkit-box-sizing: border-box;
9687 -webkit-box-sizing: border-box;
@@ -9804,7 +9689,7 b' fieldset[disabled] #kernel_selector_widget > button.active {'
9804 #menubar .navbar {
9689 #menubar .navbar {
9805 border-top: 1px;
9690 border-top: 1px;
9806 border-radius: 0px 0px 4px 4px;
9691 border-radius: 0px 0px 4px 4px;
9807 margin-bottom: 23px;
9692 margin-bottom: 6px;
9808 }
9693 }
9809 #menubar .navbar-toggle {
9694 #menubar .navbar-toggle {
9810 float: left;
9695 float: left;
@@ -9812,17 +9697,6 b' fieldset[disabled] #kernel_selector_widget > button.active {'
9812 #menubar .navbar-collapse {
9697 #menubar .navbar-collapse {
9813 clear: left;
9698 clear: left;
9814 }
9699 }
9815 #menubar li.dropdown {
9816 line-height: 12px;
9817 }
9818 #menubar li.dropdown a {
9819 padding-top: 6px;
9820 padding-bottom: 5px;
9821 }
9822 #menubar ul.navbar-right {
9823 padding-top: 2px;
9824 margin-bottom: 0px;
9825 }
9826 .nav-wrapper {
9700 .nav-wrapper {
9827 border-bottom: 1px solid #e7e7e7;
9701 border-bottom: 1px solid #e7e7e7;
9828 }
9702 }
@@ -9836,9 +9710,6 b' ul#help_menu li a {'
9836 ul#help_menu li a i {
9710 ul#help_menu li a i {
9837 margin-right: -1.2em;
9711 margin-right: -1.2em;
9838 }
9712 }
9839 #menus {
9840 min-height: 30px;
9841 }
9842 .dropdown-submenu {
9713 .dropdown-submenu {
9843 position: relative;
9714 position: relative;
9844 }
9715 }
@@ -9887,8 +9758,8 b' ul#help_menu li a i {'
9887 }
9758 }
9888 .indicator_area {
9759 .indicator_area {
9889 color: #777777;
9760 color: #777777;
9890 padding: 4px 3px;
9761 margin-left: 5px;
9891 margin: 0px;
9762 margin-right: 5px;
9892 width: 11px;
9763 width: 11px;
9893 z-index: 10;
9764 z-index: 10;
9894 text-align: center;
9765 text-align: center;
@@ -9897,23 +9768,21 b' ul#help_menu li a i {'
9897 float: right !important;
9768 float: right !important;
9898 float: right;
9769 float: right;
9899 color: #777777;
9770 color: #777777;
9900 padding: 4px 3px;
9771 margin-left: 5px;
9901 margin: 0px;
9772 margin-right: 5px;
9902 width: 11px;
9773 width: 11px;
9903 z-index: 10;
9774 z-index: 10;
9904 text-align: center;
9775 text-align: center;
9905 margin-right: 12px;
9906 }
9776 }
9907 #modal_indicator {
9777 #modal_indicator {
9908 float: right !important;
9778 float: right !important;
9909 float: right;
9779 float: right;
9910 color: #777777;
9780 color: #777777;
9911 padding: 4px 3px;
9781 margin-left: 5px;
9912 margin: 0px;
9782 margin-right: 5px;
9913 width: 11px;
9783 width: 11px;
9914 z-index: 10;
9784 z-index: 10;
9915 text-align: center;
9785 text-align: center;
9916 margin-right: 5px;
9917 }
9786 }
9918 .edit_mode_icon:before {
9787 .edit_mode_icon:before {
9919 display: inline-block;
9788 display: inline-block;
@@ -10007,68 +9876,11 b' ul#help_menu li a i {'
10007 }
9876 }
10008 .notification_widget {
9877 .notification_widget {
10009 color: #777777;
9878 color: #777777;
10010 padding: 1px 12px;
10011 margin: 2px 4px;
10012 z-index: 10;
9879 z-index: 10;
10013 background: rgba(240, 240, 240, 0.5);
9880 background: rgba(240, 240, 240, 0.5);
10014 float: right !important;
10015 float: right;
10016 box-sizing: border-box;
10017 -moz-box-sizing: border-box;
10018 -webkit-box-sizing: border-box;
10019 display: inline-block;
10020 margin-bottom: 0;
10021 font-weight: normal;
10022 text-align: center;
10023 vertical-align: middle;
10024 cursor: pointer;
10025 background-image: none;
10026 border: 1px solid transparent;
10027 white-space: nowrap;
10028 padding: 6px 12px;
10029 font-size: 13px;
10030 line-height: 1.42857143;
10031 border-radius: 4px;
10032 -webkit-user-select: none;
10033 -moz-user-select: none;
10034 -ms-user-select: none;
10035 user-select: none;
10036 color: #333333;
9881 color: #333333;
10037 background-color: #ffffff;
9882 background-color: #ffffff;
10038 border-color: #cccccc;
9883 border-color: #cccccc;
10039 padding: 1px 5px;
10040 font-size: 12px;
10041 line-height: 1.5;
10042 border-radius: 3px;
10043 }
10044 .notification_widget:focus,
10045 .notification_widget:active:focus,
10046 .notification_widget.active:focus {
10047 outline: thin dotted;
10048 outline: 5px auto -webkit-focus-ring-color;
10049 outline-offset: -2px;
10050 }
10051 .notification_widget:hover,
10052 .notification_widget:focus {
10053 color: #333333;
10054 text-decoration: none;
10055 }
10056 .notification_widget:active,
10057 .notification_widget.active {
10058 outline: 0;
10059 background-image: none;
10060 -webkit-box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
10061 box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
10062 }
10063 .notification_widget.disabled,
10064 .notification_widget[disabled],
10065 fieldset[disabled] .notification_widget {
10066 cursor: not-allowed;
10067 pointer-events: none;
10068 opacity: 0.65;
10069 filter: alpha(opacity=65);
10070 -webkit-box-shadow: none;
10071 box-shadow: none;
10072 }
9884 }
10073 .notification_widget:hover,
9885 .notification_widget:hover,
10074 .notification_widget:focus,
9886 .notification_widget:focus,
@@ -10106,9 +9918,6 b' fieldset[disabled] .notification_widget.active {'
10106 color: #ffffff;
9918 color: #ffffff;
10107 background-color: #333333;
9919 background-color: #333333;
10108 }
9920 }
10109 .notification_widget.span {
10110 padding-right: 2px;
10111 }
10112 .notification_widget.warning {
9921 .notification_widget.warning {
10113 color: #ffffff;
9922 color: #ffffff;
10114 background-color: #f0ad4e;
9923 background-color: #f0ad4e;
@@ -10351,8 +10160,7 b' div#pager .ui-resizable-handle {'
10351 flex: 1;
10160 flex: 1;
10352 }
10161 }
10353 span#save_widget {
10162 span#save_widget {
10354 padding: 0px 5px;
10163 margin-top: 6px;
10355 margin-top: 12px;
10356 }
10164 }
10357 span#checkpoint_status,
10165 span#checkpoint_status,
10358 span#autosave_status {
10166 span#autosave_status {
@@ -10583,4 +10391,4 b' span#autosave_status {'
10583 #terminado-container {
10391 #terminado-container {
10584 margin: 8px;
10392 margin: 8px;
10585 }
10393 }
10586 /*# sourceMappingURL=../style/style.min.css.map */ No newline at end of file
10394 /*# sourceMappingURL=style.min.css.map */ No newline at end of file
@@ -42,12 +42,12 b' class="notebook_app"'
42 </span>
42 </span>
43
43
44 <span id="kernel_selector_widget" class="pull-right dropdown">
44 <span id="kernel_selector_widget" class="pull-right dropdown">
45 <button class="dropdown-toggle" data-toggle="dropdown" type='button' id="current_kernel_spec">
45 <button class="dropdown-toggle btn btn-sm navbar-btn" data-toggle="dropdown" type='button' id="current_kernel_spec">
46 <span class='kernel_name'>Kernel</span>
46 <span class='kernel_name'>Kernel</span>
47 <span class="caret"></span>
47 <span class="caret"></span>
48 </button>
48 </button>
49 <ul id="kernel_selector" class="dropdown-menu">
49 <ul id="kernel_selector" class="dropdown-menu">
50 </ul>
50 </ul>
51 </span>
51 </span>
52
52
53 {% endblock headercontainer %}
53 {% endblock headercontainer %}
@@ -57,19 +57,17 b' class="notebook_app"'
57 <div id="menubar">
57 <div id="menubar">
58 <div id="menus" class="navbar navbar-default" role="navigation">
58 <div id="menus" class="navbar navbar-default" role="navigation">
59 <div class="container-fluid">
59 <div class="container-fluid">
60 <button type="button" class="btn btn-default navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
60 <button type="button" class="btn btn-default navbar-btn navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
61 <i class="fa fa-bars"></i>
61 <i class="fa fa-bars"></i>
62 <span class="navbar-text">Menu</span>
62 <span class="navbar-text">Menu</span>
63 </button>
63 </button>
64 <ul class="nav navbar-nav navbar-right">
64 <p id="kernel_indicator" class="navbar-text">
65 <li id="kernel_indicator">
65 <i id="kernel_indicator_icon"></i>
66 <i id="kernel_indicator_icon"></i>
66 </p>
67 </li>
67 <p id="modal_indicator" class="navbar-text">
68 <li id="modal_indicator">
68 <i id="modal_indicator_icon"></i>
69 <i id="modal_indicator_icon"></i>
69 </p>
70 </li>
70 <span id="notification_area"></span>
71 <li id="notification_area"></li>
72 </ul>
73 <div class="navbar-collapse collapse">
71 <div class="navbar-collapse collapse">
74 <ul class="nav navbar-nav">
72 <ul class="nav navbar-nav">
75 <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">File</a>
73 <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">File</a>
@@ -80,7 +80,7 b''
80 </div>
80 </div>
81 </noscript>
81 </noscript>
82
82
83 <div id="header" class="navbar navbar-static-top">
83 <div id="header" class="navbar navbar-fixed-top">
84 <div id="header-container" class="container">
84 <div id="header-container" class="container">
85 <div id="ipython_notebook" class="nav navbar-brand pull-left"><a href="{{base_url}}tree" alt='dashboard'>{% block logo %}<img src='{{static_url("base/images/logo.png") }}' alt='Jupyter Notebook'/>{% endblock %}</a></div>
85 <div id="ipython_notebook" class="nav navbar-brand pull-left"><a href="{{base_url}}tree" alt='dashboard'>{% block logo %}<img src='{{static_url("base/images/logo.png") }}' alt='Jupyter Notebook'/>{% endblock %}</a></div>
86
86
@@ -88,9 +88,9 b''
88
88
89 <span id="login_widget">
89 <span id="login_widget">
90 {% if logged_in %}
90 {% if logged_in %}
91 <button id="logout">Logout</button>
91 <button id="logout" class="btn btn-sm navbar-btn">Logout</button>
92 {% elif login_available and not logged_in %}
92 {% elif login_available and not logged_in %}
93 <button id="login">Login</button>
93 <button id="login" class="btn btn-sm navbar-btn">Login</button>
94 {% endif %}
94 {% endif %}
95 </span>
95 </span>
96
96
General Comments 0
You need to be logged in to leave comments. Login now