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.5۲۳ مرداد ۱۴۰۱MV3