mirror of
https://github.com/martinvonz/jj.git
synced 2024-12-26 14:00:51 +00:00
docs: Make the website's theme adjustable.
The website will also adjust to the system default theme now. I mostly did this because I am a darkkmode user and we didn't provide it yet.
This commit is contained in:
parent
54a967a1b3
commit
e79fd2e81c
1 changed files with 20 additions and 0 deletions
20
mkdocs.yml
20
mkdocs.yml
|
@ -8,6 +8,26 @@ theme:
|
|||
language: 'en'
|
||||
features:
|
||||
# - navigation.top
|
||||
|
||||
# Respect the users default settings and add a toggle for manually choosing
|
||||
# automatic/light/dark palette.
|
||||
# taken from https://squidfunk.github.io/mkdocs-material/setup/changing-the-colors/#system-preference
|
||||
palette:
|
||||
- media: "(prefers-color-scheme)"
|
||||
toggle:
|
||||
icon: material/brightness-auto
|
||||
name: Switch to system preference
|
||||
- media: "(prefers-color-scheme: light)"
|
||||
scheme: default
|
||||
toggle:
|
||||
icon: material/brightness-7
|
||||
name: Switch to light mode
|
||||
- media: "(prefers-color-scheme: dark)"
|
||||
scheme: slate
|
||||
toggle:
|
||||
icon: material/brightness-4
|
||||
name: Switch to dark mode
|
||||
|
||||
extra:
|
||||
version:
|
||||
provider: mike
|
||||
|
|
Loading…
Reference in a new issue