anchor.diff:    transition: all 0.2s ease-in-out 0s;
     font-family: "Helvetica Neue", Helvetica;
   }
  -
  -.language {
  -  margin-left: -2em;
  -}
  -
  -
   
   
   .white *{color:#444;}
  
positive.code:   -o-transition: all .2s ease-in-out;
  }
  
  header .right {
    float:right;
    padding:10px 0;
    font-weight: 400;
  }
  
  header .right .header-btn  {
    line-height:1.0em;
    font-family:'Merriweather',Georgia,serif;
    padding:15px 0;
  
negative.code: /*header*/
  
  header {
    padding:20px 15px 0 15px;
    width:100%;
    position:fixed;
    top:0px;
  