GUI: switched back to default look and feel; layout bug fixes.