diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index aeaa1e7c10..69d7dccb00 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -57,7 +57,6 @@ Customization of header @@ -95,8 +94,7 @@ Customization of header - + @@ -117,7 +115,6 @@ Customization of header @@ -176,4 +173,162 @@ Customization of header + + + + + + + + + + + + + + + + + + +