minor fixes: css styling, js includes in portal-normal