From cc387c81f2b79fb26bd5a2d4d553f058c490aa7b Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Fri, 22 Jan 2021 18:39:48 +0100
Subject: [PATCH] Move document css to edit extension

---
 packages/application-extension/style/base.css | 5 -----
 packages/docmanager-extension/style/base.css  | 3 +++
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/packages/application-extension/style/base.css b/packages/application-extension/style/base.css
index 1c814d5cd..20233875b 100644
--- a/packages/application-extension/style/base.css
+++ b/packages/application-extension/style/base.css
@@ -9,11 +9,6 @@
   flex-shrink: 1;
 }
 
-/* TODO: move to edit-extension */
-.jp-Document {
-  height: 100%;
-}
-
 .jp-MainAreaWidget {
   height: 100%;
 }
diff --git a/packages/docmanager-extension/style/base.css b/packages/docmanager-extension/style/base.css
index e69de29bb..2c9c509f0 100644
--- a/packages/docmanager-extension/style/base.css
+++ b/packages/docmanager-extension/style/base.css
@@ -0,0 +1,3 @@
+.jp-Document {
+  height: 100%;
+}