CSS Polish

A number of small improvements to the jsgui.
* Reduced number of displayed-but-unneeded scroll bars
* Improved the Add Application modal dialog
* Increased the size of the JSON text area in application summary (but does not yet hide by default.)