diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html index 364da6fb7ade..137d517f1bbf 100644 --- a/doc-tool/resources/_layouts/main.html +++ b/doc-tool/resources/_layouts/main.html @@ -61,5 +61,12 @@ } }); + + +