Cleanup

src/default-theme/index.css

@@ -23,6 +23,11 @@ body {
 }
 
 
+.jp-Document {
+  outline: none;
+}
+
+
 .jp-Dialog {
   padding-left: 3px;
   background: rgba(245, 245, 245, .6);

src/documentmanager/plugin.ts

@@ -261,7 +261,7 @@ function resolve(container: Container): Promise<void> {
       ]);
       palette.add([
         {
-          id: closeDocumentId,
+          id: closeAllId,
           args: void 0
         }
       ]);