[pre-commit.ci lite] apply automatic fixes

This commit is contained in:
pre-commit-ci-lite[bot] 2025-04-10 22:13:49 +00:00 committed by GitHub
parent 176b4fa719
commit 261d7d1cca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
86 changed files with 667 additions and 668 deletions

View file

@ -911,4 +911,4 @@ div.math:hover a.headerlink {
#top-link {
display: none;
}
}
}