div.b-code-diff ins {
  background-color: lightgreen; }
div.b-code-diff del {
  background-color: lightpink;
  text-decoration: none; }
div.b-code-diff > div {
  margin: 10px 0; }
  div.b-code-diff > div > div {
    white-space: pre;
    font-size: 80%;
    border: 1px solid #EEE;
    padding: 10px;
    background-color: #FAFAFA;
    margin: 10px 0; }