diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index 22dd3b93c6..dafd559cd7 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -46,7 +46,6 @@ Customization of header @@ -84,8 +83,7 @@ Customization of header - + @@ -106,7 +104,6 @@ Customization of header @@ -165,4 +162,162 @@ Customization of header + + + + + + + + + + + + + + + + + + +