Style the mini editors for a constant height

Adds an @input-font-size variable.
Upgrade atom-light-ui for mini editor fixes
Upgrade settings-view for mini editor changes
Upgrade dark-ui theme for new variable
Pull the mini editor styles out from react rule
Merge pull request #3121 from atom/bo-style-mini

Style mini editors