diff --git a/docs/page.xsl b/docs/page.xsl index c0f6b1e685..580387ac59 100644 --- a/docs/page.xsl +++ b/docs/page.xsl @@ -105,6 +105,12 @@ + + + + + +