+ /// same, but for HTML output
+ /// this is output as is to the header
+ docstring htmlpreamble_;
+ /// same, but specifically for CSS information
+ docstring htmlstyles_;
+ /// the paragraph style to use for TOCs, Bibliography, etc
+ mutable docstring html_toc_section_;