Style the mini editors for a constant height

Adds an @input-font-size variable.