diff --git a/doc/favicon.ico b/doc/favicon.ico index 354b627f0..63ede652c 100644 Binary files a/doc/favicon.ico and b/doc/favicon.ico differ