HTML Export Options
These are the options available when exporting. These can be used to adopt the export to fit your needs. These can be set per-diagram, and can be accessed using the Settings button: Basic options Pages to publish All pages: publishes all pages in the document Single page: publishes only current …