interface OptionsHTML
(js) 
groupHeaderDownload | 
open var groupHeaderDownload: dynamic | 
(js) 
htmlOutputConfig | 
open var htmlOutputConfig: AddditionalExportOptions? | 
(js) 
printAsHtml | 
open var printAsHtml: Boolean? | 
(js) 
printConfig | 
open var printConfig: AddditionalExportOptions? | 
(js) 
printFooter | 
open var printFooter: dynamic | 
(js) 
printFormatter | 
open var printFormatter: ((tableHolderElement: Any, tableElement: Any) -> Any)? | 
(js) 
printHeader | 
open var printHeader: dynamic | 
(js) 
printRowRange | 
open var printRowRange: dynamic | 
(js) 
printStyled | 
open var printStyled: Boolean? |