splash: include TEXT_MARGIN_PX when computing element heights