mirror of
https://github.com/qodo-ai/pr-agent.git
synced 2025-07-19 20:10:39 +08:00
Improve documentation formatting and navigation features
This commit is contained in:
@ -77,8 +77,8 @@ theme:
|
||||
- navigation.top
|
||||
- navigation.tracking
|
||||
- navigation.indexes
|
||||
# - search.suggest
|
||||
# - search.highlight
|
||||
- search.suggest
|
||||
- search.highlight
|
||||
- content.tabs.link
|
||||
- content.code.annotation
|
||||
- content.code.copy
|
||||
@ -107,7 +107,7 @@ theme:
|
||||
|
||||
plugins:
|
||||
- social
|
||||
# - search
|
||||
- search
|
||||
- glightbox
|
||||
|
||||
extra:
|
||||
|
Reference in New Issue
Block a user