anchor.diff:              border: 1px solid gray;
               border-radius: 4px;
           }
  +        .user-info-cell {
  +            padding-left: 5px;
  +        }    
       link(rel='stylesheet', href='{% static "pygment-github.css" %}', type='text/css')
   
       script(type='text/javascript')
  
positive.code:             td
                  .user-gravatar
                      img(src='{% gravatar_url user.user.email 128 %}', alt='gravatar')
              td
                  if user.name
                      b Name: 
                      | #{user.name}
  
negative.code:                 | #{user.calculate_points}
                  br
                  a(href='{% url "judge.views.all_user_submissions" user.user.username %}') View submissions
  
      - regroup best_submissions by group as problems
      each group in problems
  