anchor.diff:      br
       a(href='{% url "ranked_submissions" problem.code %}')
           | Best submissions
  -        if perms.judge.change_problem or perms.judge.edit_own_problem and request.user.profile.id in problem.author_ids
  +    if perms.judge.change_problem or perms.judge.edit_own_problem and request.user.profile.id in problem.author_ids
           hr
           a(href='{% url "admin:judge_problem_change" problem.id %}')
               | Edit problem
  
positive.code:                 | Allowed languages
              div.toggled(style="margin-bottom:-1em") #{problem.languages_list | join:", "}
          br
              block description
      - detect_svg use_svg
      - cache 86400 problem_html problem.id use_svg
      | #{problem.description | markdown:"problem"|smart_svg_math:use_svg}
  
negative.code:     if license
          span(style='float: left; font-size: 0.85em')
              a(style='color: gray; text-decoration: none', href='{% url "license" license.key %}')= license.display
  block comments
      .comment-area
          h2
              i.fa.fa-comments(style='padding-right: 0.2em')
              | Comments
          include comments/list
  block bodyend
      | #{block.super}
      include comments/math