Update to jupyterlab 0.12 and style updates in date picker

jupyter-widgets · Jan 3, 2017 · edfc5d2 · edfc5d2
1 parent 98c7943
commit edfc5d2
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,7 +4,6 @@ dist
 _build
 docs/man/*.gz
 docs/source/api/generated
-docs/gh-pages
 jupyter-js-widgets/src/components
 jupyter-js-widgets/lib/
 jupyter-js-widgets/docs/

diff --git a/MANIFEST.in b/MANIFEST.in
@@ -17,7 +17,6 @@ graft ipywidgets/static
 
 # docs subdirs we want to skip
 prune docs/build
-prune docs/gh-pages
 prune docs/dist
 
 # Patterns to exclude from any directory

diff --git a/jupyter-js-widgets/css/widgets-base.css b/jupyter-js-widgets/css/widgets-base.css
@@ -836,8 +836,9 @@ ul.widget-dropdown-droplist.mod-active {
     flex-grow: 1;
     height: var(--jp-widgets-inline-height);
     border: var(--jp-widgets-border-width) solid var(--jp-border-color1);
+    font-size: var(--jp-widgets-font-size);
+    padding: var(--jp-widgets-input-padding);
     box-sizing: border-box;
-    align-self: stretch;
 }
 
 /* Play Widget */

diff --git a/jupyterlab_widgets/package.json b/jupyterlab_widgets/package.json
@@ -6,7 +6,7 @@
   "typings": "lib/index.d.ts",
   "dependencies": {
     "jupyter-js-widgets": "^2.0.12",
-    "jupyterlab": "^0.11.3",
+    "jupyterlab": "^0.12.1",
     "phosphor": "^0.7.0"
   },
   "devDependencies": {