anchor.diff:    font-weight: bold;
     display: inline-block;
     background-color: <%= @theme_colour %>;
  -  margin: 3px 0 0 3px;
  -  padding: 1px 3px;
  +  margin: 0 8px 0 0;
  +  padding: 2px 8px;
     color: <%= @theme_text_colour %>;
  -  border-radius: 3px;
  +  border-radius: 5px;
   }
   
   #jenkins-home-link {
  
positive.code:   margin-left: 6px;
    display: inline-block;
    height: 47px;
    padding-left: 2em;
  }
  
  #jenkins-home-link img {
  
negative.code:   color: white;
    font-weight: normal;
    font-family: "GillSans", "Gill Sans MT", "Gill Sans", "Helvetica Neue", Arial, sans-serif;
    font-size: 24px;
    display: inline-block;
    padding: 7px 0 0;
  }
  
  #jenkins-home-link:hover::after {
    text-decoration: underline;
  }
  