Parcourir la source

Addressing review comments.

Brian E. Granger il y a 8 ans
Parent
commit
853fe29e40

+ 1 - 5
packages/console/style/index.css

@@ -20,7 +20,6 @@
 .jp-ConsolePanel::before {
     content: '';
     display: block;
-    width: 100%;
     height: var(--jp-toolbar-micro-height);
     background: var(--jp-toolbar-background);
     border-bottom: 1px solid var(--jp-toolbar-border-color);
@@ -58,14 +57,11 @@
   flex: 0 0 auto;
   overflow: auto;
   border-top: var(--jp-border-width) solid var(--jp-toolbar-border-color);
-  padding-top: var(--jp-private-console-cell-padding);
-  padding-right: var(--jp-private-console-cell-padding);
-  padding-left: var(--jp-private-console-cell-padding);
   /* We used to have a bottom padding of 8px that was supposedly related to
    * our implementation of the 2px margin the the panel to let the shadow in the 
    * dock panel show. But that doesn't seem to be relevant now, so using the 
    * matching padding. */
-  padding-bottom: var(--jp-private-console-cell-padding);
+  padding: var(--jp-private-console-cell-padding);
   /* This matches the box shadow on the notebook toolbar, eventually we should create
    * CSS variables for this */
   box-shadow: 0px 0.4px 6px 0px rgba(0,0,0,0.1);

+ 0 - 1
packages/fileeditor/style/index.css

@@ -13,7 +13,6 @@
 .jp-FileEditor::before {
     content: '';
     display: block;
-    width: 100%;
     height: var(--jp-toolbar-micro-height);
     background: var(--jp-toolbar-background);
     border-bottom: 1px solid var(--jp-toolbar-border-color);

+ 0 - 1
packages/help-extension/style/index.css

@@ -13,7 +13,6 @@
 .jp-Help::before {
     content: '';
     display: block;
-    width: 100%;
     height: var(--jp-toolbar-micro-height);
     background: var(--jp-toolbar-background);
     border-bottom: 1px solid var(--jp-toolbar-border-color);

+ 0 - 1
packages/markdownviewer/style/index.css

@@ -19,7 +19,6 @@
 
 .jp-MarkdownViewer .jp-Toolbar {
     display: block;
-    width: 100%;
     height: var(--jp-toolbar-micro-height);
     background: var(--jp-toolbar-background);
     border-bottom: 1px solid var(--jp-toolbar-border-color);