Fix diff height

Created by: hszcg

The height of the diff table is too big for short diff views...