Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
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
GH-1967 Themes Panel Update #510
GH-1967 Themes Panel Update #510
Changes from 1 commit
317ab64f050b83e8d7f92f9b15462a8bce2d0ec9bec90b51aFile filter
Jump to
Center inner circle in radio buttons
Eden12345Mar 23, 2020
•
edited
Contributor
Does this element need a border? I believe you could achieve the same effect by removing the
borderproperty and setting thewidthandheightto10px.benstrumeyerMar 31, 2020
Author
Contributor
Deleted the border--I think it looks ok as 8px width and height on windows? Totally up to you
Eden12345Mar 31, 2020
Contributor
Ah word, yeah the size of this element won't change when you remove the border because it's inheriting the
box-sizing: border-boxproperty fromRadioButton__outerCircle.