diff --git a/doc/favicon.ico b/doc/favicon.ico index 5bb405931f..b04356231c 100644 Binary files a/doc/favicon.ico and b/doc/favicon.ico differ diff --git a/doc/favicon32.png b/doc/favicon32.png new file mode 100644 index 0000000000..f08aca169c Binary files /dev/null and b/doc/favicon32.png differ diff --git a/doc/logo_16x16.png b/doc/logo_16x16.png index 1efbebdd7c..cd9f753689 100644 Binary files a/doc/logo_16x16.png and b/doc/logo_16x16.png differ