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

Update headers for search categories #472

Merged
merged 8 commits into from
Oct 23, 2023
Merged

Conversation

garrettmflynn
Copy link
Member

@garrettmflynn garrettmflynn commented Oct 23, 2023

Addresses (ii) discussed in #467

Since these headers are simple markers less important than the interfaces / converters themselves, I opted for smaller text while boosting the contrast in different ways beyond the list items.

Before

Screenshot 2023-10-23 at 9 45 54 AM

After

Screenshot 2023-10-23 at 9 45 36 AM

@garrettmflynn garrettmflynn self-assigned this Oct 23, 2023
@CodyCBakerPhD
Copy link
Collaborator

Yeah, that looks a lot better now, thanks!

Is it possible to add a story for this?

@garrettmflynn
Copy link
Member Author

Yep! Just added

@CodyCBakerPhD CodyCBakerPhD merged commit 66c2d9e into main Oct 23, 2023
7 checks passed
@CodyCBakerPhD CodyCBakerPhD deleted the update-sublist-headers branch October 23, 2023 18:11
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