Skip to content

Conversation

@nihalsingh373
Copy link

This PR enhances the overall user experience by:

✅ Adding smooth scrolling for better navigation.
✅ Introducing hover effects to improve interactivity.
✅ Fixing minor spacing/visual alignment issues (12px bug fix).

These updates improve the site’s UI consistency and make navigation more responsive and user-friendly.

@romani
Copy link
Member

romani commented Oct 31, 2025

This repository is not for PRs
All should be in main library repository checkstyle/checkstyle#18017

@romani romani closed this Oct 31, 2025
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