anchor.diff:  else
       h3(style='color:red;font-weight:bold') 
           if request.user == submission.user.user
  -            | An internal error occured while grading, and the DMOJ administrators have been notified.
  +            | An internal error occurred while grading, and the DMOJ administrators have been notified.
               br
               | In the meantime, try resubmitting in a few seconds.
           else
  -            | An internal error occured while grading.
  +            | An internal error occurred while grading.
  
positive.code:                                             span.icon
                                          b Case ##{forloop.counter}:
                                      td
                                          span(class=case.status, title=case.long_status) #{case.status}
                                          if case.feedback
                                              | &nbsp;(#{case.feedback})
                                      td
  
negative.code:                                 span.icon
                              b Test case ##{forloop.counter}:
                          td
                              span(class=case.status, title=case.long_status)
                                  if case.status == 'SC'
                                      | &mdash;
                                  else
                                      #{case.status}
                              if case.feedback
                                  | &nbsp;(#{case.feedback})
                          td
  