#
# We want the navigation header right before
#
#
# This is a silly hack. It would be much better if the HTML
# writer provided parts['document_start'] or something for the
#
tag, and parts['document_end'] for
# the closing
.
#
sep = '
\n')
out.append(nav_header)
out.append(u'
\n')
out.append(sep)
out.append(after)
else:
out.append(parts['body_prefix'])
out.append(parts['body_pre_docinfo'])
out.append(parts['docinfo'])
out.append(parts['fragment'])
if nav_footer:
# body_suffix is
+ footer + +
# We want the navigation footer before the footer, or