@mixin hidpi {
  @media (-webkit-min-device-pixel-ratio: 1.3),
    (-o-min-device-pixel-ratio: 2.6 / 2),
    (min--moz-device-pixel-ratio: 1.3),
    (min-device-pixel-ratio: 1.3),
    (min-resolution: 1.3dppx) {
    @content;
  }
}

@mixin hidpi {
  // oddly even in 2020 Safari doesn't support min-resolution so we need to
  // keep this
  @media (-webkit-min-device-pixel-ratio: 1.3),
    (min-resolution: 1.3dppx) {
    @content;
  }
}

Remove old, non standard, resolution media queries
Remove old, non standard, resolution media queries

Stylelint complains that min-device-pixel-ratio isn't a known media
query. The family of min-device-pixel-ratio never made it to be a
standard and were superseded by min-resolution. Safari somehow got left
behind in this so we still need a webkit media query.
