HomeIsabelle/Phabricator

use min_height as in (much of?) the literature