Tweaked some right-panel paddings to better match Chrome (facebook#816)

Author: bvaughn

frontend/DataView/DataView.js

@@ -323,7 +323,7 @@ const previewStyle = (theme: Theme) => ({
 });
 
 const emptyStyle = (theme: Theme) => ({
-  marginLeft: 10,
+  marginLeft: '0.75rem',
   padding: '0 5px',
   color: theme.base04,
   fontFamily: sansSerif.family,
@@ -334,7 +334,7 @@ const emptyStyle = (theme: Theme) => ({
 const missingStyle = (theme: Theme) => ({
   fontSize: sansSerif.sizes.normal,
   fontWeight: 'bold',
-  marginLeft: 10,
+  marginLeft: '0.75rem',
   padding: '2px 5px',
   color: theme.base03,
 });
@@ -368,15 +368,15 @@ var styles = {
     listStyle: 'none',
     margin: 0,
     padding: 0,
-    marginLeft: 10,
+    marginLeft: '0.75rem',
   },
 
   children: {
   },
 
   opener: {
     cursor: 'pointer',
-    marginLeft: -8,
+    marginLeft: -10,
     paddingRight: 3,
     position: 'absolute',
     top: 4,

frontend/Panel.js

@@ -384,7 +384,7 @@ var panelRNStyle = (bridge, supportsMeasure, theme) => (node, id) => {
 
 const containerStyle = (theme: Theme) => ({
   borderTop: `1px solid ${theme.base01}`,
-  padding: '0.5rem',
+  padding: '0.25rem',
   marginBottom: '0.25rem',
   flexShrink: 0,
 });

frontend/detail_pane/DetailPaneSection.js

@@ -38,14 +38,13 @@ DetailPaneSection.contextTypes = {
 
 const sectionStyle = (theme: Theme) => ({
   borderTop: `1px solid ${theme.base01}`,
-  padding: '0.5rem',
+  padding: '0.25rem',
   flexShrink: 0,
 });
 
 var styles = {
   title: {
     display: 'inline-block',
-    marginBottom: '0.5rem',
     marginRight: '0.25rem',
   },
 };

plugins/ReactNativeStyle/AutoSizeInput.js

@@ -166,7 +166,7 @@ const inputStyle = (text: ?string) => ({
   boxSizing: 'content-box',
   border: 'none',
   padding: '1px 2px',
-  marginLeft: 6,
+  marginLeft: '0.75rem',
   outline: 'none',
   width: '0px',
   minWidth: text ? '0' : '1rem', // Make it easier to click initially