Forráskód Böngészése

Using colors from classic notebook for ansiup.

Brian E. Granger 7 éve
szülő
commit
c52a3824eb

+ 0 - 97
packages/inspector/style/index.css

@@ -113,100 +113,3 @@
   line-height: var(--jp-code-line-height);
   margin: 0;
 }
-
-
-/* ansi_up creates classed spans for console foregrounds and backgrounds. */
-.jp-InspectorItem pre .ansi-black-fg { color: #3A3A3A; }
-
-
-.jp-InspectorItem pre .ansi-red-fg { color: #DD948E; }
-
-
-.jp-InspectorItem pre .ansi-green-fg { color: #B6D1AA; }
-
-
-.jp-InspectorItem pre .ansi-yellow-fg { color: #F3D57C; }
-
-
-.jp-InspectorItem pre .ansi-blue-fg { color: #8AA9D5; }
-
-
-.jp-InspectorItem pre .ansi-magenta-fg { color: #CBAFD5; }
-
-
-.jp-InspectorItem pre .ansi-cyan-fg { color: #9AD1D4; }
-
-
-.jp-InspectorItem pre .ansi-white-fg { color: #EFEFEF; }
-
-
-.jp-InspectorItem pre .ansi-bright-black-fg { color: #5E5D5E; }
-
-
-.jp-InspectorItem pre .ansi-bright-red-fg { color: #E69B94; }
-
-
-.jp-InspectorItem pre .ansi-bright-green-fg { color: #D1F0C3; }
-
-
-.jp-InspectorItem pre .ansi-bright-yellow-fg { color: #F4D799; }
-
-
-.jp-InspectorItem pre .ansi-bright-blue-fg { color: #A6CBFE; }
-
-
-.jp-InspectorItem pre .ansi-bright-magenta-fg { color: #E8C8F3; }
-
-
-.jp-InspectorItem pre .ansi-bright-cyan-fg { color: #B1F1F6; }
-
-
-.jp-InspectorItem pre .ansi-bright-white-fg { color: #FFFFFF; }
-
-
-.jp-InspectorItem pre .ansi-black-bg { background-color: #3B3B3B; }
-
-
-.jp-InspectorItem pre .ansi-red-bg { background-color: #DE958F; }
-
-
-.jp-InspectorItem pre .ansi-green-bg { background-color: #B7D2AB; }
-
-
-.jp-InspectorItem pre .ansi-yellow-bg { background-color: #F4D67D; }
-
-
-.jp-InspectorItem pre .ansi-blue-bg { background-color: #8BAAD6; }
-
-
-.jp-InspectorItem pre .ansi-magenta-bg { background-color: #CCB0D6; }
-
-
-.jp-InspectorItem pre .ansi-cyan-bg { background-color: #9BD2D5; }
-
-
-.jp-InspectorItem pre .ansi-white-bg { background-color: #F0F0F0; }
-
-
-.jp-InspectorItem pre .ansi-bright-black-bg { background-color: #5F5E5F; }
-
-
-.jp-InspectorItem pre .ansi-bright-red-bg { background-color: #E79C95; }
-
-
-.jp-InspectorItem pre .ansi-bright-green-bg { background-color: #D2F1C4; }
-
-
-.jp-InspectorItem pre .ansi-bright-yellow-bg { background-color: #F5D89A; }
-
-
-.jp-InspectorItem pre .ansi-bright-blue-bg { background-color: #A7CCFF; }
-
-
-.jp-InspectorItem pre .ansi-bright-magenta-bg { background-color: #E8C8F3; }
-
-
-.jp-InspectorItem pre .ansi-bright-cyan-bg { background-color: #B1F1F6; }
-
-
-.jp-InspectorItem pre .ansi-bright-white-bg { background-color: #FFFFFF; }

+ 1 - 1
packages/rendermime/src/widgets.ts

@@ -259,7 +259,7 @@ class RenderedText extends Widget {
     let source = Private.getSource(options);
     let data = escape_for_html(source);
     let pre = document.createElement('pre');
-    pre.innerHTML = ansi_to_html(data);
+    pre.innerHTML = ansi_to_html(data, {use_classes: true});
     this.node.appendChild(pre);
     this.addClass(TEXT_CLASS);
     if (options.mimeType === 'application/vnd.jupyter.stderr') {

+ 53 - 0
packages/rendermime/style/index.css

@@ -3,6 +3,12 @@
 | Distributed under the terms of the Modified BSD License.
 |----------------------------------------------------------------------------*/
 
+
+/*-----------------------------------------------------------------------------
+| RenderedText
+|----------------------------------------------------------------------------*/
+
+
 .jp-RenderedText {
   text-align: left;
   padding-left: var(--jp-code-padding);
@@ -20,12 +26,54 @@
   overflow-y: auto;
 }
 
+/* ansi_up creates classed spans for console foregrounds and backgrounds. */
+.jp-RenderedText pre .ansi-black-fg { color: #3E424D; }
+.jp-RenderedText pre .ansi-red-fg { color: #E75C58; }
+.jp-RenderedText pre .ansi-green-fg { color: #00A250; }
+.jp-RenderedText pre .ansi-yellow-fg { color: #DDB62B; }
+.jp-RenderedText pre .ansi-blue-fg { color: #208FFB; }
+.jp-RenderedText pre .ansi-magenta-fg { color: #D160C4; }
+.jp-RenderedText pre .ansi-cyan-fg { color: #60C6C8; }
+.jp-RenderedText pre .ansi-white-fg { color: #C5C1B4; }
+
+.jp-RenderedText pre .ansi-black-bg { background-color: #3E424D; }
+.jp-RenderedText pre .ansi-red-bg { background-color: #E75C58; }
+.jp-RenderedText pre .ansi-green-bg { background-color: #00A250; }
+.jp-RenderedText pre .ansi-yellow-bg { background-color: #DDB62B; }
+.jp-RenderedText pre .ansi-blue-bg { background-color: #208FFB; }
+.jp-RenderedText pre .ansi-magenta-bg { background-color: #D160C4; }
+.jp-RenderedText pre .ansi-cyan-bg { background-color: #60C6C8; }
+.jp-RenderedText pre .ansi-white-bg { background-color: #C5C1B4; }
+
+.jp-RenderedText pre .ansi-bright-black-fg { color: #282C36; }
+.jp-RenderedText pre .ansi-bright-red-fg { color: #B22B31; }
+.jp-RenderedText pre .ansi-bright-green-fg { color: #007427; }
+.jp-RenderedText pre .ansi-bright-yellow-fg { color: #B27D12; }
+.jp-RenderedText pre .ansi-bright-blue-fg { color: #0065CA; }
+.jp-RenderedText pre .ansi-bright-magenta-fg { color: #A03196; }
+.jp-RenderedText pre .ansi-bright-cyan-fg { color: #258F8F; }
+.jp-RenderedText pre .ansi-bright-white-fg { color: #A1A6B2; }
+
+.jp-RenderedText pre .ansi-bright-black-bg { background-color: #282C36; }
+.jp-RenderedText pre .ansi-bright-red-bg { background-color: #B22B31; }
+.jp-RenderedText pre .ansi-bright-green-bg { background-color: #007427; }
+.jp-RenderedText pre .ansi-bright-yellow-bg { background-color: #B27D12; }
+.jp-RenderedText pre .ansi-bright-blue-bg { background-color: #0065CA; }
+.jp-RenderedText pre .ansi-bright-magenta-bg { background-color: #A03196; }
+.jp-RenderedText pre .ansi-bright-cyan-bg { background-color: #258F8F; }
+.jp-RenderedText pre .ansi-bright-white-bg { background-color: #A1A6B2; }
+
 
 .jp-RenderedText.jp-mod-error {
   background: #fdd;
 }
 
 
+/*-----------------------------------------------------------------------------
+| RenderedLatex
+|----------------------------------------------------------------------------*/
+
+
 .jp-RenderedLatex {
   color: var(--jp-content-font-color1);
   font-size: var(--jp-content-font-size);
@@ -33,6 +81,11 @@
 }
 
 
+/*-----------------------------------------------------------------------------
+| RenderedHTML
+|----------------------------------------------------------------------------*/
+
+
 .jp-RenderedHTMLCommon {
   color: var(--jp-content-font-color1);
   font-size: var(--jp-content-font-size);