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