Fix diff height

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