UI tweaks
Merge branch 'api-console' of https://github.com/openworm/org.geppetto.frontend.git into api-console