/** * Standalone HTML exporter. * * Emits a single self-contained `.html` file: a full document with the theme * stylesheet inlined in a `