Kattis UI Fix · వెర్షన్ చరిత్ర

Adds back the old Kattis UI buttons on problem pages as well as a toggle to hide the editor panel.

  1. 0.1.514, ఆగ 2022MV3