Enable more mkdocs features, change logo

This commit is contained in:
Marius Stanca 2023-01-02 02:53:40 +02:00
parent 197c538773
commit f050f62a8f
No known key found for this signature in database
GPG Key ID: 3F18F3CF10AD6E8D

View File

@ -30,7 +30,6 @@ theme:
- navigation.indexes
- navigation.sections
- navigation.tabs
- navigation.top
- navigation.tracking
- toc.follow
@ -68,12 +67,7 @@ nav:
# Extensions
markdown_extensions:
- abbr
- admonition
- attr_list
- def_list
- footnotes
- md_in_html
- toc:
permalink: true
- codehilite: