diff --git a/docs/page.xsl b/docs/page.xsl index 1021899b3a..04d7cc9432 100644 --- a/docs/page.xsl +++ b/docs/page.xsl @@ -139,6 +139,9 @@ + + +