Multiple time same media in the main.css

[sagarprajapati]

In the ​https://developer.wordpress.org/wp-content/themes/pub/wporg-developer/stylesheets/main.css style file, there is multiple time same media tag.

@media (min-width: 571px) {
  .single-command .btn-group > a:first-child {
    right: -6px;
    border-radius: 3px 0 0 3px;
  }
}

@media (min-width: 571px) {
  .single-command .btn-group > a:last-child {
    border-radius: 0 3px 3px 0;
  }
}

After remove multiple @media:

@media (min-width: 571px) {
  .single-command .btn-group > a:first-child {
    right: -6px;
    border-radius: 3px 0 0 3px;
  }
  .single-command .btn-group > a:last-child {
    border-radius: 0 3px 3px 0;
  }
}

[sagarprajapati]

Attached patch. Check it.

[SergeyBiryukov]

Introduced in [5768].

3041.diff​ is not complete, as stylesheets/main.css is auto-generated by SASS.

scss/main.scss should be patched instead, see 3041.2.diff​.

[coffee2code]

In 5836:

developer.wordpress.org: Merge adjacent CSS @media styles into same block.

Props SergeyBiryukov, sagarprajapati.
Fixes #3041.