Final tweaks jspui4

Please don't merge this immediately, I have opened the PR to be sure that we merge that before the RC1.
Please use this feature branch to make any changes that you feel reasonable for the new bootstrap JSPUI. I will monitor the branch so to be sure to have as much as possible a consistent implementation of styles across the whole site