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.

diff --git a/doc/src/sgml/stylesheet-common.xsl b/doc/src/sgml/stylesheet-common.xsl
index 2ad0a7f1cad85756e6da30e450eb94b3a62e6018..d0e0f19c136a399114e349d8de90c046b3d47b0f 100644 (file)
--- 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 d982a3c46a5eb6d2726405eac07b05e32dd4ba18..aafc946d1b500e83958a2e29f581d684d3b82fcd 100644 (file)
--- 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 1c50518c706ef15da0675aa34e53dae3d0d19278..09a95041d6f76da53018bcd43525c206a89f1858 100644 (file)
--- a/doc/src/sgml/stylesheet-hh.xsl
+++ b/doc/src/sgml/stylesheet-hh.xsl
@@ -20,6 +20,12 @@
 
 
 
+
+
+
+  
+
+
 
+
+
+  
+
+