anchor.diff:    margin: 1em 0 0 0
     font-size: 14px
     font-weight: bold
  -  border-bottom: 1px solid #ddd
  +  border-bottom: 1px solid $gray-separator
     list-style-type: none
     padding: 3px 15px
     li
       display: inline
       a
         padding: 3px 10px
  -      border: 1px solid #ddd
  +      border: 1px solid $gray-separator
         margin-right: 4px
         text-decoration: none
         border-bottom: none
  
positive.code:   position: relative
    font-size: 1em
    background-color: #FFFFCC
    border-bottom: 1px solid #ddd
    border-left: 1px solid #ddd
    border-right: 1px solid #ddd
    float: right
    right: 100px
    padding-bottom: 3px
  
negative.code:   padding-top: 15px
    padding-bottom: 6px
    padding-left: 20px
    border: 1px solid $gray-separator
    min-height: 75px
  
  .world_link
  