Skip to content
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

Adjustments for panel spacing changes #8316

Merged
merged 4 commits into from Jul 18, 2019

Conversation

guerler
Copy link
Contributor

@guerler guerler commented Jul 8, 2019

This PR aligns the panel spacing in the admin panel and for section labels, it fixes some minor code indentions in base styles.

Screen Shot 2019-07-09 at 2 14 56 PM

@guerler guerler added this to the 19.09 milestone Jul 8, 2019
@guerler guerler requested review from martenson and dannon and removed request for martenson July 8, 2019 21:28
@guerler guerler requested review from martenson and removed request for dannon July 9, 2019 04:48
@martenson martenson merged commit 3e630bf into galaxyproject:dev Jul 18, 2019
@martenson
Copy link
Member

Thanks @guerler !

@guerler guerler deleted the fix_panel_spacing branch February 19, 2020 23:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants