Skip to content

Tweak close button CSS some more.#4179

Merged
mstange merged 1 commit into
firefox-devtools:mainfrom
mstange:more-close-button-css-tweaking
Aug 11, 2022
Merged

Tweak close button CSS some more.#4179
mstange merged 1 commit into
firefox-devtools:mainfrom
mstange:more-close-button-css-tweaking

Conversation

@mstange

@mstange mstange commented Aug 11, 2022

Copy link
Copy Markdown
Contributor

main branch
deploy preview

Add flex-shrink:0 so that the button is square, and reduce its size
by removing the box-sizing:content-box (17x17 -> 15x15), and also
remove the left margin because the padding in the button is enough.

Add flex-shrink:0 so that the button is square, and reduce its size
by removing the box-sizing:content-box (17x17 -> 15x15), and also
remove the left margin because the padding in the button is enough.
@mstange mstange requested review from canova and fqueze August 11, 2022 18:18

@fqueze fqueze left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me, thanks for the quick follow-up!

@codecov

codecov Bot commented Aug 11, 2022

Copy link
Copy Markdown

Codecov Report

Merging #4179 (2d3ccfb) into main (6c5e4c0) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #4179   +/-   ##
=======================================
  Coverage   88.45%   88.45%           
=======================================
  Files         280      280           
  Lines       24528    24528           
  Branches     6535     6535           
=======================================
  Hits        21697    21697           
  Misses       2629     2629           
  Partials      202      202           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@mstange mstange merged commit 8b4b12e into firefox-devtools:main Aug 11, 2022
@canova canova mentioned this pull request Sep 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants