Merge 127 ui improvements

added 30 commits

• e3736f43...150f024e - 27 commits from branch master
• 0e7e8f26 - fixed submission toolbar styling
• d7a95812 - fixed student overview
• 412ed8ed - Merge remote-tracking branch 'origin/merge-127-ui-improvements' into merge-127-ui-improvements

Compare with previous version

unmarked as a Work In Progress

enabled an automatic merge when the pipeline for 412ed8ed succeeds

merged