diff options
| author | Shaun McCance <shaunm@gnome.org> | 2010-01-31 20:21:59 -0600 |
|---|---|---|
| committer | Shaun McCance <shaunm@gnome.org> | 2010-01-31 20:21:59 -0600 |
| commit | 65f56958261e408b9de25c91b8033ca8259e8a00 (patch) | |
| tree | d77a27a8ac29dd2a449ced079119720572e97417 /xslt | |
| parent | 661b027f686d095470acc53a8ab7e0ab16eaa1ee (diff) | |
| download | gnome-doc-utils-65f56958261e408b9de25c91b8033ca8259e8a00.tar.gz | |
[db2html-css.xsl] Bold userinput inside programlisting
Ubuntu wants userinput bolded, which we already do inside
screen. But they use programlisting instead of screen.
I don't know why, but it's a safe change.
Diffstat (limited to 'xslt')
| -rw-r--r-- | xslt/docbook/html/db2html-css.xsl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xslt/docbook/html/db2html-css.xsl b/xslt/docbook/html/db2html-css.xsl index 398afd6..8b0a80e 100644 --- a/xslt/docbook/html/db2html-css.xsl +++ b/xslt/docbook/html/db2html-css.xsl @@ -355,6 +355,10 @@ div.screen .userinput { font-weight: bold; color: </xsl:text><xsl:value-of select="$theme.color.text_light"/><xsl:text>; } +div.programlisting .userinput { + font-weight: bold; + color: </xsl:text><xsl:value-of select="$theme.color.text_light"/><xsl:text>; +} pre.linenumbering { color: </xsl:text><xsl:value-of select="$theme.color.text_light"/><xsl:text>; margin: 0; |