}
# The ie-fixes stylesheet is needed for the docs, but not the website.
if (not ($web_manual)) {
$Texi2HTML::THISDOC{'CSS_LINES'} .=
}
# The ie-fixes stylesheet is needed for the docs, but not the website.
if (not ($web_manual)) {
$Texi2HTML::THISDOC{'CSS_LINES'} .=