Many minor GUI tweaks.

8 jobs for gui-improvements in 22 minutes and 41 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #1163730

00:10:58

 
  Test
passed dev_setup_tests #1163735

00:11:06

passed gui_linting #1163732

00:02:51

passed install_tests #1163734

00:08:33

passed linting #1163731

00:06:11

passed tests #1163733

00:11:42

77.0%
 
  Deploy
manual deploy #1163736
allowed to fail manual
 
  Release
manual release #1163737
allowed to fail manual