Merge pull request #3121 from atom/bo-style-mini

Style mini editors

package.json

@@ -63,9 +63,9 @@
   },
   "packageDependencies": {
     "atom-dark-syntax": "0.19.0",
-    "atom-dark-ui": "0.32.0",
+    "atom-dark-ui": "0.33.0",
     "atom-light-syntax": "0.20.0",
-    "atom-light-ui": "0.28.0",
+    "atom-light-ui": "0.29.0",
     "base16-tomorrow-dark-theme": "0.20.0",
     "base16-tomorrow-light-theme": "0.4.0",
     "solarized-dark-syntax": "0.22.0",
@@ -96,7 +96,7 @@
     "open-on-github": "0.29.0",
     "package-generator": "0.31.0",
     "release-notes": "0.36.0",
-    "settings-view": "0.136.0",
+    "settings-view": "0.137.0",
     "snippets": "0.50.0",
     "spell-check": "0.39.0",
     "status-bar": "0.41.0",

static/editor.less

@@ -83,6 +83,12 @@
       }
     }
   }
+}
+
+.editor.mini {
+  font-size: @input-font-size;
+  line-height: @component-line-height;
+  max-height: @component-line-height + 2; // +2 for borders
 
   .placeholder-text {
     position: absolute;
@@ -301,8 +307,4 @@
   .scroll-view {
     overflow: hidden;
   }
-
-  .placeholder-text {
-    color: @text-color-subtle;
-  }
 }

static/variables/ui-variables.less

@@ -67,6 +67,7 @@
 // Sizes
 
 @font-size: 13px;
+@input-font-size: 14px;
 
 @disclosure-arrow-size: 12px;