-
Notifications
You must be signed in to change notification settings - Fork 4.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove redundant rule. #10021
Remove redundant rule. #10021
Conversation
This addresses an issue reported in #9588 (comment). It also polishes the comments a bit.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Code seems fine except for that one comment that needs changing, so after that's fixed I say it's good to go!
@@ -11,12 +11,11 @@ | |||
left: 0; | |||
right: 0; | |||
|
|||
// mobile edgecase for toolbar | |||
// Stick the mobile toolbar way to the top, because the adminbar is not fixed either. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What does "way to the top" mean? I think it's a turn of phrase but I don't really understand 🤷♂️
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also I think "adminbar" should be "admin bar".
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good catches, both of them.
@@ -52,14 +51,12 @@ | |||
} | |||
|
|||
.edit-post-header .components-button { | |||
border-radius: $radius-round-rectangle; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm guessing this is the actual redundant rule and the rest of the comment tweaks happened just because you were already tidying things up?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Correct. A good friend once suggested how these comments can look their best.
This addresses an issue reported in #9588 (comment).
It also polishes the comments a bit.