diff --git a/docs/favicon.ico b/docs/favicon.ico index e7e244a161e..faff89fd7de 100644 Binary files a/docs/favicon.ico and b/docs/favicon.ico differ diff --git a/docs/favicon.png b/docs/favicon.png deleted file mode 100644 index 19898ef7420..00000000000 Binary files a/docs/favicon.png and /dev/null differ diff --git a/docs/favicon.svg b/docs/favicon.svg new file mode 100644 index 00000000000..08e45a3414b --- /dev/null +++ b/docs/favicon.svg @@ -0,0 +1,8 @@ + + + + + + + +