style: add media-query to resize font-size on high dpi screens

[idleberg]

Requirements for Contributing a Bug Fix

• Fill out the template below. Any pull request that does not include enough information to be reviewed in a timely manner may be closed at the maintainers' discretion.
• The pull request must only fix an existing bug. To contribute other changes, you must use a different template. You can see all templates at https://github.com/atom/.github/tree/master/.github/PULL_REQUEST_TEMPLATE.
• The pull request must update the test suite to demonstrate the changed functionality. For guidance, please see https://flight-manual.atom.io/hacking-atom/sections/writing-specs/.
• After you create the pull request, all status checks must be pass before a maintainer reviews your contribution. For more details, please see https://github.com/atom/.github/tree/master/CONTRIBUTING.md#pull-requests.

Identify the Bug

#353

Description of the Change

This PR adds a media-query addressing high DPI screens:

• min-device-pixel-ratio: 2: This condition checks if the device's pixel ratio is at least 2. This is typically used for high-resolution displays like Retina screens.

• min-resolution: 192dpi: This condition checks if the device's resolution is at least 192 dots per inch (dpi).

• min-resolution: 2dppx: This condition checks if the device's resolution is at least 2 dots per pixel (dppx). This is another way to specify high-resolution displays.

Alternate Designs

Possible Drawbacks

Verification Process

Release Notes

Adds media-query for high DPI screen that enlarges all icons by 200%

[aminya]

Has this been tested? I don't have Atom installed anymore

[idleberg]

I tested it on a Dell XPS with HiDPI and an Apple Studio Display, but somebody else should probably verify this. Also, make sure that the icons look fine on "normal" displays.