Bug #589631: Make monospace font size 0.9em rather than 0.9*body.font.size so that...

diff --git a/xsl/params/monospace.properties.xml b/xsl/params/monospace.properties.xml
index 8d7d58bdf81ea3417521fd043455434d1ec02e99..0b632801b42059f064ab04a56bf223e67749db85 100644 (file)
--- a/xsl/params/monospace.properties.xml
+++ b/xsl/params/monospace.properties.xml
@@ -14,10 +14,7 @@
   <xsl:attribute name="font-family">
     <xsl:value-of select="$monospace.font.family"/>
   </xsl:attribute>
-  <xsl:attribute name="font-size">
-    <xsl:value-of select="$body.font.master * 0.9"/>
-    <xsl:text>pt</xsl:text>
-  </xsl:attribute>
+  <xsl:attribute name="font-size">0.9em</xsl:attribute>
 </xsl:attribute-set>
 </src:fragment>
 </refsynopsisdiv>