GUI layout tweaks
GUI layout tweaks

There is a margin bug in the current version of Chrome,
and so the GUI panes have been tweaked to avoid using
the margin for panes.

The GUI panes also now have a permanent 5px border,
where previously all content set this up manually.

star090807/SkyBrush,star090807/SkyBrush