The distance from the top edge to the first unpadded pixel, in physical pixels.
@override final double top;