Browse Source

Set scroll padding in notebook to a minimum of 50 percent of the notebook height

mferrari3 6 years ago
parent
commit
c713762553

+ 1 - 1
packages/theme-dark-extension/style/variables.css

@@ -277,7 +277,7 @@ all of MD as it is not optimized for dense, information rich UIs.
   /* Notebook specific styles */
 
   --jp-notebook-padding: 10px;
-  --jp-notebook-scroll-padding: 100px;
+  --jp-notebook-scroll-padding: 50%;
   --jp-notebook-select-background: var(--jp-layout-color1);
   --jp-notebook-multiselected-color: rgba(33, 150, 243, 0.24);
 

+ 1 - 1
packages/theme-light-extension/style/variables.css

@@ -274,7 +274,7 @@ all of MD as it is not optimized for dense, information rich UIs.
   /* Notebook specific styles */
 
   --jp-notebook-padding: 10px;
-  --jp-notebook-scroll-padding: 100px;
+  --jp-notebook-scroll-padding: 50%;
   --jp-notebook-select-background: var(--jp-layout-color1);
   --jp-notebook-multiselected-color: var(--md-blue-50);