diff --git a/docs/mdbook/theme/favicon.png b/docs/mdbook/theme/favicon.png new file mode 100644 index 000000000..3dcce4ac6 Binary files /dev/null and b/docs/mdbook/theme/favicon.png differ