Re-written media query

Re-wrote the media query for allowing responsiveness without a refresh
jupyter · May 31, 2023 · ed28e9c · ed28e9c
1 parent f545ccd
commit ed28e9c
Showing 1 changed file with 11 additions and 11 deletions.
diff --git a/packages/application/style/base.css b/packages/application/style/base.css
@@ -80,17 +80,7 @@ body[data-notebook='edit'] #spacer-widget-bottom {
   box-shadow: var(--jp-elevation-z4);
 }
 
-body[data-format='desktop'] #main-panel .jp-TreePanel {
-  padding: 0rem 2rem;
-}
-
-@media only screen and (max-width: 760px) {
-  body[data-format='mobile'] #main-panel .jp-TreePanel {
-    padding: 0rem 0rem;
-  }
-}
-
-#main-panel .jp-TreePanel > .lm-TabPanel-stackedPanel {
+.jp-TreePanel > .lm-TabPanel-stackedPanel {
   box-shadow: var(--jp-elevation-z4);
 }
 
@@ -103,3 +93,13 @@ body[data-notebook='notebooks'] #main-panel {
 body[data-notebook='notebooks'] #spacer-widget-top {
   min-height: unset;
 }
+
+#main-panel > .jp-TreePanel {
+  padding: 0px 5px;
+}
+
+@media only screen and (max-width: 760px) {
+  #main-panel > .jp-TreePanel {
+    margin: 0px -5px;
+  }
+}