A Boostrap port for the DITA for Publishers HTML5 plugin