CSS tweak: minheight for config editor on mobile devices.