add a portalCustomJs option
We already have a very simple way to add css code to the portal without creating a new theme: portalCustomCss
It can be useful to add some JS too, if you need to hook to some jquery events or just simple JS customization