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

Fix distribution badges and tags #1387

Merged
merged 2 commits into from
Nov 6, 2024
Merged

Fix distribution badges and tags #1387

merged 2 commits into from
Nov 6, 2024

Conversation

ryaplots
Copy link
Contributor

Summary

References #1380

Screenshots

Screenshot 2024-10-31 at 14 36 56 Screenshot 2024-10-31 at 14 37 09 Screenshot 2024-10-31 at 14 37 36

Changes

  • Add new badges
  • Remove tooltip
  • Fix some sizes and styling

Checklist

  • Scope: The referenced issue is addressed, there are no unrelated changes.
  • Run Locally: Verified that the docs build using make server, posted screenshots, verified external links. Test with HUGO_PARAMS_SEARCH_ENABLED=true if style changes will affect the search bar.
  • New Features Marked: Documentation for new features is marked using the new-in-version shortcode, according to the guidelines in CONTRIBUTING.
  • Style Guidelines: Documentation obeys style guidelines in CONTRIBUTING.
  • Commits: Commit messages follow guidelines in CONTRIBUTING, there are no fixup commits left.

@ryaplots ryaplots added this to the Nov 2024 milestone Oct 31, 2024
@ryaplots ryaplots self-assigned this Oct 31, 2024
@KrishnaIyer KrishnaIyer merged commit 7cdd2d7 into master Nov 6, 2024
1 check passed
@KrishnaIyer KrishnaIyer deleted the fix/badges-and-tags branch November 6, 2024 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants