diff --git a/src/doc/_layouts/base.html b/src/doc/_layouts/base.html index ca7fcb76c..62ee184e6 100644 --- a/src/doc/_layouts/base.html +++ b/src/doc/_layouts/base.html @@ -19,6 +19,20 @@ + + + + + + + + + + + +