Awesome-Mirrors/awesome-devops
1
0
Fork 0
mirror of https://github.com/wmariuss/awesome-devops.git synced 2024-12-22 21:59:27 -05:00
Code Issues Packages Projects Releases Wiki Activity

Remove minify plugin, enable custom logo

Browse Source
This commit is contained in:
Marius Stanca 2023-01-02 11:32:59 +02:00
parent ebbc566633
commit b661894bf3
No known key found for this signature in database
GPG Key ID: 3F18F3CF10AD6E8D
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
mkdocs.yml
View File

@ -18,8 +18,8 @@ theme:
palette: palette:
primary: black primary: black
accent: blue accent: blue
icon: logo: assets/logo.png
logo: logo favicon: assets/favicon.ico
features: features:
- search.suggest - search.suggest
- search.highlight - search.highlight
@ -51,8 +51,6 @@ extra_javascript:
plugins: plugins:
- search: - search:
lang: en lang: en
- minify:
minify_html: true
# Navigator # Navigator
nav: nav: