ui: optimize

This commit is contained in:
undefined committed 2023-11-23 11:39:32 +08:00
1 parent 0bc6a28457
commit 53420e092e
2 files changed
-42

No files matched your search

@@ -16,9 +16,6 @@
</div>
</form>
</div>
{% if handler.domain.pinnedFilter %}
{% include "partials/problem_search.html" %}
{% endif %}
<div class="section__body no-padding">
{% include "partials/problem_list.html" %}
</div>