##// END OF EJS Templates
fix rebase after kill of layout manager
Matthias Bussonnier -
Show More
@@ -21,7 +21,7 b' define(['
21 * events: $(Events) instance
21 * events: $(Events) instance
22 * notebook: Notebook instance
22 * notebook: Notebook instance
23 **/
23 **/
24 toolbar.ToolBar.apply(this, [selector, undefined ,options] );
24 toolbar.ToolBar.apply(this, [selector, options] );
25 this.events = options.events;
25 this.events = options.events;
26 this.notebook = options.notebook;
26 this.notebook = options.notebook;
27 this._make();
27 this._make();
@@ -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 }
@@ -1555,4 +1555,4 b' h6:hover .anchor-link {'
1555 left: 0px !important;
1555 left: 0px !important;
1556 margin-left: 0px !important;
1556 margin-left: 0px !important;
1557 }
1557 }
1558 /*# sourceMappingURL=../style/ipython.min.css.map */ No newline at end of file
1558 /*# sourceMappingURL=ipython.min.css.map */ No newline at end of file
@@ -8358,7 +8358,7 b' div.input {'
8358 }
8358 }
8359 /* input_area and input_prompt must match in top border and margin for alignment */
8359 /* input_area and input_prompt must match in top border and margin for alignment */
8360 div.input_prompt {
8360 div.input_prompt {
8361 color: #000080;
8361 color: navy;
8362 border-top: 1px solid transparent;
8362 border-top: 1px solid transparent;
8363 }
8363 }
8364 div.input_area > div.highlight {
8364 div.input_area > div.highlight {
@@ -8630,7 +8630,7 b' div.out_prompt_overlay:hover {'
8630 background: rgba(240, 240, 240, 0.5);
8630 background: rgba(240, 240, 240, 0.5);
8631 }
8631 }
8632 div.output_prompt {
8632 div.output_prompt {
8633 color: #8b0000;
8633 color: darkred;
8634 }
8634 }
8635 /* This class is the outer container of all output sections. */
8635 /* This class is the outer container of all output sections. */
8636 div.output_area {
8636 div.output_area {
@@ -8703,7 +8703,7 b' div.output_area pre {'
8703 padding: 0;
8703 padding: 0;
8704 border: 0;
8704 border: 0;
8705 vertical-align: baseline;
8705 vertical-align: baseline;
8706 color: #000000;
8706 color: black;
8707 background-color: transparent;
8707 background-color: transparent;
8708 border-radius: 0;
8708 border-radius: 0;
8709 }
8709 }
@@ -8896,8 +8896,8 b' div.output_unrecognized a:hover {'
8896 margin-top: 1em;
8896 margin-top: 1em;
8897 }
8897 }
8898 .rendered_html hr {
8898 .rendered_html hr {
8899 color: #000000;
8899 color: black;
8900 background-color: #000000;
8900 background-color: black;
8901 }
8901 }
8902 .rendered_html pre {
8902 .rendered_html pre {
8903 margin: 1em 2em;
8903 margin: 1em 2em;
@@ -8916,13 +8916,13 b' div.output_unrecognized a:hover {'
8916 .rendered_html table {
8916 .rendered_html table {
8917 margin-left: auto;
8917 margin-left: auto;
8918 margin-right: auto;
8918 margin-right: auto;
8919 border: 1px solid #000000;
8919 border: 1px solid black;
8920 border-collapse: collapse;
8920 border-collapse: collapse;
8921 }
8921 }
8922 .rendered_html tr,
8922 .rendered_html tr,
8923 .rendered_html th,
8923 .rendered_html th,
8924 .rendered_html td {
8924 .rendered_html td {
8925 border: 1px solid #000000;
8925 border: 1px solid black;
8926 border-collapse: collapse;
8926 border-collapse: collapse;
8927 margin: 1em 2em;
8927 margin: 1em 2em;
8928 }
8928 }
@@ -10404,4 +10404,4 b' span.autosave_status {'
10404 #terminado-container {
10404 #terminado-container {
10405 margin: 8px;
10405 margin: 8px;
10406 }
10406 }
10407 /*# sourceMappingURL=../style/style.min.css.map */ No newline at end of file
10407 /*# sourceMappingURL=style.min.css.map */ No newline at end of file
General Comments 0
You need to be logged in to leave comments. Login now