diff --git a/src/main/docs/resources/img/favicon.ico b/src/main/docs/resources/img/favicon.ico new file mode 100644 index 00000000000..a0b63f0a763 Binary files /dev/null and b/src/main/docs/resources/img/favicon.ico differ diff --git a/src/main/docs/resources/style/layout.html b/src/main/docs/resources/style/layout.html index b83f223ec78..872686380d9 100644 --- a/src/main/docs/resources/style/layout.html +++ b/src/main/docs/resources/style/layout.html @@ -22,7 +22,7 @@ document.body.className = classes.join(" "); } - +