anchor.diff:              float: right;
               padding-top: 1em;
           }
  -
           .user-problem-group h3 {
               font-weight: bold;
               font-size: 1.25em;
  
positive.code:                 .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}
  
negative.code:             max-height: 20%;
              line-height: 2.5em;
          }
          .user-problem-group ul {
              -webkit-columns: 100px 4;
              -moz-columns: 100px 4;
  