mirror of
https://mau.dev/andreijiroh-dev/website.git
synced 2025-06-23 21:14:21 +00:00
chore(mkdocs): adjust configs as usual
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.dev>
This commit is contained in:
parent
c171da5586
commit
f5a63553fb
2 changed files with 7 additions and 0 deletions
|
@ -3,5 +3,8 @@ site_name: ~ajhalili2006 (on RTD Community)
|
||||||
site_url: https://staging.andreijiroh.dev/
|
site_url: https://staging.andreijiroh.dev/
|
||||||
docs_dir: markdown
|
docs_dir: markdown
|
||||||
site_dir: public
|
site_dir: public
|
||||||
|
|
||||||
extra:
|
extra:
|
||||||
deployment: staging # for the announcement banner
|
deployment: staging # for the announcement banner
|
||||||
|
extra_javascript:
|
||||||
|
- assets/javascripts/rtd.js
|
||||||
|
|
|
@ -63,6 +63,8 @@ theme:
|
||||||
- content.action.view
|
- content.action.view
|
||||||
- content.code.annotate
|
- content.code.annotate
|
||||||
- content.code.copy
|
- content.code.copy
|
||||||
|
# - content.code.select
|
||||||
|
# - content.footnote.tooltips
|
||||||
# - content.tabs.link
|
# - content.tabs.link
|
||||||
- content.tooltips
|
- content.tooltips
|
||||||
# - header.autohide
|
# - header.autohide
|
||||||
|
@ -70,6 +72,8 @@ theme:
|
||||||
- navigation.footer
|
- navigation.footer
|
||||||
- navigation.indexes
|
- navigation.indexes
|
||||||
# - navigation.instant
|
# - navigation.instant
|
||||||
|
# - navigation.instant.prefetch
|
||||||
|
# - navigation.instant.progress
|
||||||
# - navigation.prune
|
# - navigation.prune
|
||||||
- navigation.sections
|
- navigation.sections
|
||||||
- navigation.tabs
|
- navigation.tabs
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue