HTML Widgets; Widget and Portal stylesheets updated

With HTML Widget and Portal stylesheets (widget.css and portal.css in the Templates folder) have been updated to be automatically generated from a LESS-based stylesheet (not included as a release file). This makes ongoing maintenance easier.

These files are also minimised, thereby decreasing their file sizes.