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 2ad0a7f1cad..d0e0f19c136 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 d982a3c46a5..aafc946d1b5 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 1c50518c706..09a95041d6f 100644 --- a/doc/src/sgml/stylesheet-hh.xsl +++ b/doc/src/sgml/stylesheet-hh.xsl @@ -20,6 +20,12 @@ + + + + + + + + + + +