By porting to Kirigami.Separator and defining a new property (`hairline`)
which rounds down the device pixel ratio to an integer, we can improve
the look of single-pixel lines for people using fractional scale factors.