anchor.diff:                          a(href='{% url "problem_detail" problem.code %}')= problem.name
                       td= problem.group.full_name
                       td= problem.code
  -                    if not hide_tags
  +                    if show_types
                           td #{problem.types_list|join:", "}
                       td.p #{problem.points|floatformat}
                           if problem.partial
  
positive.code:                     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='submit', value='Filter', style='display: inline; padding: 0px 5px 0px 5px')
      table#problem-table.table.striped
          thead
  
negative.code:                 th.problem Problem
                  th.category Category
                  th.code Code
                  if show_types
                      th Types
                  th.points Points
                  th.users Users
  