Andreas Klöckner authored Apr 26, 2022 and Andreas Klöckner committed Sep 28, 2022

BS5: Make some buttons in the gradebook outlines

BS5: Make some buttons in the grading interface outlines

Grading interface: drop table header