diff --git a/docs/page.xsl b/docs/page.xsl index 5cb4322fdc..c0f6b1e685 100644 --- a/docs/page.xsl +++ b/docs/page.xsl @@ -100,10 +100,10 @@