#6214 fix margins

twosigma · Feb 8, 2018 · 2b3d188 · 2b3d188
1 parent bfd31ea
commit 2b3d188
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/js/notebook/src/extension/UIOptionsHelper.ts b/js/notebook/src/extension/UIOptionsHelper.ts
@@ -64,7 +64,7 @@ function setupWideCells(wideCells: boolean): void {
   }
 
   let s = document.createElement('style');
-  s.innerText = `#notebook_panel .container { width:auto; margin: 15px; }`;
+  s.innerText = `#notebook_panel .container { width:auto; margin: 0 16px; }`;
 
   document.body.appendChild(s);
 }

diff --git a/js/notebook/src/tree/Widgets/UIOptions/UIOptionsWidget.ts b/js/notebook/src/tree/Widgets/UIOptions/UIOptionsWidget.ts
@@ -30,6 +30,11 @@ export class UIOptionsWidget extends Widget implements UIOptionsWidgetInterface
   public readonly SHOW_PUBLICATION_SELECTOR = '#show_publication';
 
   public readonly HTML_ELEMENT_TEMPLATE = `
+<style>
+  #ui_options {
+    margin: 0 16px;
+  }
+</style>
 <fieldset id="ui_options">
   <legend>UI Options:</legend>
   <div class="form-group">