diff --git a/src/doc/theme/favicon.png b/src/doc/theme/favicon.png index a91ad692c91..47c8f628fe6 100644 Binary files a/src/doc/theme/favicon.png and b/src/doc/theme/favicon.png differ