bugfix ui_elem_margin_top
minor formatting bugfix