code bar copy button (#517)
Some checks are pending
Deploy CI - 12.0 / deploy (push) Waiting to run

This commit is contained in:
Huang Junxiang 2025-05-08 17:08:48 +08:00 committed by GitHub
parent 6e2aaf61a7
commit 7201ccdfc1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -23,6 +23,8 @@ theme:
- search.highlight
- search.share
- math
- content.code.copy
- content.code.annotate
palette:
- scheme: default