Skip to content

Commit

Permalink
add dfki logo as shortcut icon
Browse files Browse the repository at this point in the history
  • Loading branch information
@jarkenau
jarkenau committed Dec 22, 2023
1 parent c4b02de commit ccf1034
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions mkdocs.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ theme:
icon:
repo: fontawesome/brands/github
logo: imgs/DFKI-Logo_ohne_RGB_weiss.svg
favicon: imgs/DFKI-Logo_ohne_RGB_weiss.svg
features:
- navigation.tracking
- navigation.tabs
Expand Down

0 comments on commit ccf1034

Please sign in to comment.