From 500f9919ff70ac06dad42a500dff4ceb060011ae Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Wed, 9 Dec 2020 16:37:12 +0100 Subject: [PATCH] Fix CSS import --- builder/style.css | 2 +- packages/application-extension/style/base.css | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/builder/style.css b/builder/style.css index cc75c1bbf..4d98db16d 100644 --- a/builder/style.css +++ b/builder/style.css @@ -5,12 +5,12 @@ /* TODO: check is the the extension package can be used directly */ @import url('~@jupyterlab/completer/style/index.css'); +@import url('~@jupyterlab/fileeditor/style/index.css'); @import url('~@jupyterlab/tooltip/style/index.css'); @import url('~@jupyterlab/running/style/index.css'); @import url('~@jupyterlab/codemirror-extension/style/index.css'); @import url('~@jupyterlab/docmanager-extension/style/index.css'); -@import url('~@jupyterlab/fileeditor-extension/style/index.css'); @import url('~@jupyterlab/mainmenu-extension/style/index.css'); @import url('~@jupyterlab/notebook-extension/style/index.css'); @import url('~@jupyterlab/rendermime-extension/style/index.css'); diff --git a/packages/application-extension/style/base.css b/packages/application-extension/style/base.css index 49ae28fcf..33b4bd84f 100644 --- a/packages/application-extension/style/base.css +++ b/packages/application-extension/style/base.css @@ -9,6 +9,7 @@ flex-shrink: 1; } +/* TODO: move to edit-extension */ .jp-Document { height: 100%; }