Skip to content

修复工具栏#821

Merged
boomzero merged 3 commits intodevfrom
boomzero/nav
Jul 25, 2025
Merged

修复工具栏#821
boomzero merged 3 commits intodevfrom
boomzero/nav

Conversation

@boomzero
Copy link
Member

What does this PR aim to accomplish?:

修复工具栏

How does this PR accomplish the above?:

Updates outdated CSS selectors.


By submitting this pull request, I confirm the following:

  1. I have read and understood the contributor's guide, as well as this entire template. I understand which branch to base my commits and Pull Requests against.
  2. I have commented on my proposed changes within the code and I have tested my changes.
  3. I am willing to help maintain this change if there are issues with it later.
  4. It is compatible with the GNU General Public License v3.0
  5. I have squashed any insignificant commits. (git rebase)
  6. I have checked that another pull request for this purpose does not exist.
  7. I have considered and confirmed that this submission will be valuable to others.
  8. I accept that this submission may not be used, and the pull request can be closed at the will of the maintainer.
  9. I give this submission freely and claim no ownership to its content.

  • I have read the above and my PR is ready for review. Check this box to confirm

@hendragon-bot hendragon-bot bot added the user-script This issue or pull request is related to the main user script label Jul 25, 2025
@boomzero boomzero merged commit 82480fd into dev Jul 25, 2025
3 checks passed
@boomzero boomzero deleted the boomzero/nav branch July 25, 2025 11:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size/S user-script This issue or pull request is related to the main user script

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant