Toggle the horizontal menu.
Choose the export format from the list below:
Filter
Export as Portable Document Format (PDF) using the Web Browser
Export as HyperText Markup Language (HTML)
Problematic ColorTheme extensibility http://markmail.org/thread/ex6fgou6fl6vjwfr (Dec 16, 2011)