anchor.diff:                  .user-gravatar
                       img(src='{% gravatar_url user.user.email 128 %}', alt='gravatar')
                   br
  -                if user.name
  -                    b Name: 
  -                    | #{user.name}
  -                    br
  -                    br
  -                br
                   h4 #{user.problems} problems solved.
                   b Total points:&nbsp;
                   | #{user.calculate_points}
  
positive.code:             max-height: 20%;
              line-height: 2.5em;
          }
  
          .user-problem-group ul {
              -webkit-columns: 100px 4;
              -moz-columns: 100px 4;
  
negative.code:             float: right;
              padding-top: 1em;
          }
          .user-problem-group h3 {
              font-weight: bold;
              font-size: 1.25em;
  