text: Shrink error underlines
The 3 * underline thickness that Pango gives us for the height of error underlines is just too big for the dotted line we use now. Shrink it down.
The 3 * underline thickness that Pango gives us for the height of error underlines is just too big for the dotted line we use now. Shrink it down.