Making WordPress.org

Changeset 5836


Ignore:
Timestamp:
08/23/2017 06:15:13 PM (9 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.