fix corporation basic style

Author: ciusji

packages/application-extension/style/base.css

@@ -24,3 +24,37 @@
   border: none;
   align-items: center;
 }
+
+.ͼ1 .cm-ySelectionCaretDot {
+  position: absolute;
+  top: -0.2em;
+  left: -0.2em;
+  width: 0;
+  height: 0;
+  background-color: inherit;
+  transition: transform 0.3s ease-in-out;
+  box-sizing: border-box;
+}
+
+.ͼ1 .cm-ySelectionInfo {
+  position: absolute;
+  top: -1.05em;
+  left: -1px;
+  font-size: 0.75em;
+  font-family: serif;
+  font-style: normal;
+  font-weight: normal;
+  line-height: normal;
+  user-select: none;
+  color: white;
+  padding-left: 4px;
+  padding-top: 2px;
+  padding-right: 4px;
+  padding-bottom: 2px;
+  z-index: 101;
+  transition: opacity 0.3s ease-in-out;
+  background-color: inherit;
+  opacity: 1;
+  transition-delay: 0s;
+  white-space: nowrap;
+}

packages/application/src/shell.ts

@@ -2137,11 +2137,24 @@ namespace Private {
       const tip = document.createElement('div');
       tip.className = 'jp-title-ext';
 
-      const tipImg = document.createElement('div');
-      tipImg.className = 'jp-title-ext-tip-img';
-      tipImg.innerHTML = cloudIcon.svgstr;
-
-      tip.appendChild(tipImg);
+      const titleExtElement = document.getElementById(
+        'jp-title-panel-title-ext'
+      );
+      if (titleExtElement != null) {
+        const titleAttr = titleExtElement.title;
+        const tipImg = document.createElement('div');
+        tipImg.className = 'jp-title-ext-tip-img';
+        tipImg.innerHTML = cloudIcon.svgstr;
+
+        if (titleAttr != null) {
+          const saveTip = document.createElement('span');
+          saveTip.className = 'jp-title-ext-tip';
+          saveTip.innerText = titleAttr.split('\n')[2];
+
+          tip.appendChild(tipImg);
+          tip.appendChild(saveTip);
+        }
+      }
 
       this.node.appendChild(tip);
       this.tip = tip;

packages/notebook/style/base.css

@@ -39,7 +39,7 @@
 }
 
 .jp-Notebook {
-  padding: 10px 100px;
+  padding: 10px 5%;
   outline: none;
   overflow: auto;
   background: var(--jp-layout-color0);

packages/outputarea/style/base.css

@@ -23,7 +23,7 @@
 .jp-OutputPrompt {
   display: table-cell;
   vertical-align: top;
-  color: var(--jp-cell-outprompt-font-color);
+  color: var(--jp-success-color1);
   font-family: var(--jp-cell-prompt-font-family);
   padding: 4px 0;
   margin-bottom: var(--jp-code-padding);

packages/rendermime/style/base.css

@@ -393,10 +393,11 @@
 .jp-RenderedHTMLCommon pre,
 .jp-RenderedHTMLCommon code {
   border: 0;
-  background-color: var(--jp-layout-color0);
+
+  /*background-color: var(--jp-layout-color0);*/
   color: var(--jp-content-font-color1);
   font-family: var(--jp-code-font-family);
-  font-size: inherit;
+  font-size: 13px;
   line-height: var(--jp-code-line-height);
   padding: 0;
   white-space: pre-wrap;