WordPress.org

Making WordPress.org

Changeset 5836


Ignore:
Timestamp:
08/23/2017 06:15:13 PM (3 years ago)
Author:
coffee2code
Message:

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

Props SergeyBiryukov, sagarprajapati.
Fixes #3041.

Location:
sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/scss/main.scss

    r5835 r5836  
    20132013            position: relative;
    20142014           
    2015             &:first-child {
    2016                 @media(min-width: 571px) {
     2015            @media(min-width: 571px) {
     2016                &:first-child {
    20172017                    right: -6px;
    20182018                    border-radius: 3px 0 0 3px;
    20192019                }
    2020             }
    2021             &:last-child {
    2022                 @media(min-width: 571px) {
     2020                &:last-child {
    20232021                    border-radius: 0 3px 3px 0;
    20242022                }
  • sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/stylesheets/main.css

    r5835 r5836  
    23392339    border-radius: 3px 0 0 3px;
    23402340  }
    2341 }
    2342 
    2343 @media (min-width: 571px) {
    23442341  .single-command .btn-group > a:last-child {
    23452342    border-radius: 0 3px 3px 0;
Note: See TracChangeset for help on using the changeset viewer.