HTML tags for styling in topbar-text

[jeffyjefflabs]

Would it be possible to support HTML tags in topbar-text to style the text? My workplace has a custom extension for the classic notebook UI to add some dynamic warning banners -- topbar-text would be perfect for this in Lab but we'd love to be able to use bold, font colors, etc.

[jtpio]

Thanks @jeffyjefflabs.

It looks like it should be possible to set the HTML directly here with innerHTML to achieve this:

https://github.com/jtpio/jupyterlab-topbar/blob/167df747d2f117d6172740e331702327bdf413f9/packages/jupyterlab-topbar-text/src/index.ts#L41