anchor.diff:              max-height: 20%;
               line-height: 2.5em;
           }
  -
           .user-problem-group ul {
               -webkit-columns: 100px 4;
               -moz-columns: 100px 4;
  
positive.code:             margin-left: -20px;
              margin-bottom: 0px;
          }
  
          .user-problem-group a img {
              max-width: 1em;
              margin-right: 3px;
              padding-bottom: 1px;
              vertical-align: middle;
          }
  
          .user-gravatar {
              float: left;
              padding-right: 1%;
          }
  
          .user-gravatar img {
              width: 95px;
              padding: 5px;
              border: 1px solid gray;
              border-radius: 4px;
          }
          .user-info-cell {
              padding-left: 5px;
          }
  
          table td {
              margin: 0;
              vertical-align: top;
          }
      link(rel='stylesheet', href='{% static "pygment-github.css" %}', type='text/css')
  
      script(type='text/javascript')
  
negative.code:                 .user-gravatar
                      img(src='{% gravatar_url user.user.email 128 %}', alt='gravatar')
                  br
                  h4 #{user.problems} problems solved.
                  b Total points:&nbsp;
                  | #{user.calculate_points}
  