From 61c84b47619c11e74089cb3160813a4b3c98e6d7 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Mon, 30 Apr 2012 21:12:28 +0300 Subject: [PATCH] Fix display of elements on man pages We had changed this from the default bold to monospace for all output formats, but for man pages, this creates visual inconsistencies, so revert to the default for man pages. --- doc/src/sgml/stylesheet-common.xsl | 4 ---- doc/src/sgml/stylesheet-fo.xsl | 6 ++++++ doc/src/sgml/stylesheet-hh.xsl | 6 ++++++ doc/src/sgml/stylesheet.xsl | 6 ++++++ 4 files changed, 18 insertions(+), 4 deletions(-) diff --git a/doc/src/sgml/stylesheet-common.xsl b/doc/src/sgml/stylesheet-common.xsl index 2ad0a7f1ca..d0e0f19c13 100644 --- a/doc/src/sgml/stylesheet-common.xsl +++ b/doc/src/sgml/stylesheet-common.xsl @@ -42,10 +42,6 @@ - - - - diff --git a/doc/src/sgml/stylesheet-fo.xsl b/doc/src/sgml/stylesheet-fo.xsl index d982a3c46a..aafc946d1b 100644 --- a/doc/src/sgml/stylesheet-fo.xsl +++ b/doc/src/sgml/stylesheet-fo.xsl @@ -6,4 +6,10 @@ + + + + + + diff --git a/doc/src/sgml/stylesheet-hh.xsl b/doc/src/sgml/stylesheet-hh.xsl index 1c50518c70..09a95041d6 100644 --- a/doc/src/sgml/stylesheet-hh.xsl +++ b/doc/src/sgml/stylesheet-hh.xsl @@ -20,6 +20,12 @@ + + + + + + + + + + +