anchor.diff:                      input(type='text', name='search', id='search', value=search_query)
                   input(type='checkbox', name='hide_solved', id='hide_solved', checked=('checked' if hide_solved else undefined), value='1')
                   label(for='hide_solved') Hide solved problems
  -                input(type='checkbox' name='hide_tags', id='hide_tags', checked=('checked' if hide_tags else undefined), value='0')
  -                label(for='hide_tags') Hide problem tags
  +                input(type='checkbox' name='show_types', id='show_types', checked=('checked' if show_types else undefined), value='0')
  +                label(for='show_types') Show problem tags
                   input(type='submit', value='Filter', style='display: inline; padding: 0px 5px 0px 5px')
       table#problem-table.table.striped
           thead
  
positive.code:                         a(href='{% url "problem_detail" problem.code %}')= problem.name
                      td= problem.group.full_name
                      td= problem.code
                      if not hide_tags
                          td #{problem.types_list|join:", "}
                      td.p #{problem.points|floatformat}
                          if problem.partial
  
negative.code:                 th.problem Problem
                  th.category Category
                  th.code Code
                  if show_types
                      th Types
                  th.points Points
                  th.users Users
  