Theme options

Hi

Great Plugin and essential. Thank you.
The options page for the plugin doesn’t show any themes.
I would love to switch to Monokai, but can’t.

Thank in advance

https://ww.wp.xz.cn/plugins/html-post-editor-new/