Fix CSS of the jupyterlab extension to allow scrolling

cmd-ntrf · Mar 28, 2023 · 5453398 · 5453398
1 parent 4a00cf9
commit 5453398
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/jupyterlab/style/index.css b/jupyterlab/style/index.css
@@ -12,16 +12,27 @@
     /* This is needed so that all font sizing of children done in ems is
      * relative to this base size */
     font-size: var(--jp-ui-font-size1);
+    -webkit-user-select: none;
+    -moz-user-select: none;
+    -ms-user-select: none;
+    user-select: none;
 }
 
 .jp-Lmod-content {
     background-color: var(--jp-layout-color1);
+    flex: 1 1 auto;
+    margin: 0;
+    padding: 0;
+    min-height: 0;
+    overflow: auto;
+    list-style-type: none;
 }
 
 .jp-Lmod-search {
     padding: 4px;
     background-color: var(--jp-layout-color1);
     z-index: 2;
+    flex: 0 0 auto;
 }
 
 .jp-Lmod-search-wrapper {