Move document css to edit extension

5 years ago · cc387c81f2
parent 1414c011c0
commit cc387c81f2
2 changed files with 3 additions and 5 deletions
--- 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%;
 }
--- a/packages/docmanager-extension/style/base.css
+++ b/packages/docmanager-extension/style/base.css
@ -0,0 +1,3 @@
+.jp-Document {
+  height: 100%;
+}